Google Scholar profile

Preprints available from this local repository

A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer, and A. B. Henriques. Probabilistic logic of quantum observations. Preprint, CMAF-CIO and IST - U Lisboa, 1049-001 Lisboa, Portugal. Submitted for publication.

A. Sernadas, J. Rasga, and C. Sernadas. On probability and Logic. Preprint, CMAF-IO and IST, U Lisboa, 1049-001 Lisboa, Portugal. Submitted for publication.

J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the unreliable-circuit logic. Logic Journal of the IGPL, 25(3):283--308, 2017.

J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, 9(4):641--663, 2016.

J. Rasga, C. Sernadas, and A. Sernadas. A roadmap to decidability. In A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, Studies in Universal Logic, pages 423--445. Birkhäuser Basel, Springer, 2015.

A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Reasoning about logic circuits with independent input errors. South American Journal of Logic, 1(1):135--162, 2015.

J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. Studia Logica, 102(5):1041--1071, 2014.

J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence of unreliable connectives. Logica Universalis, 8(3-4):423--446, 2014.

A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates. Journal of Logic and Computation, 24(5):1023--1069, 2014.

J. Rasga, W. Lotfallah, and C. Sernadas. Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Mathematical Logic Quarterly, 59(4--5):286--302, 2013.

J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and completeness preservation. Studia Logica, 101(1):117--155, 2013.

C. Sernadas, J. Rasga, and A. Sernadas. Preservation of Craig interpolation by the product of matrix logics. Journal of Applied Logic, 11(3):328--349, 2013.

J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. Studia Logica, 100(3):545--581, 2012.

A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation - Second Edition. College Publications, London, 2012. ISBN 978-1-904987-88-8.

A. Sernadas and C. Sernadas. Fundamentos de Lógica e Teoria da Computação - Segunda Edição. College Publications, London, 2012. ISBN 978-1-84890-081-3.

A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics. Journal of Logic and Computation, 22(6):1453--1470, 2012.

M. Coniglio, A. Sernadas, and C. Sernadas. Preservation by fibring of the finite model property. Journal of Logic and Computation, 21(2):375--402, 2011.

A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. Logica Universalis, 5(2):205--224, 2011.

A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, volume 17 of Tribute Series, pages 321--338. College Publications, London, 2011.

P. Mateus, J. Ramos, A. Sernadas, and C. Sernadas. Temporal logics for reasoning about quantum systems. In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum Computation, pages 389--413. Cambridge University Press, 2010.

J. Rasga, K. Roggia, and C. Sernadas. Fusion of sequent modal logic systems labelled with truth values. Logic Journal of the IGPL, 18(6):893--920, 2010.

W. Carnielli, J. Rasga, and C. Sernadas. Interpolation via translations. Mathematical Logic Quarterly, 55(5):515--534, 2009.

R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical logic for reasoning about quantum systems. In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325--372. Elsevier, 2009.

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation, 19:1281--1320, 2009.

A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation, 19:1321--1357, 2009.

W. A. Carnielli, M. E. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, volume 35 of Applied Logic. Springer, 2008.

W. A. Carnielli, J. Rasga, and C. Sernadas. Preservation of interpolation features by fibring. Journal of Logic and Computation, 18(1):123--151, 2008.

L. Cruz-Filipe, J. Rasga, A. Sernadas, and C. Sernadas. A complete axiomatization of discrete-measure almost-everywhere quantification. Journal of Logic and Computation, 18(6):885--911, 2008.

L. Cruz-Filipe, A. Sernadas, and C. Sernadas. Heterogeneous fibring of deductive systems via abstract proof systems. Logic Journal of the IGPL, 16:121--153, 2008.

A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation. College Publications, London, 2008. ISBN 978-1-904987-88-8.

C. Caleiro, P. Mateus, A. Sernadas, and C. Sernadas. Quantum institutions. In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50--64. Springer, 2006.

C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Fibring of logics as a universal construction. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123--187. Springer, 2005.

C. Caleiro, A. Sernadas, and C. Sernadas. Fibring logics: Past, present and future. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume One, pages 363--388. King's College Publications, 2005.

P. Mateus, J. Rasga, and C. Sernadas. Modal sequent calculi labelled with truth values: Cut elimination. Logic Journal of the IGPL, 13(2):173--199, 2005.

P. Mateus, A. Sernadas, and C. Sernadas. Exogenous semantics approach to enriching logics. In G. Sica, editor, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165--194. Polimetrica, 2005.

J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition). IST Press, 2004.

W. A. Carnielli, C. Sernadas, and A. Zanardo. Preservation of interpolation by fibring. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 151--157, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.

P. Mateus, A. Sernadas, C. Sernadas, and L. Viganò. Modal sequent calculi labelled with truth values: Completeness, duality and analyticity. Logic Journal of the IGPL, 12(3):227--274, 2004.

C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring non-truth-functional logics: Completeness preservation. Journal of Logic, Language and Information, 12(2):183--211, 2003.

M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring logics with topos semantics. Journal of Logic and Computation, 13(4):595--624, 2003.

P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas. Categorical foundations for randomly timed automata. Theoretical Computer Science, 308:393--427, 2003.

C. Sernadas, L. Viganò, J. Rasga, and A. Sernadas. Truth-values as labels: A general recipe for labelled deduction. Journal of Applied Non-Classical Logics, 13(3-4):277--315, 2003.

J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction systems. Journal of Logic and Computation, 12(3):443--473, 2002.

J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Labelled deduction over algebras of truth values. In A. Armando, editor, Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222--238. Springer, 2002.

P.-Y. Schobbens, G. Saake, A. Sernadas, and C. Sernadas. U2: A two-level temporal logic for evolving specifications. Information Processing Letters, 83(3):167--172, 2002.

A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL, 10(4):413--451, 2002.

C. Sernadas, J. Rasga, and W. A. Carnielli. Modulated fibring and the collapsing problem. Journal of Symbolic Logic, 67(4):1541--1569, 2002.

P. Gouveia and C. Sernadas. Abductive reasoning over temporal specifications of objects. In M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275--300. CSLI Publications, 2001.

P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas. Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence, 32(1/4):393--431, 2001.

A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414--439, 2001.

P. Mateus, A. Sernadas, and C. Sernadas. Realization of probabilistic automata: Categorical approach. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237--251. Springer, 2000.

J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 8(2):127--149, 2000. Full version of pin:acs:css:pmat:99a.

A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295--316. Research Studies Press, 2000.

C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48--62. Springer, 1999.

J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio, and C. Caleiro. Introdução à Programação em Mathematica (Introduction to Programming in Mathematica). IST Press, 1999.

P. Mateus, A. Sernadas, and C. Sernadas. Precategories for combining probabilistic automata. Electronic Notes in Theoretical Computer Science, 29, 1999. Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, 1999.

J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and uncertainty in the Situation Calculus. In A. Kumar and I. Russell, editors, Proceedings of the FLAIRS'99 - the 12th International Florida AI Research Symposium, pages 454--460. AAAI Press, 1999. Short version of pin:acs:css:pmat:99b.

A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149--179, 1999.

S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving logical specification in information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Systems, pages 199--228. Kluwer Academic Publishers, 1998.

A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object specification. Acta Informatica, 35:729--773, 1998.

A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217--247, 1997.

A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In M. Johnson, editor, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478. Springer, 1997.

R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll: A language for object-oriented specification of information systems. ACM Transactions on Information Systems, 14(2):175--211, 1996.

A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object certification. Data and Knowledge Engineering, 19:267--294, 1996.

P. Gouveia and C. Sernadas. Abduction in temporal object specification using tableaux. In P. Baumgartner, R. Hahnle, and J. Possega, editors, 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods - Poster Session and Short Papers, pages 43--48. University of Koblenz, 1995.

P. Gouveia and C. Sernadas. Introducing explanations in temporal object specification. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected Papers, pages 53--68. World Scientific Publishers, 1995.

M. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 155--172. World Scientific Publishers, 1995.

G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 84--99. World Scientific Publishers, 1995.

A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603--630, 1995.

A. Sernadas, C. Sernadas, and J. Valença. A theory-based, topological notion of institution. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 420--436. Springer, 1995.

J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5--26, 1994.

A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 337--350. Springer, 1994.

J. F. Costa, A. Sernadas, and C. Sernadas. Data encapsulation and modularity: Three views of inheritance. In A. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of Computer Science 93, volume 711 of Lecture Notes in Computer Science, pages 382--391. Springer, 1993.

P. Gouveia and C. Sernadas. Reasoning aspects in information systems and databases. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 201--224. Universitat Politècnica de Catalunya, 1993.

P. Gouveia, C. Sernadas, J. Gomes, and J. Apolinário. Tableaux for reasoning about objects. In D. Basin, R. Hahnle, B. Fronhofer, J. Possegge, and C. Schwind, editors, Theorem Proving with Analytic Tableaux and Related Methods, pages 113--125. Max-Planck-Institut für Informatik, 1993.

C. Sernadas. Introdução à Teoria da Computação (An Introduction to Computing Theory). Editorial Presença, 1993.

J. F. Costa, A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object interaction. In I. Havel and V. Koubek, editors, Mathematical Foundations of Computer Science 92, volume 629 of Lecture Notes in Computer Science, pages 200--208. Springer, 1992.

J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and structuring objects for conceptual schema development. In P. Loucopoulos and R. Zicari, editors, Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, pages 117--138. John Wiley, 1992.

C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The reification dimension in object-oriented data base design. In D. Harper and M. Norrie, editors, Specification of Database Systems, pages 275--299. Springer, 1992.

C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered definition of conceptual schemata. In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information System Concepts, pages 19--51. North-Holland, 1992.

J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 243--284. North-Holland, 1991.

R. Jungclaus, G. Saake, and C. Sernadas. Formal specification of object systems. In S. Abramski and T. Maibaum, editors, TAPSOFT 91: Theory and Practice of Software Development, volume 494 of Lecture Notes in Computer Science, pages 60--82. Springer, 1991.

R. Jungclaus, G. Saake, and C. Sernadas. Using active objects for query processing. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 285--303. North-Holland, 1991.

G. Saake, R. Jungclaus, and C. Sernadas. Abstract data type semantics for many-sorted object query algebra. In B. Thalheim, J. Demetrovics, and H.-B. Gerhardt, editors, Mathematical Foundations of Data Base Systems, volume 495 of Lecture Notes in Computer Science, pages 291--307. Springer, 1991.

C. Sernadas and J. Fiadeiro. Towards object-oriented conceptual modeling. Data and Knowledge Engineering, 6(6):479--508, 1991.

C. Sernadas, P. Gouveia, and M. A. Lopes. Gentzen-type system for verification in conceptual modeling. In J. Göers, A. Heuer, and G. Saake, editors, Foundations of Models and Languages for Data and Objects, pages 215--228. TU Clausthal, 1991.

C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large object-oriented design of information systems. In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented Approach in Information Systems, pages 209--232. North-Holland, 1991.

H.-D. Ehrich, A. Sernadas, and C. Sernadas. From data types to object types. Journal of Information Processing and Cybernetics EIK, 26(1):33--48, 1990.

C. Sernadas, J. Fiadeiro, and A. Sernadas. Modular construction of logic knowledge bases: An algebraic approach. Information Systems, 15(1):37--59, 1990.

C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors, The Role of Artificial Intelligence in Databases and Information Systems, pages 305--327. North-Holland, 1990.

C. Sernadas, P. Gouveia, L. Silva, and M. A. Lopes. Objects as structuring units for incorporating dynamics in deductive conceptual modeling. In The Deductive Approach to Information Systems and Databases 90, pages 93--110. Universitat Politècnica de Catalunya, 1990.

J. Sousa, C. Sernadas, and A. Sernadas. An object-oriented specification tool for graphical interfaces. Computers and Graphics, 14(1):29--40, 1990.

H.-D. Ehrich, A. Sernadas, and C. Sernadas. Objects, object types and object identity. In H. Ehrig et al, editor, Categorical Methods in Computer Science with Aspects from Topology, volume 393 of Lecture Notes in Computer Science, pages 142--156. Springer, 1989.

A. Sernadas and C. Sernadas. Abstraction and inference mechanisms for knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91--111. Springer, 1989.

A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract object types: A temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, pages 324--350. Springer, 1989.

A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building blocks of information systems. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 225--246. North-Holland, 1989.

C. Sernadas, J. Fiadeiro, R. Meersman, and A. Sernadas. Proof-theoretic conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 1--30. North-Holland, 1989.

C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, and A. Sernadas. An object-oriented representation of the dogmatics of omission to help in criminal law. In A. Martino, editor, Computers, Logic and Law, pages 781--809. Istituto per la Documentazione Giuridica, Pisa, Italy, 1989.

H. Coelho, G. Gaspar, and C. Sernadas. Societies of knowledge based systems. In Proceedings of EuropIA. Hermes Editions, 1988.

H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract object types for databases. In K. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149. Springer, 1988.

J. Fiadeiro, A. Sernadas, and C. Sernadas. Knowledgebases as structured theories. In K. Nori and S. Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, volume 338 of Lecture Notes in Computer Science, pages 469--486. Springer, 1988.

C. Sernadas and R. Carapuça. The role of conceptual modeling abstractions in compiler development. Computer Journal, 30(4):328--336, 1987.

A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-oriented specification of databases: an algebraic approach. In P. Hammersley, editor, Very Large Data Bases 87, pages 107--116. Morgan and Kaufmann, 1987.

C. Sernadas, H. Coelho, and G. Gaspar. Communicating knowledge systems: Part i - big talk among small actors. Journal of Applied Artificial Intelligence, 1(3):233--260, 1987.

C. Sernadas, H. Coelho, and G. Gaspar. Communicating knowledge systems: Part ii - big talk among small actors. Journal of Applied Artificial Intelligence, 1(3):315--335, 1987.

C. Sernadas and A. Sernadas. Conceptual modeling abstraction mechanisms as parameterized theories in institutions. In R. Meersman and T. Steel, editors, Database Semantics, pages 121--140. North Holland, 1986.

A. Sernadas and C. Sernadas. Capturing knowledge about the organization dynamics. In L. Methlie and R. Sprague, editors, Knowledge Representation for Decision Support Systems, pages 255--267. North Holland, 1985.

A. Sernadas and C. Sernadas. Conceptual modeling for knowledge-based DSS development. In C. Holsapple and A. Winston, editors, Decision Support Systems: Theory and Application, pages 91--135. Springer, 1985.

A. Sernadas and C. Sernadas. The use of ER abstractions for knowledge representation. In P. Chen, editor, Entity-relationship Approach, pages 224--231. IEEE CS Press / North Holland, 1985.

C. Sernadas. Multivariate Branching Processes. PhD thesis, London School of Economics, University of London, 1980. Supervised by D. Bartholomew.

%%%

P. Baltazar, J. Ramos, and C. Sernadas. Probability and quantum institutions revisited. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2006. Presented at WADT'06, La Roche en Ardenne, Belgium, June 1-3, 2006.

A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for? CIM Bulletin, 15:9--14, December 2003.

M. E. Coniglio and C. Sernadas. A complete axiomatization of higher-order intuitionistic logic. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2002. Presented at X Encontro Nacional de Filosofia, ANPOF.

M. E. Coniglio, A. T. Martins, A. Sernadas, and C. Sernadas. Fibring (para)consistent logics. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Extended abstract. Presented at II World Congress on Paraconsistency - WCP'00.

H. Lourenço, A. Sernadas, and C. Sernadas. Aggregation and interconnection of hybrid automata: Categorial characterization. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1998. Presented at FIREworks Meeting, Magdeburg, May 15-16.

A. Sernadas and C. Sernadas. Theory spaces. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1995. Presented at 11th ADT Workshop.

A. Sernadas and C. Sernadas. Object certification. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1994. Presented at DAISD Workshop 94.

A. Sernadas and C. Sernadas. Denotational semantics of object specification within an arbitrary temporal logic institution. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1993. Presented at IS-CORE Workshop 93.

A. Sernadas, J. F. Costa, and C. Sernadas. Object specification with diagrams: Oblog approach. Research report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1992. In Portuguese. Awarded the Descartes Prize by the Data Processing Institute of the Ministry of Finances of Portugal.