Creating and sharing knowledge for telecommunications
... Amílcar dos Santos Costa Sernadas

Senior Researcher

Amílcar Sernadas

Former IT academic position: External Author
Joining/Leaving IT dates: 08-01-2006 / 24-09-2015
Roles held in IT: Senior Researcher
Former IT scientific area: Networks and Multimedia
Group: Security and Quantum Information – Lisboa

Scientific Achievements

  • Agregação, Universidade de Lisboa, 01-01-1982
  • PhD, University of London, 01-10-1980
  • Licenciatura, Instituto Superior Técnico, 01-01-1975
  • Association for Computing Machinery, 01-01-1978, until 1995
Supervision of theses
  • Acolhimento de Cientista Convidado - Alberto, Research Grant, Alberto Zanardo, 05-1998
  • Acolhimento de Cientista Convidado - Javier Pinto, Research Grant, Javier Pinto, 03-1998
  • Acolhimento de Cientista Convidado - Pierre, Research Grant, Pierre-Yves Schobbens, 03-1998
  • J. Rasga, A. Sernadas, C. Sernadas, A roadmap to decidability., Chapter in, The Road to Universal Logic, A. Koslow and A. Buchsbaum, Birkhäuser, Basel, 2015
  • A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, 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
  • P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, 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
  • C. Caleiro, A. Sernadas, Fibring Logics, Chapter in, Universal Logic: An Anthology (from Paul Hertz to Dov Gabbay), J-Y Béziau, Birkhäuser, 2010
  • R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, 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
  • A. Sernadas, P. Mateus, Y. Omar, Quantum computation and information, Chapter in, A portrait of state-of-the-Art Research at the Technical University of Lisbon, pages 46-65, M.S. Pereira, Springer, 2007
  • R. Chadha, P. Mateus, A. Sernadas, Reasoning about states of probabilistic sequential programs, Chapter in, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240-255, Z. Ésik, Springer, 2006
  • C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, 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
  • C. Caleiro, A. Sernadas, C. Sernadas, 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
  • P. Mateus, A. Sernadas, C. Sernadas, 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
  • P. Mateus, A. Sernadas, Reasoning about quantum systems, Chapter in, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251, J. Alferes and J. Leite, Springer, 2004
  • J. Rasga, A. Sernadas, C. Sernadas, 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
  • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
  • A. Sernadas, C. Sernadas, C. Caleiro, 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
  • H. Lourenço, A. Sernadas, An institution of hybrid systems, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 219--236, Didier Bert and Christine Choppy, Springer, 2000
  • P. Mateus, A. Sernadas, C. Sernadas, 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
  • C. Caleiro, C. Sernadas, A. Sernadas, 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
  • J. Ramos, A. Sernadas, The situation and state calculus versus branching temporal logic, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 293-309, J. Fiadeiro, Springer, 1999
  • H.-D. Ehrich, C. Caleiro, A. Sernadas, G. Denker, Logics for specifying concurrent information systems, Chapter in, Logic for Databases and Information Systems, pages 167--198, J. Chomicki and G. Saake, Kluwer Academic, 1998
  • A. Sernadas, C. Sernadas, C. Caleiro, 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
  • G. Denker, J. Ramos, C. Caleiro, A. Sernadas, A linear temporal logic approach to objects with transactions, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170-184, M. Johnson, Springer, 1997
  • P.B. Menezes, J. F. Costa, A. Sernadas, Refinement mapping for (discrete event) system theory, Chapter in, Computer Aided System Technology, EUROCAST'95, volume 1030 of Lecture Notes in Computer Science, pages 103-116, F. Pichler, R. Moreno Diaz, and R. Albrecht, Springer, 1996
  • A. Sernadas, C. Sernadas, 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
  • H.-D. Ehrich, A. Sernadas, Local specification of distributed families of sequential objects, Chapter in, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 219--235, E. Astesiano, G. Reggio, and A. Tarlecki, Springer, 1995
  • M. Ryan, A. Sernadas, C. Sernadas, 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, A. Sernadas, C. Sernadas, Evolving object specifications, Chapter in, IS-CORE'94 - Selected papers, pages 84--99, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995
  • A. Sernadas, J. F. Costa, C. Sernadas, 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
  • H.-D. Ehrich, R. Jungclaus, G. Denker, A. Sernadas, Object-oriented design of information systems: Theoretical foundations, Chapter in, Advances in Database Systems, Implementations and Applications, pages 201--218, . Paredaens and L. Tenenbaum, Springer, 1994
  • H.-D. Ehrich, G. Denker, A. Sernadas, Constructing systems as object communities, Chapter in, TAPSOFT 93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 453--467, M.C. Gaudel and J.-P. Jouannaud, Springer, 1993
  • H.-D. Ehrich, M. Gorgola, A. Sernadas, Objects and their specification, Chapter in, Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in Computer Science, pages 40-65, M. Bidoit and C. Choppy, Springer, 1993
  • J. Fiadeiro, J. F. Costa, A. Sernadas, T. Maibaum, Process semantics of temporal logic specification, Chapter in, Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in Computer Science, pages 236-253, M. Bidoit and C. Choppy, Springer, 1993
  • J. F. Costa, A. Sernadas, C. Sernadas, 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
  • H.-D. Ehrich, G. Saake, A. Sernadas, Concepts of object orientation, Chapter in, Informationssysteme und Künstliche Intelligenz, pages 1--17, R. Studer, Springer, 1992
  • J. Fiadeiro, C. Sernadas, T. Maibaum, A. Sernadas, 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
  • C. Sernadas, M.P.G. Gouveia, J. Gouveia, A. Sernadas, 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
  • C. Sernadas, M.P.G. Gouveia, A. Sernadas, 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
  • J. F. Costa, A. Sernadas, C. Sernadas, 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
  • A. Sernadas, H.-D. Ehrich, What is an object, after all?, Chapter in, Object Oriented Databases: Analysis, Design and Construction, pages 39--69, W. Kent, and S. Khosla, North-Holland, 1991
  • H.-D. Ehrich, J. Goguen, A. Sernadas, A categorial theory of objects as observed processes, Chapter in, Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, pages 203-228, J. de Bakker, W.-P de Roever, and G. Rozenberg, Springer, 1991
  • C. Sernadas, P. Resende, M.P.G. Gouveia, A. Sernadas, 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
  • H.-D. Ehrich, A. Sernadas, Algebraic implementation of objects over objects, Chapter in, tepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 239-266, J. de Bakker, W.-P de Roever, and G. Rozenberg, Springer, 1990
  • C. Sernadas, J. Fiadeiro, A. Sernadas, 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
  • A. Sernadas, C. Sernadas, Abstraction and inference mechanisms for knowledge representation, Chapter in, Foundations of Knowledge-Base Management, pages 91--111, J. Schmidt and C. Thanos, Springer, 1989
  • A. Sernadas, J. Fiadeiro, C. Sernadas, 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
  • A. Sernadas, J. Fiadeiro, C. Sernadas, 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
  • J. Carmo, A. Sernadas, Inevitability in branching time, Chapter in, Logic at Botik 89, volume 363 of Lecture Notes in Computer Science, pages 41-62, A. Meyer and M. Taitshin, Springer, 1989
  • H.-D. Ehrich, A. Sernadas, C. Sernadas, 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
  • C. Sernadas, J. Fiadeiro, R. Meersman, A. Sernadas, 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
  • R. Carapuça, L. Andrade, A. Sernadas, A database design and construction workbench, Chapter in, Computerized Assistance During the Information Systems Life Cycle, pages 261-286, T. Olle, A. Verrijn-Stuart, and L. Bhabuta, North-Holland, 1988
  • J. Carmo, A. Sernadas, A temporal logic framework for a layered approach to systems specification and verification, Chapter in, Temporal Aspects in Information Systems, pages 31--46, C. Rolland, F. Bodart, and M. Leonard, North-Holland, 1988
  • H.-D. Ehrich, A. Sernadas, C. Sernadas, Abstract object types for databases, Chapter in, Advances in Object-Oriented Database Systems, pages 144-149, K. Dittrich, Springer, 1988
  • J. Fiadeiro, A. Sernadas, Behavioural aspects of intelligent knowledge-based information systems, Chapter in, Temporal Aspects in Information Systems, pages 77--92, C. Rolland, F. Bodart, and M. Leonard, North-Holland, 1988
  • J. Fiadeiro, A. Sernadas, Structuring theories on consequence, Chapter in, Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types - Selected Papers, volume 332 of Lecture Notes in Computer Science, pages 44-72, D. Sannella and A. Tarlecki, Springer, 1988
  • J. Fiadeiro, A. Sernadas, C. Sernadas, 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
  • A. Sernadas, C. Sernadas, 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
  • C. Sernadas, A. Sernadas, Conceptual modeling abstraction mechanisms as parameterized theories in institutions, Chapter in, Database Semantics, pages 121-140, R. Meersman and T. Steel, North-Holland, 1986
  • A. Sernadas, C. Sernadas, 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
  • A. Sernadas, C. Sernadas, 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
  • A. Sernadas, C. Sernadas, The use of ER abstractions for knowledge representation, Chapter in, Entity-relationship Approach, pages 224--231, P. Chen, IEE Press, 1985
  • A. Sernadas, Information systems specification with Infolog, Chapter in, Evolutionary Information Systems, pages 141--157, J. Hawgood, North-Holland, 1982
  • A. Sernadas, G. Gaspar, J. Granado, Bips: a layered predicative query language for a DBTG database system, Chapter in, mproving Database Usability and Responsiveness, pages 73--93, P. Scheuermann, Academic Press, 1982
  • P. Baltazar, R. Chadha, P. Mateus, A. Sernadas, Towards model-checking quantum security protocols, Workshop on Quantum Security - QSEC, Guadeloupe, French Polynesia, Vol. -, pp. 0014 - -, January, 2007 | BibTex
  • P. Mateus, A. Sernadas, Exogenous quantum logic, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 141 - 149, January, 2004 | BibTex
  • J. Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999 | BibTex
  • P.B. Menezes, A. Sernadas, J. F. Costa, Refinement in a Concurrent Object-base Language, The First Brazilian Symp. n Programming Languages, Campinas, Brazil, Vol. -, pp. 237 - 250, September, 1996 | BibTex
  • L. Andrade, A. Sernadas, Banking and management information system automation, World Congress of International Federation of Automatic Control - IFAC, San Francisco, United States, Vol. -, pp. 133 - 138, January, 1996 | BibTex
  • K. Böhm, A. Sernadas, A logic to specify real-time object behaviour, The Fourth International Working Conf. n Dynamic Modelling and Information Systems, Atlanta, United States, Vol. -, pp. 53 - 69, May, 1994 | BibTex
  • K. Böhm, A. Sernadas, Real-time object specification logic, The Deductive Approach to Information Systems and Databases, Catalunya, Spain, Vol. -, pp. 159 - 174, January, 1993 | BibTex
  • J. Fiadeiro, A. Sernadas, Structuring theories for knowledge representation, Terceira Escola Avançada em Inteligência Artificial, Braga, Portugal, Vol. -, pp. 21 - 25, January, 1992 | BibTex
  • G. Reichwein, A. Sernadas, J. Fiadeiro, Ensuring and maintaining quality through formal object-oriented design, Erlangen Symp. on Advances in Digital Image Communication, Biot, France, Vol. -, pp. 55 - 67, January, 1992 | BibTex
  • C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, A. Sernadas, An object-oriented representation of the dogmatics of omission to help in criminal law, Computers, Logic and Law, Pisa, Italy, Vol. -, pp. 781 - 809, January, 1989 | BibTex

Currently running projects1

Acronym Name Funding Agency Start date Ending date
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021

Closed Projects4

Acronym Name Funding Agency Start date Ending date
Coordenação do projecto : QUANTLOG: Logic in Quantum Computation and Information, POCI/MAT/55796/2004 01-01-2005 01-12-2007
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
QSec Quantum Security FCT/PTDC 01-11-2007 01-10-2009
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • A. Sernadas, C. Sernadas, 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
  • A. Sernadas, Centro Internacional de Matemática (CIM), Member of Advisory Committee, 01-01-2008
  • A. Sernadas, Daniel Graça, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-09-2007
  • A. Sernadas, João Cachopo, PhD Thesis Jury, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-09-2007
  • A. Sernadas, Pedro Adão, PhD Thesis Jury, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-12-2006
  • A. Sernadas, Advanced Studies in Mathematics and Logic, Member of Advisory Committee, publicada pela Polimetrica, 01-01-2005
  • A. Sernadas, Alexandre Francisco, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (presidente e co-orientador), 01-12-2004
  • A. Sernadas, Ricardo Lopes de Saldanha, PhD Thesis Jury, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-04-2004
  • A. Sernadas, João Rasga, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-07-2003
  • A. Sernadas, Daniel Graça, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-09-2002
  • A. Sernadas, Manuel Campagnolo, PhD Thesis Jury, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-01-2002
  • A. Sernadas, António Marques Fernandes, PhD Thesis Jury, Matemática, Universidade de Lisboa, 01-07-2001
  • A. Sernadas, Paulo Mateus, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (Orientador), 01-01-2001
  • A. Sernadas, António Ravara, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (co-orientador), 01-12-2000
  • A. Sernadas, Carlos Caleiro, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-12-2000
  • A. Sernadas, Jaime Ramos, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-05-2000
  • A. Sernadas, António Rito Silva, PhD Thesis Jury, Engenharia Informática e de Computadores, Intituto Superior Técnico, Universidade Técnica de Lisboa, 01-09-1999
  • A. Sernadas, Antónia Lopes, PhD Thesis Jury, Informática, Universidade de Lisboa ( primeiro relator e arguente), 01-06-1999
  • A. Sernadas, Sofia Guerra, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (co-orientador), 01-06-1999
  • A. Sernadas, Alfio Martini, PhD Thesis Jury, Informática, Universidade de Berlim, 01-01-1999
  • A. Sernadas, Pedro Quaresma de Almeida, PhD Thesis Jury, Informática, Universidade do Minho (primeiro relator e arguente), 01-11-1998
  • A. Sernadas, Paula Gouveia, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-06-1998
  • A. Sernadas, Davide Ancona, PhD Thesis Jury, Informática, Universidade de Pisa (relator), 01-03-1998
  • A. Sernadas, Pedro Resende, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-01-1998
  • A. Sernadas, Maria João Coutinho, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-11-1997
  • A. Sernadas, José Espirito Santo, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-04-1997
  • A. Sernadas, Paulo Menezes, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-02-1997
  • A. Sernadas, Pedro Sousa, PhD Thesis Jury, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-02-1997
  • A. Sernadas, Amândio Vaz Velho, PhD Thesis Jury, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-01-1997
  • A. Sernadas, Diana Santos, PhD Thesis Jury, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (co-orientador), 01-01-1997
  • A. Sernadas, Joana Campos de Carvalho, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-10-1996
  • A. Sernadas, António Ravara, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente e orientador), 01-03-1996
  • A. Sernadas, Carlos Caleiro, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente e co-orientador), 01-03-1996
  • A. Sernadas, João Gomes, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (Presidente), 01-03-1996
  • A. Sernadas, J. Pinto, MSc Thesis Jury, Informática, Universidade do Minho (primeiro arguente), 01-11-1995
  • A. Sernadas, José Bacelar Almeida, MSc Thesis Jury, Informática, Universidade do Minho (primeiro arguente), 01-01-1994
  • A. Sernadas, Pedro Sousa, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-01-1994
  • A. Sernadas, Luís Dominguez, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-09-1993
  • A. Sernadas, Renwei Li, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-07-1993
  • A. Sernadas, Paula Gouveia, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-02-1993
  • A. Sernadas, Nuno Guimarães, PhD Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-06-1992
  • A. Sernadas, José Félix Costa, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-01-1992
  • A. Sernadas, António Rito da Silva, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-12-1991
  • A. Sernadas, Miguel Dionísio, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-12-1991
  • A. Sernadas, Filipe Santos, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-11-1991
  • A. Sernadas, Mário Rui Gomes, PhD Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-11-1991
  • A. Sernadas, Pedro Resende, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-11-1991
  • A. Sernadas, José Félix Costa, MSc Thesis Jury, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-03-1990
  • A. Sernadas, Frank Dignum, PhD Thesis Jury, Universidade Livre de Amsterdão (primeiro arguente), 01-12-1989
  • A. Sernadas, José Fiadeiro, PhD Thesis Jury, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-01-1989
  • A. Sernadas, Rogério Carapuça, PhD Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador), 01-10-1988
  • A. Sernadas, José Afonso Sousa, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, 01-06-1988
  • A. Sernadas, José Carmo, PhD Thesis Jury, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-04-1988
  • A. Sernadas, Alvaro Athayde, MSc Thesis Jury, Matemática e Ciências da Computação, Universidade de Coimbra (orientador e arguente), 01-07-1987
  • A. Sernadas, Jorge Coelho, MSc Thesis Jury, Matemática e Ciências da Computação, Universidade de Coimbra (orientador e arguente), 01-07-1987
  • A. Sernadas, Alfredo Carvalho, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-05-1987
  • A. Sernadas, A. Girão Antunes, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-03-1987
  • A. Sernadas, Vítor Garcia, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (orientador e arguente), 01-03-1987
  • A. Sernadas, Inteligência Artificial 87: Actas do 3º Encontro Português de Inteligência Artificial, Editor of Conference Proceedings, Compilação com a colaboração de J. Maia Neves - APPIA, 01-01-1987
  • A. Sernadas, José Timóteo, MSc Thesis Jury, Informática, Universidade do Minho (primeiro arguente), 01-12-1986
  • A. Sernadas, L. Paupério da Silva, MSc Thesis Jury, Informática, Universidade do Minho (primeiro arguente), 01-03-1986
  • A. Sernadas, A Nova Informática: Actas do 4º Congresso Português de Informática, Editor of Conference Proceedings, Compilação com a colaboração de N. Ponces de Carvalho e B. Ferreira dos Santos - API, 01-01-1986
  • A. Sernadas, J. Correia, MSc Thesis Jury, engenharia Electrotécnica, Universidade de Coimbra (primeiro arguente), 01-12-1985
  • A. Sernadas, Manuela Veloso, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (primeiro arguente), 01-07-1984
  • A. Sernadas, Rogério Carapuça, MSc Thesis Jury, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa (primeiro arguente), 01-07-1984
  • A. Sernadas, Kung Chen Ho, PhD Thesis Jury, The Norwegian Institute of Technology (primeiro arguente), 01-05-1984
  • A. Sernadas, L. Monteiro, PhD Thesis Jury, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 01-10-1983
  • A. Sernadas, P. Guerreiro, PhD Thesis Jury, Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (primeiro arguente), 01-07-1983
  • J. Rasga, L. Cruz-Filipe, A. Sernadas, C. Sernadas, Discrete-Measure Almost-Everywhere Quantification, Portugal, Coimbra, 06-2008
  • A. Sernadas, C. Sernadas, Towards a universal theory of fibring, Portugal, Portuguese Category Seminar, Coimbra, 12-2006
  • A. Sernadas, Lógica de Demonstrabilidade, Portugal, Coimbra - Simpósio de Matemática - Centenário do, 04-2006
  • A. Sernadas, Cmputação e Informação Quânticas, Portugal, Lisboa - A investigação na Universidade Técnica de, 02-2006
  • A. Sernadas, Computação e Informação Quânticas, Portugal, Lisboa - A investigação na Universidade Técnica de, 02-2006
  • A. Sernadas, Complete Axiomatization of EQPL, Portugal, Lisboa - Centro de Matemática e Aplicações Fundame, 11-2005
  • A. Sernadas, Proof of the weak completeness of EQPL, Portugal, Coimbra - Centro de Matemática da Universidade de, 03-2005
  • A. Sernadas, P. Mateus, Exogeneous quantum logic, Portugal, Workshop on Compbination of Logics - Theory and Ap, 07-2004
  • A. Sernadas, Combining logic systems: Why, how, what for?, Portugal, Coimbra - Centro de Matemática da Universidade de, 02-2004
  • A. Sernadas, Combining logic systems: Why, how, what for?, Portugal, Lisboa - Centro de Análise Matemática Geometria e, 11-2003
  • A. Sernadas, P. Mateus, C. Sernadas, Exogeneous Probabilistic Logic, Portugal, Portuguese Category Seminar 03, Coimbra, 05-2003
  • A. Sernadas, Topos-theoretic Semantics of Fibring, Portugal, Lisboa - Centro de Matemática e Aplicações Fundame, 04-2002
  • A. Sernadas, Fibring: Completeness Preservation, Portugal, Lisboa - Centro de Matemática e Aplicaçõews Fundam, 05-2000
  • A. Sernadas, C. Sernadas, Fibring of Algebraic Semantics, Portugal, Encontro ACL/LOGCOMP, Coimbra, 02-1999
  • A. Sernadas, A. Zanardo, C. Sernadas, Fibring: Completeness preservation, Portugal, Encontro ACL/LOGCOMP, Coimbra, 02-1999
  • A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial Fibring of Logics with Terms and Binding Operators, Netherlands, FROCOS'98, Amsterdão, 10-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics, Portugal, Lógica 98, Évora, 07-1998
  • A. Sernadas, H. Lourenço, C. Sernadas, Aggregation and Interconnection of Hybrid Automata: Categorial Characterization, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Combining Probabilistic Automata, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators: Semantics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Parameterisation of Logics, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Aggregation and Interconnection of Probabilistic Automata, Portugal, 13th WADT, Lisboa, 04-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibring of Logics with Terms and Binding Operators, Portugal, 13th WADT, Lisboa, 04-1998
  • A. Sernadas, C. Sernadas, Impacto da Álgebra na Computação, Portugal, Encontro Nacional de Matemática, Braga, 02-1998
  • A. Sernadas, C. Caleiro, C. Sernadas, Adjunções entre Sistemas Lógicos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, P. Mateus, C. Sernadas, Composição Categorial de Sistemas Estocásticos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, C. Caleiro, Fibrilação de Lógicas com Termos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, J. Ramos, Lógica Temporal Ramificada versus Cálculo de Situações, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, H. Lourenço, Verificação de Propriedades em Sistemas Híbridos Lineares, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998
  • A. Sernadas, C. Sernadas, Categorial Techniques in Combining Logics, France, Aix-en-Provence - 9th European Summer School on Lo, 08-1997
  • A. Sernadas, C. Sernadas, C. Caleiro, Synchronization with Mixed Rules: Completeness Preservation, Belgium, FIREworks Meeting, Namur, 05-1997
  • A. Sernadas, S. Guerra, M. Ryan, Feature-oriented Specifications - OOP'96, Portugal, Lisboa, 10-1996
  • A. Sernadas, C. Sernadas, Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution, Germany, 3rd IS-CORE Workshop, Hannover, 09-1993
  • A. Sernadas, Object-Oriented Programming: A Logic Approach, Portugal, Advanced Course, 5th European Summer School in Log, 08-1993
  • A. Sernadas, An Institution of Object Behaviour, Portugal, FAC3 Workshop'92, Braga, 09-1992
  • A. Sernadas, Object Template Institution, Germany, Seminar on Foundations of Information Systems Spec, 03-1992
  • A. Sernadas, Object Specification with Pictures, Germany, Braunschweig - Universidade de Braunschweig, 01-1992
  • A. Sernadas, O Cálculo-,\, Portugal, Comemorações do 50º Aniversário da Sociedade Portu, 12-1990
  • A. Sernadas, OBLOG: An Informal Introduction, Portugal, Lisboa - DIGITAL Portuguesa, 30 horas, 09-1990
  • A. Sernadas, What is an Object, After All?, United Kingdom, Windermere - Database Semantics 4 (DS-4), 07-1990
  • A. Sernadas, The OBLOG Approach to Object-Oriented Systems Development, Netherlands, Amsterdão - Universidade Livre de Amsterdão, 3 hor, 12-1989
  • A. Sernadas, Object Concept, United Kingdom, 1st IS-CORE Workshop, Londres, 09-1989
  • A. Sernadas, H.-D. Ehrich, Object-oriented Conceptual Modelling, Portugal, IFIP WG 8.1 Meeting, Sesimbra, 06-1989
  • A. Sernadas, Modular Construction of Theories, Portugal, Seminário Hugo Ribeiro, Lisboa, 04-1989
  • A. Sernadas, O Matemático na Indústria, Portugal, conferência convidada, IV Encontro Nacional da Soc, 04-1989
  • A. Sernadas, Tipos de Objectos Abstractos, Portugal, IV Encontro Nacional da Sociedade Portuguesa de Ma, 04-1989
  • A. Sernadas, Towards a Categorial Semantics of OBLOG, Germany, Braunschweig - Universidade de Braunschweig, 10-1988
  • A. Sernadas, C. Sernadas, J. Carmo, Lógica Matemática em Ciência da Computação, Portugal, Braga - Universidade do Minho, 09-1988
  • A. Sernadas, AI in Information Systems and Databases, China, IFIP WG 2.6/8.1 Working Conference The Role of AI, 07-1988
  • A. Sernadas, C. Sernadas, An Object-oriented Approach to Systems Design, China, Pequim - Institute of Software, Academia Sinica, 07-1988
  • A. Sernadas, A. Hespanha, O Impacto da Computação no Direito, Portugal, Sesimbra - RCJ88: 1º Encontro sobre Representação, 05-1988
  • A. Sernadas, C. Sernadas, Abstract Object Types, United Kingdom, Abbingdon - Alvey Meeting on Information Systems F, 11-1987
  • A. Sernadas, Abstract Object Types, Belgium, Bruxelas - Esprit Workshop on Systems Requirements, 10-1987
  • A. Sernadas, J.L. Fiadeiro, Proof-theoretic Semantics of Specification Building Operations, United Kingdom, Escócia - 5th Workshop on Specificationof Abstract, 09-1987
  • A. Sernadas, C. Sernadas, J.L. Fiadeiro, The Oblog Approach to Laws, United Kingdom, Londres - IFIP WG 2.6 Meeting, 09-1987
  • A. Sernadas, Information Systems: The Third Wave, Netherlands, Tilburg - Universidade Católica de Tilburg, 03-1987
  • A. Sernadas, C. Sernadas, V. Gamito, Bases de Dados: Metodologia Inforlog, Portugal, Oeiras - Instituto Nacional de Administra»c~ao (IN, 12-1986
  • A. Sernadas, C. Sernadas, The Infolog86 Approach to Systems Design, Belgium, Bruxelas - Esprit Day on Requirements, 11-1986
  • A. Sernadas, Bases de Dados e Inteligência Artificial, Portugal, Lisboa - lição convidada, 2o Encontro Português de, 10-1986
  • A. Sernadas, Bases de Dados, Portugal, Lisboa - CIBA GEIGY, 6 horas, 09-1986
  • A. Sernadas, Presidente do Painel "Future Information Systems", Ireland, Dublin - IFIP 10th World Computer Congress 86, 09-1986
  • A. Sernadas, Bases de Dados Relacionais, Portugal, Lisboa - Instituto de Altos Estudos Militares, 07-1986
  • A. Sernadas, Sistemas Operativos, Portugal, Lisboa - Laboratório Nacional de Engenharia Civil, 07-1986
  • A. Sernadas, C. Sernadas, Desenvolvimento de Sistemas: Metodologia INFOLOG, Portugal, Lisboa - INESC, 05-1986
  • A. Sernadas, M. Gomes, J.L. Fiadeiro, Metodologias da Programação, Portugal, Lisboa - INESC, 02-1986
  • A. Sernadas, A Terceira Vaga da Inform¶atica, Portugal, Lisboa - FILEME, 01-1986
  • A. Sernadas, C. Sernadas, R. Carapuça, G. Gaspar, Bases de Dados: Metodologia INFOLOG, Portugal, Lisboa - Instituto Nacional de Administração, 12-1985
  • A. Sernadas, Introdução µa Análise de Sistemas e Programação, Portugal, Lisboa - Instituto Superior de Gestão, 02-1985
  • A. Sernadas, INFOLOG:Towards the 5th Generation System Development Work Bench, Norway, Trondheim - The Norwegian Institute of Technology, 05-1984
  • A. Sernadas, Projecto INFOLOG, Portugal, Braga - Universidade do Minho, 12-1983
  • A. Sernadas, Lógicas de Programação Concorrente, Portugal, Lisboa - SPM, 09-1983
  • A. Sernadas, Projecto INFOLOG, Portugal, Coimbra - Universidade de Coimbra, 07-1983
  • A. Sernadas, L. Gouveia, Bases de Dados: Metodologia INFOLOG, Portugal, Lisboa - INA, 03-1983
  • A. Sernadas, INFOLOG, Portugal, Lisboa - Unversidade Técnica, 03-1983
  • A. Sernadas, Programação Estruturada, Portugal, Lisboa - Associação POrtuguesa de Informática, 12-1981
  • A. Sernadas, Lógica de Programas, Portugal, Lisboa - INA, 11-1981
  • A. Sernadas, INFOLOG, United Kingdom, Londres - Imperial College of Science and Technolo, 05-1980
  • A. Sernadas, Specification Languages, United Kingdom, Londres - The British Computer Society, 05-1980
  • A. Sernadas, Systems Specification, Sweden, Goteborg - Universidade de Goteborg, 05-1980
  • A. Sernadas, Information System Specification, United Kingdom, Londres - London School of Economics (LSE), 01-1980
  • Frontiers of Combining Systems - FroCos 98, Scientific Committee, 2007
  • Sessões de Lógica e Computação do Encontro Nacional de Matemática, Technical Programme Chairman, 2006
  • Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Organizing Committee, 2004
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 2003
  • Sessões de Lógica e Computação do Encontro Nacional de Matemática, Conference Chairman, 2002
  • Working Conf. on Organisational Semiotics - the evolving science of information systems, Scientific Committee, 2001
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 2001
  • Workshop on Database Evolution and Meta Modeling - DEMM2000, Scientific Committee, 2000
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 2000
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1999
  • IEEE Symp. on Logic in Computer Science - LICS 99, Scientific Committee, 1999
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1999
  • Frontiers of Combining Systems - FroCos 98, Scientific Committee, 1998
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1998
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1998
  • Foundations of Software Science and Computation Structures - FoSSaCS, Scientific Committee, 1998
  • IFIP - Technical Committee, Organizing Committee, 1998
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1997
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1997
  • Advanced Modeling and Specification of Distributed InfoRmation Systems - ASPIRE, Organizing Committee, 1997
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1996
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1995
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1995
  • Comprehensive Algebraic Approach to System Specification and Development - COMPASS, Organizing Committee, 1995
  • International Conf. on the Entity Relationship Approach, Scientific Committee, 1994
  • International Conf. on Temporal Logic, Scientific Committee, 1994
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1994
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1993
  • International Conf. on Data Engineering - ICDE, Scientific Committee, 1993
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1992
  • International Conf. on Very Large Data Bases - VLDB, Scientific Committee, 1992
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1992
  • Working Conf. on Information System Concepts, Scientific Committee, 1992
  • Working Conf. on the object oriented approach in information systems, Scientific Committee, 1991
  • International Conf. on Very Large Data Bases - VLDB, Scientific Committee, 1991
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1991
  • International Conf. on the Entity Relationship Approach, Scientific Committee, 1990
  • International Conf. on Data Base and Expert Systems Applications - DEXA, Scientific Committee, 1990
  • Conf. on Advanced Information Systems Engineering - CAISE, Scientific Committee, 1990
  • International Conf. on Very Large Data Bases - VLDB, Scientific Committee, 1989
  • International Conf. on Software Engineering - ICSE, Scientific Committee, 1989
  • International Conf. on the Entity Relationship Approach, Scientific Committee, 1988
  • Working Conf. on The Role of Artificial Intelligence in Databases and Information Systems - IFIP, Scientific Committee, 1988
  • International Conf. on Extending Database Technology - EDBT, Scientific Committee, 1988
  • International Conf. on the Entity Relationship Approach, Scientific Committee, 1987
  • Terceira Escola Avançada em Inteligência Artificial, Technical Programme Committee, 1987
  • Working Conf. on Temporal Aspects in Information Systems, Scientific Committee, 1987
  • International Conf. on the Entity Relationship Approach, Scientific Committee, 1986
  • IFIP TC 2 WG 2.6 Meeting, Organizing Committee, 1986
  • International Conf. on Very Large Data Bases - VLDB, Scientific Committee, 1985
  • Working Conf. Theoretical and Formal Aspects of Information Systems, Scientific Committee, 1985
  • Editor associaso, The INESC Journal of Research and Development, 01-01-1990 - 01-12-1994
  • Membro da comissão cientifica, Formal Aspects of Computing, 01-01-1988 - today
  • Membro da Comissão técnica, Revista Portuguesa de Informática, 01-04-1985 - today
  • Membro da comissão cientifica, Decision Support Systems, 01-01-1983 - 01-12-2006
  • Referee ocasional, Information Systems, 01-01-1981 - 01-12-1986