Experiência Profissional

''Modular Extensions to Z'',
com A. C. A.Sampaio, Proc. VDM '90, Springer-Verlag, Kiel, FRG, 1990.
''A Formal Semantics for SQL'',
com J. F. T. Martins e R. Motz, Int. J. of Computer Mathematics, Bell & Bain, Glasgow, 1990.
''Modular Object Oriented Z Specifications'',
com A. L. C. Cavalcanti, Proc. of Z Tech. and Users Meeting, Springer, Oxford, 1990.
''From Model Based Specifications to Functional Prototypes'',
com P. Borba, Proc. IEEE TenCon, New Delhi, India, Aug. 1991.
''MooZ Case Studies'',
com A.Cavalcanti, in Case Studies in Object Orientation in Z, editado por Susan Stepney, Springer-Verlag, Julho de 1992.
''An Experience in the Rapid Prototyping of LOTOS Specifications'',
5th Int. Conf. on Putting into Practice Methods and Tools for Information Systems Design, com C. Ferraz e P. Cunha, Nantes, France, 1992.
''Prototyping Action Semantics Using Functional Languages'',
com P. Borba e A. Santos, Conferência Latino-Americana de Informática, Ilhas Canárias, Espanha, Setembro de 1992.
''From VDM Specifications to Functional Prototypes'',
com P. Borba, J. of Systems and Software, pp.72-91, novembro de 1993.
''Modal Action Logic in a Practical Specification Language'',
com I. N. Kaufman, Third Intl. Conf. on Algebraic Methodology and Software Technology, Springer-Verlag, Twente, Holanda, pp. 101-108, junho de 1993
''ForMooZ: A hypertext-based environment to support object-oriented formal development'',
com C. S. Santos, CASE '93, Sixth Intl. Workshop in Computer-Aided Software Engineering, IEEE Comp. Soc., Singapore, pp.92-106, julho de 1993.
''Object-oriented formal specification: application to the development of an automatic exercise ECG processing system'',
com G. Motta e L. Carvalho, Computers in Cardiology 1993, IEEE Comp. Soc., London, pp.231-234, 5-8 set., 1993.
''SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk'',
com C. S. Santos, em Case Studies in Object-oriented Formal Specifications, editado por K. Lano, Prentice-Hall, Hemel Mampstead, UK, p. 157-173, dez. de 1993.
''The Unix Filing System: a MooZ Specification'',
com C. S. Santos e A. Cavalcanti, em Case Studies in Object-oriented Formal Specifications, editado por K. Lano, Prentice-Hall, Hemel Mampstead, UK, pp. 51-78, dez.de 1993.
''A scripting language for multimedia presentations'',
com A. E. L. Moura, Proc. IEEE Workshop on Operating Systems and Network Support for Multimedia, Boston, Mass., maio de 1994.
''EASY — An [E]nvironment for [A]rtificial Neural [SY]stems Simulation'',
com P. Machado, E. Carvalho Filho e H. Gomes, Proc. of Fourth Irish Neural Network Conference — INNC '94, Dublin, Ireland, setembro, 1994.
''From MooZ to Eiffel: A rigougous approach to system development'',
com V. Cordeiro e A. Sampaio, FME'94: Industrial Benefit of Formal Methods, Springer-Verlag LNCS 873, pp.306-325, Barcelona, outubro de 1994.
''Adding processes to a lazy functional language and a possible Action Semantics for the extension'',
com G. Lucero Palma, Proc. of the XIV Int. Conf. of the Chilean Comp. Soc., Concepción, Chile, novembro de 1994.
''Inheritance and Polymorphism in the Formal Semantics of MooZ'',
com L. Tse Min, Proc. of the XIV Int. Conf. of the Chilean Comp. Soc., Concepción, Chile, novembro de 1994, pp.349-358.
''On the use of formal specifications in the design and simulation of artificial neural'',
com a P. D. L. Machado, Z Users' Meeting 1995, Springer-Verlag, Limerick, setembro 1995, Ireland.
''A novel formal semantics for a parallel object-oriented language'',
com G. Lucero Palma e M. Musicante, XI Intl. Cong. of the SCCC, Arica, Chile, novembro de 1995.
''A system for translating executable VDM specifications into Lazy ML",
com Paulo Borba, Software-Practice & Experience, março de 1997.
"Digital Neighbourhoods: Partitioning the Web for Information Indexing and Searching",
com Pedro Gonçalves e Ana Carolina Salgado, Proceedings (LNCS) de CAiSE '97, The 9th Conference on Advanced Information Systems Engineering. Barcelona, Catalonia, 16-20 June 1997.
"A Distributed Mobile-Code based Architecture for Information Indexing, Searching and Retrieval in the World-Wide Web",
com Pedro Gonçalves e Ana Carolina Salgado, INET '97 - The Seventh Annual Conference of the Internet Society. Kuala Lumpur, Malaysia, June 24-27, 1997.
"WebSteer: An open framework for interactive documentation and training over the Web",
com Jorge Fernandes, INET '97 - The Seventh Annual Conference of the Internet Society. Kuala Lumpur, Malaysia, June 24-27, 1997.