Journal of the Brazilian Computer Society, Volume 9

Volume 9, Number 1, July 2003

• Erkki Mäkinen: Inferring Finite Transducers. 5-8 BibTeX
• Sulamita Klein, Jayme Luiz Szwarcfiter: A Representation for the Modules of a GRaph. 9-16 BibTeX
• Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal: Constructing Recursions by Similarity. 17-26 BibTeX
• Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues: Mimico: a Monad Combinator Parser Generator. 27-40 BibTeX
• Marcelo R. Rubinstein, José Ferreira de Rezende: Quality of Services in Ad Hoc 802.11 Networks. 41- BibTeX

Volume 9, Number 2, April 2004

• 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 BibTeX
• Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. 17-36 BibTeX
• 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 BibTeX
• Paula Gomes Mian, Ricardo de Almeida Falbo: Supporting Ontology Development with ODEd. 57-76 BibTeX
• Jeffrey Carver, Victor R. Basili: Identifyng Implicit Process Vairables to Support Future Empirical Work. 77- BibTeX