Academic position:
Full Professor
Joining date:
31-12-2006
Role in IT: Researcher Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx
Degrees
- Agregação, Instituto Superior Técnico, 01-01-1988
Academic Activities
Co - Supervision of Theses
-
Interconnection of Probabilistic Systems, , Paulo Mateus, 1-2001
Publications
Books [7]
- Sernadas, A.; Sernadas, C.; Foundations of Logic and Theory of Computation - Second Edition, College Publications, London, 2012. | BibTex
- Sernadas, A.; Sernadas, C.; Fundamentos de Lógica e Teoria da Computação - Segunda Edição, College Publications, London, 2012. | BibTex
- W. Carnielli ; Coniglio, M.; D. Gabbay; Gouveia, M.P.G.; Sernadas, C.; Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, Springer, Berlin, 2008. | BibTex
- Sernadas, A.; Sernadas, C.; Foundations of Logic and Theory of Computation, in print, King's College Publications, London, 2008. | BibTex
- J. Carmo; Sernadas, A.; Sernadas, C.; Dionísio, F.; Caleiro, C.; Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004. | BibTex
- Sernadas, C.; Introdução à Teoria da Computação (An Introduction to Computing Theory), Editorial Presença, Lisboa, 1993. | BibTex
Book Chapters [42]
- Sernadas, A.; Sernadas, C.; Rasga, J.; Mateus, P.; "Non-deterministic combination of connectives" - Chapter in Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, ,
2011.
- Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.; "Temporal logics for reasoning about quantum systems" - Chapter in Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, ,
2010.
- R. Chadha; Mateus, P.; Sernadas, A.; Sernadas, C.; "Extending classical logic for reasoning about quantum systems" - Chapter in Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, ,
2009.
- Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.; "Quantum institutions" - Chapter in Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego,
2006.
- Mateus, P.; Sernadas, A.; Sernadas, C.; "Exogenous semantics approach to enriching logics" - Chapter in Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, ,
2005.
- Caleiro, C.; Sernadas, A.; Sernadas, C.; "Fibring logics: Past, present and future" - Chapter in We Will Show Them: Essays in Honour of Dog Gabbay, Volume 1, pages 363-388, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb and J. Woods, King's College Publications, ,
2005.
- Caleiro, C.; W. Carnielli ; Rasga, J.; Sernadas, C.; "Fibring of logics as a universal construction" - Chapter in Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, ,
2005.
- Rasga, J.; Sernadas, A.; Sernadas, C.; L. Viganò; "Labelled deduction over algebras of truth values" - Chapter in Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222-238, A. Armando, Springer, ,
2002.
- Gouveia, M.P.G.; Sernadas, C.; "Abductive reasoning over temporal specifications of objects" - Chapter in Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275-300, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, CSLI Publications, ,
2001.
- Sernadas, A.; Sernadas, C.; Caleiro, C.; T. Mossakowski; "Categorial fibring of logics with terms and binding operators" - Chapter in Frontiers of Combining Systems 2, pages 295--316, D. Gabbay and M. de Rijke, Research Studies Press, ,
2000.
- Mateus, P.; Sernadas, A.; Sernadas, C.; "Realization of probabilistic automata: Categorical approach" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, ,
2000.
- Caleiro, C.; Sernadas, C.; Sernadas, A.; "Parameterisation of logics" - Chapter in Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48-62, J. Fiadeiro, Springer, ,
1999.
- S. Conrad; Ramos, J.; G. Saake; Sernadas, C.; "Evolving logical specification in information systems" - Chapter in Logic for Databases and Information Systems, pages 199-228, J. Chomicki and G. Saake, Kluwer Academic, ,
1998.
- Sernadas, A.; Sernadas, C.; Caleiro, C.; "Synchronization of Logics with Mixed Rules: Completeness preservation" - Chapter in Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478, M. Johnson, Springer, ,
1997.
- Sernadas, A.; Sernadas, C.; J. Valença; "A theory-based, topological notion of institution" - Chapter in Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 420--436, E. Astesiano, G. Reggio, and A. Tarlecki, Springer, ,
1995.
- M. Ryan; Sernadas, A.; Sernadas, C.; "Adjunctions between default frameworks" - Chapter in IS-CORE'94 - Selected papers, pages 155--172, R. Wieringa and R. Feenstra, World Scientific Publishing, ,
1995.
- G. Saake; Sernadas, A.; Sernadas, C.; "Evolving object specifications" - Chapter in IS-CORE'94 - Selected papers, pages 84--99, R. Wieringa and R. Feenstra, World Scientific Publishing, ,
1995.
- Gouveia, M.P.G.; Sernadas, C.; "Introducing explanations in temporal object specification" - Chapter in IS-CORE'94 - Selected Papers, pages 53-68, R. Wieringa and R. Feenstra, World Scientific Publishing, ,
1995.
- Sernadas, A.; J. F. Costa; Sernadas, C.; "An institution of object behaviour" - Chapter in Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 337--350, H. Ehrig and F. Orejas, Springer, ,
1994.
- J. F. Costa; Sernadas, A.; Sernadas, C.; "Data encapsulation and modularity: Three views of inheritance" - Chapter in Mathematical Foundations of Computer Science 93, volume 711 of Lecture Notes in Computer Science, pages 382--391, A. Borzyszkowski and S. Sokolowski, Springer, ,
1993.
- J. Fiadeiro; Sernadas, C.; T. Maibaum; Sernadas, A.; "Describing and structuring objects for conceptual schema development" - Chapter in Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, pages 117--138, P. Loucopoulos and R. Zicari, John Wiley & Sons, ,
1992.
- J. F. Costa; Sernadas, A.; Sernadas, C.; H.-D. Ehrich; "Object interaction" - Chapter in Mathematical Foundations of Computer Science 92, volume 629 of Lecture Notes in Computer Science, pages 200-208, I. Havel and V. Koubek, Springer, ,
1992.
- Sernadas, C.; Gouveia, M.P.G.; Sernadas, A.; "Refinement: Layered definition of conceptual schemata" - Chapter in Information System Concepts, pages 19-51, E. Falkenberg, C. Rolland, and E. N. El-Sayed, North-Holland, ,
1992.
- Sernadas, C.; Gouveia, M.P.G.; J. Gouveia; Sernadas, A.; P. Resende; "The reification dimension in object-oriented data base design" - Chapter in Specification of Database Systems, pages 275-299, D. Harper and M. Norrie, Springer, ,
1992.
- G. Saake; R. Jungclaus; Sernadas, C.; "Abstract data type semantics for many-sorted object query algebra" - Chapter in Mathematical Foundations of Data Base Systems, volume 495 of Lecture Notes in Computer Science, pages 291-307, B. Thalheim, J. Demetrovics, and H.-B. Gerhardt, Springer, ,
1991.
- R. Jungclaus; G. Saake; Sernadas, C.; "Formal specification of object systems" - Chapter in TAPSOFT 91: Theory and Practice of Software Development, volume 494 of Lecture Notes in Computer Science, pages 60-82, S. Abramski and T. Maibaum, Springer, ,
1991.
- Sernadas, C.; P. Resende; Gouveia, M.P.G.; Sernadas, A.; "In-the-large object-oriented design of information systems" - Chapter in The Object-Oriented Approach in Information Systems, pages 209-232, F. Van Assche, B. Moulin, and C. Rolland, North-Holland, ,
1991.
- J. Fiadeiro; Sernadas, C.; T. Maibaum; G. Saake; "Proof-theoretic semantics of object-oriented specification constructs" - Chapter in Object Oriented Databases: Analysis, Design and Construction, pages 243-284, R. Meersman W. Kent and S. Khosla, North-Holland, ,
1991.
- R. Jungclaus; G. Saake; Sernadas, C.; "Using active objects for query processing" - Chapter in Object Oriented Databases: Analysis, Design and Construction, pages 285-303, R. Meersman W. Kent and S. Khosla, North-Holland, ,
1991.
- Sernadas, C.; J. Fiadeiro; Sernadas, A.; "Object-oriented conceptual modeling from law" - Chapter in The Role of Artificial Intelligence in Databases and Information Systems, pages 305--327, R. Meersman, Z. Shi, and C.-H. Kung, North-Holland, ,
1990.
- Sernadas, A.; J. Fiadeiro; Sernadas, C.; H.-D. Ehrich; "Abstract object types: A temporal perspective" - Chapter in Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 324--350, B. Banieqbal, H. Barringer, and A. Pnueli, Springer, ,
1989.
- Sernadas, A.; Sernadas, C.; "Abstraction and inference mechanisms for knowledge representation" - Chapter in Foundations of Knowledge-Base Management, pages 91--111, J. Schmidt and C. Thanos, Springer, ,
1989.
- H.-D. Ehrich; Sernadas, A.; Sernadas, C.; "Objects, object types and object identity" - Chapter in Categorical Methods in Computer Science with Aspects from Topology, volume 393 of Lecture Notes in Computer Science, pages 142-156, H. Ehrig et al, Springer, ,
1989.
- Sernadas, C.; J. Fiadeiro; R. Meersman; Sernadas, A.; "Proof-theoretic conceptual modeling: The NIAM case study" - Chapter in Information Systems Concepts: An In-Depth Analysis, pages 1-30, E. Falkenberg and P. Lindgreen, North-Holland, ,
1989.
- Sernadas, A.; J. Fiadeiro; Sernadas, C.; H.-D. Ehrich; "The basic building blocks of information systems" - Chapter in nformation Systems Concepts: An In-Depth Analysis, pages 225--246, E. Falkenberg and P. Lindgreen, North-Holland, ,
1989.
- H.-D. Ehrich; Sernadas, A.; Sernadas, C.; "Abstract object types for databases" - Chapter in Advances in Object-Oriented Database Systems, pages 144-149, K. Dittrich, Springer, ,
1988.
- J. Fiadeiro; Sernadas, A.; Sernadas, C.; "Knowledgebases as structured theories" - Chapter in Foundations of Software Technology and Theoretical Computer Science, volume 338 of Lecture Notes in Computer Science, pages 469-486, K. Nori and S. Kumar, Springer, ,
1988.
- Sernadas, A.; Sernadas, C.; H.-D. Ehrich; "Object-oriented specification of databases: an algebraic approach" - Chapter in Very Large Data Bases 87, pages 107-116, P. Hammersley, Morgan and Kaufmann, ,
1987.
- Sernadas, C.; Sernadas, A.; "Conceptual modeling abstraction mechanisms as parameterized theories in institutions" - Chapter in Database Semantics, pages 121-140, R. Meersman and T. Steel, North-Holland, ,
1986.
- Sernadas, A.; Sernadas, C.; "Capturing knowledge about the organization dynamics" - Chapter in Knowledge Representation for Decision Support Systems, pages 255--267, L. Methlie and R. Sprague, North-Holland, ,
1985.
- Sernadas, A.; Sernadas, C.; "Conceptual modeling for knowledge-based DSS development" - Chapter in Decision Support Systems: Theory and Application, pages 91--135, C. Holsapple and A. Winston, Springer, ,
1985.
- Sernadas, A.; Sernadas, C.; "The use of ER abstractions for knowledge representation" - Chapter in Entity-relationship Approach, pages 224--231, P. Chen, IEE Press, ,
1985.
Papers in Journals [42]
- Rasga, J.; Sernadas, A.; Sernadas, C.; "Importing Logics: Soundness and Completeness Preservation", Studia Logica, Vol. 101, No. 1, pp. 117 - 155, February, 2013.
| BibTex
- Sernadas, A.; Sernadas, C.; Rasga, J.; "On meet-combination of logics", Journal of Logic and Computation, Vol. 22, No. 6, pp. 1453 - 1470, December, 2012.
| BibTex
- Coniglio, M.; Sernadas, A.; Sernadas, C.; "Preservation by fibring of the model property", Journal of Logic and Computation, Vol. 21, No. 2, pp. 375 - 402, April, 2011.
| BibTex
- Rasga, J.; K. Roggia; Sernadas, C.; "Fusion of sequent modal logic systems labelled with truth values", Logic Journal of the IGPL, Vol. 18, No. 6, pp. 893 - 920, December, 2010. Abstract
| BibTex
- L. Cruz-Filipe; Rasga, J.; Sernadas, A.; Sernadas, C.; "A Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, Vol. 18, No. 6, pp. 885 - 911, January, 2008.
| BibTex
- L. Cruz-Filipe; Sernadas, A.; Sernadas, C.; "Heterogeneous fibring of deductive systems via abstract proof systems", Logic Journal of the IGPL, Vol. 16, No. -, pp. 121 - 153, January, 2008.
| BibTex
- W. Carnielli ; Rasga, J.; Sernadas, C.; "Preservation of interpolation features by fibring", Journal of Logic and Computation, Vol. 18, No. 1, pp. 123 - 151, January, 2008.
| BibTex
- Mateus, P.; Rasga, J.; Sernadas, C.; "Modal sequent calculi labelle with truth values: Cut elimination", Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005.
| BibTex
- Mateus, P.; Sernadas, A.; Sernadas, C.; L. Viganò; "Modal sequent calculi labelled with truth values: Completeness, duality and analyticity", Logic Journal of the IGPL, Vol. 12, No. 3, pp. 227 - 274, January, 2004.
| BibTex
- Mateus, P.; M. Cabral Morais; C. Nunes; A. Pacheco; Sernadas, A.; Sernadas, C.; "Categorical Foundations for Randomly Timed Automata", Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003.
| BibTex
- Coniglio, M.; Sernadas, A.; Sernadas, C.; "Fibring logics with topos semantics", Journal of Logic and Computation, Vol. 13, No. 4, pp. 595 - 624, January, 2003.
| BibTex
- Caleiro, C.; W. Carnielli ; Coniglio, M.; Sernadas, A.; Sernadas, C.; "Fibring non-truth-functional logics: Completeness Preservation", Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003.
| BibTex
- Sernadas, C.; L. Viganò; Rasga, J.; Sernadas, A.; "Truth-values as labels: A general recipe for labelled deduction", Journal of Appl. Non-Classical Logics, Vol. 13, No. 3-4, pp. 277 - 315, January, 2003.
| BibTex
- Rasga, J.; Sernadas, A.; Sernadas, C.; L. Viganò; "Fibring labelled deduction systems", Journal of Logic and Computation, Vol. 12, No. 3, pp. 443 - 473, June, 2002.
| BibTex
- Sernadas, A.; Sernadas, C.; A. Zanardo; "Fibring modal first-order logics: Completeness preservation", Logic Journal of the IGPL, Vol. 10, No. 4, pp. 413 - 451, January, 2002.
| BibTex
- Sernadas, C.; Rasga, J.; W. Carnielli ; "Modulated fibring and the collapsing problem", Journal of Symbolic Logic, Vol. 67, No. 4, pp. 1541 - 1569, January, 2002.
| BibTex
- P.-Y. Schobbens; G. Saake; Sernadas, A.; Sernadas, C.; "U2: A two-level temporal logic for evolving specifications", Information Processing Letters, Vol. 83, No. 3, pp. 167 - 172, January, 2002.
| BibTex
- A. Zanardo; Sernadas, A.; Sernadas, C.; "Fibring: Completeness preservation", Journal of Symbolic Logic, Vol. 66, No. 1, pp. 414 - 439, January, 2001.
| BibTex
- Mateus, P.; A. Pacheco; J. Pinto; Sernadas, A.; Sernadas, C.; "Probabilistic situation calculus", Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001.
| BibTex
- JAP Pinto; Sernadas, A.; Sernadas, C.; Mateus, P.; "Non-determinism and uncertainty in the Situation Calculus", Intrnl. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 8, No. 2, pp. 127 - 149, January, 2000.
| BibTex
- Sernadas, A.; Sernadas, C.; Caleiro, C.; "Fibring of logics as a categorial construction", Journal of Logic and Computation, Vol. 9, No. 2, pp. 149 - 179, January, 1999.
| BibTex
- Mateus, P.; Sernadas, A.; Sernadas, C.; "Precategories for combining probabilistic automata - Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12", Electronic Notes in Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999.
| BibTex
- Sernadas, A.; Sernadas, C.; Ramos, J.; "A Temporal Logic Approach to Object Certification", Data & Knowledge Engineering, Vol. 19, No. -, pp. 267 - 294, January, 1996.
| BibTex
- R. Jungclaus; G. Saake; T. Hartmann; Sernadas, C.; "Troll: A language for object-oriented specification of information systems", ACM Trans. on Information Systems, Vol. 14, No. 2, pp. 175 - 211, January, 1996.
| BibTex
- Sernadas, A.; Sernadas, C.; J. F. Costa; "Object Specification Logic", Journal of Logic and Computation, Vol. 5, No. 5, pp. 603 - 630, January, 1995.
| BibTex
- J. F. Costa; Sernadas, A.; Sernadas, C.; "Object inheritance beyond subtyping", Acta Informatica, Vol. 31, No. -, pp. 5 - 26, January, 1994.
| BibTex
- Sernadas, C.; J. Fiadeiro; "Towards object-oriented conceptual modeling", Data & Knowledge Engineering, Vol. 6, No. 6, pp. 479 - 508, January, 1991.
| BibTex
- J. Sousa; Sernadas, C.; Sernadas, A.; "An object-oriented specification tool for graphical interfaces", Computers & Graphics-UK, Vol. 14, No. 1, pp. 29 - 40, January, 1990.
| BibTex
- H.-D. Ehrich; Sernadas, A.; Sernadas, C.; "From data types to object types", Journal of Information Processing and Cybernetics EIK, Vol. 26, No. 1, pp. 33 - 48, January, 1990.
| BibTex
- Sernadas, C.; J. Fiadeiro; Sernadas, A.; "Modular construction of logic knowledge bases: An algebraic approach", Information Systems, Vol. 15, No. 1, pp. 37 - 59, January, 1990.
| BibTex
- Sernadas, C.; H. Coelho; G. Gaspar; "Communicating knowledge systems: Part i - big talk among small actors", Applied Artificial Intelligence , Vol. 1, No. 3, pp. 233 - 260, January, 1987.
| BibTex
- Sernadas, C.; H. Coelho; G. Gaspar; "Communicating knowledge systems: Part ii - big talk among small actors", Applied Artificial Intelligence , Vol. 1, No. 3, pp. 315 - 335, January, 1987.
| BibTex
- Sernadas, C.; R. Carapuça; "The role of conceptual modeling abstractions in compiler development", Computer Journal, Vol. 30, No. 4, pp. 328 - 336, January, 1987.
| BibTex
- Sernadas, A.; Sernadas, C.; "Infolog 86", Revista Portuguesa de Informática, Vol. 5, No. 10, pp. 9 - 17, January, 1986.
| BibTex
Papers in Conference Proceedings [9]
- W. Carnielli ; Sernadas, C.; A. Zanardo; "Preservation of interpolation by fibring", Proc Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 151 - 157, January, 2004.
| BibTex
- J. Pinto; Sernadas, A.; Sernadas, C.; Mateus, P.; "Non-determinism and uncertainty in the Situation Calculus", Proc International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999.
| BibTex
- Gouveia, M.P.G.; Sernadas, C.; "Abduction in temporal object specification using tableaux", Proc Workshop on Theorem Proving with Analytic Tableaux and Related Methods , Koblenz, Germany, Vol. 1, pp. 43 - 48, May, 1995.
| BibTex
- Gouveia, M.P.G.; Sernadas, C.; "Reasoning aspects in information systems and databases", Proc International Workshop on the Deductive Approach to Information Systems and Databases , Lloret de Mar, Spain, Vol. 1, pp. 201 - 224, September, 1993.
| BibTex
- Gouveia, M.P.G.; Sernadas, C.; J. Gomes; J. Apolinário; "Tableaux for reasoning about objects", Proc Workshop on Theorem Proving with Analytic Tableaux and Related Methods , Marseille, France, Vol. 1, pp. 113 - 125, April, 1993.
| BibTex
- Sernadas, C.; Gouveia, M.P.G.; M. A. Lopes; "Gentzen-type system for verification in conceptual modeling", Proc Foundations of Models and Languages for Data and Objects, Aigen, Austria, Vol. -, pp. 215 - 228, September, 1991.
| BibTex
- Sernadas, C.; Gouveia, M.P.G.; L. Silva; M. A. Lopes; "Objects as structuring units for incorporating dynamics in deductive conceptual modeling", Proc The Deductive Approach to Information Systems and Databases , Catalunya, Spain, Vol. -, pp. 93 - 110, January, 1990.
| BibTex
- Sernadas, C.; Mendes, P.; A. Hespanha; F. Santos; S. Mascarenhas; Sernadas, A.; "An object-oriented representation of the dogmatics of omission to help in criminal law", Proc Computers, Logic and Law, Pisa, Italy, Vol. -, pp. 781 - 809, January, 1989.
| BibTex
- H. Coelho; G. Gaspar; Sernadas, C.; "Societies of knowledge based systems", Proc Proceedings of EuropIA, Paris, France, Vol. -, pp. - - -, January, 1988.
| BibTex
Theses
- C. Sernadas; "Multivariate Branching Processes", University of London, January, 1980.
Other Scientific Achievements
Awards
- Sernadas, A.; Sernadas, C.; J. F. Costa;
"Descartes 1992", Especificações de Objectos com Diagramas: Abordagem OBLOG concedido pelo Instituto de Informatica do Ministerio das Finan»cas para premiar a inova»c~ao
na area das tecnologias da informação., 01-01-1992.
- Sernadas, A.; H. Lourenço; Sernadas, C.;
"
Aggregation and Interconnection of Hybrid Automata: Categorial Characterization
",
Portugal
",
Segundo Encontro ACL, Figueira da Foz
",
6-1998
.
- Sernadas, A.; Mateus, P.; Sernadas, C.;
"
Combining Probabilistic Automata
",
Portugal
",
Segundo Encontro ACL, Figueira da Foz
",
6-1998
.
- Sernadas, A.; Sernadas, C.; Caleiro, C.;
"
Fibring of Logics with Terms and Binding Operators: Semantics
",
Portugal
",
Segundo Encontro ACL, Figueira da Foz
",
6-1998
.
- Sernadas, A.; Sernadas, C.;
"
Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution
",
Germany
",
3rd IS-CORE Workshop, Hannover
",
9-1993
.
- Sernadas, A.; Sernadas, C.; J. Carmo;
"
Lógica Matemática em Ciência da Computação
",
Portugal
",
Braga - Universidade do Minho
",
9-1988
.
- Sernadas, A.; Sernadas, C.;
"
An Object-oriented Approach to Systems Design
",
China
",
Pequim - Institute of Software, Academia Sinica
",
7-1988
.
- Sernadas, A.; Sernadas, C.;
"
Abstract Object Types
",
United Kingdom
",
Abbingdon - Alvey Meeting on Information Systems F
",
11-1987
.
- Sernadas, A.; Sernadas, C.; J.L. Fiadeiro;
"
The Oblog Approach to Laws
",
United Kingdom
",
Londres - IFIP WG 2.6 Meeting
",
9-1987
.
- Sernadas, A.; Sernadas, C.; V. Gamito;
"
Bases de Dados: Metodologia Inforlog
",
Portugal
",
Oeiras - Instituto Nacional de Administra»c~ao (IN
",
12-1986
.
- Sernadas, A.; Sernadas, C.;
"
The Infolog86 Approach to Systems Design
",
Belgium
",
Bruxelas - Esprit Day on Requirements
",
11-1986
.
- Sernadas, A.; Sernadas, C.;
"
Desenvolvimento de Sistemas: Metodologia INFOLOG
",
Portugal
",
Lisboa - INESC
",
5-1986
.
- Sernadas, A.; Sernadas, C.; R. Carapuça; G. Gaspar;
"
Bases de Dados: Metodologia INFOLOG
",
Portugal
",
Lisboa - Instituto Nacional de Administração
",
12-1985
.
