![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of the Brazilian Computer Society, Volume 9
Volume 9, Number 1, July 2003
- Paulo César Masiero:
Letter from the Editor-in-Chief. J. Braz. Comput. Soc. 9(1): 3 (2003) - Erkki Mäkinen:
Inferring Finite Transducers. 5-8 - Sulamita Klein, Jayme Luiz Szwarcfiter:
A Representation for the Modules of a Graph and applications. 9-16 - Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal:
Constructing Recursions by Similarity. 17-26 - Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues:
Mimico: a Monad Combinator Parser Generator. 27-40 - Marcelo G. Rubinstein
, José Ferreira de Rezende
:
Quality of Services in Ad Hoc 802.11 Networks. 41-
Volume 9, Number 2, April 2004
- Paulo César Masiero:
Letter from the Editor-in-Chief. 3 - José Coelho de Melo Filho, Luci Pirmez, José Ferreira de Rezende:
Dynamic EDCF Parameters for QoS Control in IEEE 802.11 Hot Spots. 5-16 - Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise:
Scalable Automated Proving and Debugging of Set-Based Specifications. 17-36 - Germana M. da Nóbrega, Stefano A. Cerri, Jean Sallantin:
A Contradiction-driven approach to theory formation: Conceptual issues, pragmatics in human laerning, potentialities. 37-56 - Paula Gomes Mian, Ricardo de Almeida Falbo:
Supporting Ontology Development with ODEd. 57-76 - Jeffrey C. Carver, Victor R. Basili:
Identifyng Implicit Process Vairables to Support Future Empirical Work. 77-
Volume 9, Number 3, April 2004
- Paulo César Masiero:
Letter from the Editor-in-Chief. 3 - Adriano S. Arantes, Marcos R. Vieira, Caetano Traina Jr., Agma J. M. Traina:
Efficient Algorithms to Execute Complex Similarity Queries in RDBMS. 5-24 - Milene Selbach Silveira, Simone Diniz Junqueira Barbosa, Clarisse Sieckenius de Souza:
Designing online help systems for reflective users. 25-38 - Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat:
An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. 39-51 - Boris Mederos, Luiz Velho, Luiz Henrique de Figueiredo:
Smooth Surface Reconstruction from Noisy Clouds. 52-66 - Shin-Ting Wu, Adler C. G. da Silva, Mercedes Rocío Gonzales Márquez:
The Douglas-Peucker Algorithm: Sufficiency Conditions for Non-Self-Intersections. 67-84
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.