Preprints available from the ULC 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, 2016. 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, 2015. Submitted for publication.
J. Rasga, C. Sernadas, P. Mateus, and A. Sernadas. Decision and optimization problems in the unreliable-circuit logic. Accepted for publication in the Logical Journal of the IGPL.
P. Mateus, A. Sernadas, and A. Souto. Universality of quantum Turing machines with deterministic control. Journal of Logic and Computation, 27(1):1--19. 2017.
J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when combining logics. Review of Symbolic Logic, 9(4):641--663. 2016.
A. Barbosa Henriques and A. Sernadas. Epistemic nature of quantum reasoning. arXiv:1504.06460, 2015.
D. Qiu, L. Li, P. Mateus, and A. Sernadas. Exponentially more concise quantum recognition of non-RMM regular languages. Journal of Computer and System Sciences, 81(2):359--375, 2015.
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.
A. Sernadas. Extending classical logic for reasoning about quantum systems (extended abstract). The Bulletin of Symbolic Logic, 20(2):211--213, 2014.
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.
C. Caleiro and A. Sernadas. Fibring logics. In J.-Y. Béziau, editor, Universal Logic: An Anthology (From Paul Hertz to Dov Gabbay), pages 389--396. Birkhauser, 2012.
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.
C. A. Bana e Costa, P. A. F. Martins, M. D. Oliveira, A. Sernadas, and C. A. Mota Soares. Faculty evaluation using multicriteria value measurement. In L. Rogozea, editor, 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, pages 287--290. WSEAS Press, 2010. Preliminary version appeared at APDIO Boletim.
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.
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.
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.
P. Baltazar, R. Chadha, P. Mateus, and A. Sernadas. Towards model-checking quantum security protocols. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0014. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.
R. Chadha, L. Cruz-Filipe, P. Mateus, and A. Sernadas. Reasoning about probabilistic sequential programs. Theoretical Computer Science, 379(1-2):142--165, 2007.
A. Sernadas, P. Mateus, and Y. Omar. Quantum computation and information. In M. S. Pereira, editor, A Portrait of State-of-the-Art Research at the Technical University of Lisbon, pages 46--65. Springer, 2007.
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.
R. Chadha, P. Mateus, and A. Sernadas. Reasoning about quantum imperative programs. Electronic Notes in Theoretical Computer Science, 158:19--40, 2006. Invited talk at the Twenty-second Conference on the Mathematical Foundations of Programming Semantics, May 24-27, 2006, Genova.
R. Chadha, P. Mateus, and A. Sernadas. Reasoning about states of probabilistic sequential programs. In Z. Ésik, editor, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240--255. Springer, 2006.
P. Mateus and A. Sernadas. Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation, 204(5):771--794, 2006. ArXiv math.LO/0503453.
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, 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.
P. Mateus and A. Sernadas. Exogenous quantum logic. 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 141--149, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.
P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251. Springer, 2004.
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. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48--70. Springer, 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.
H. Lourenço and A. Sernadas. An institution of hybrid systems. In Didier Bert and Christine Choppy, editors, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 219--236. Springer, 2000.
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. Book Review -- Fibring Logics by Dov M. Gabbay. Journal of Logic, Language, and Information, 9(4):511--513, 2000.
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.
J. Ramos and A. Sernadas. The situation and state calculus versus branching temporal logic. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 293--309. Springer, 1999.
A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 9(2):149--179, 1999.
H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Systems, pages 167--198. Kluwer Academic Publishers, 1998.
P. B. Menezes, A. Sernadas, and J. F. Costa. Nonsequential automata semantics for a concurrent object-based language. Electronic Notes in Theoretical Computer Science, 14, 1998.
A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object specification. Acta Informatica, 35:729--773, 1998.
G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A linear temporal logic approach to objects with transactions. In M. Johnson, editor, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170--184. Springer, 1997.
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.
L. Andrade and A. Sernadas. Banking and management information system automation. In J. Gertler, J. Cruz, and M. Peshkin, editors, Proc. 13th World Congress of International Federation of Automatic Control, pages 133--138. IFAC, 1996.
C. Caleiro, G. Saake, and A. Sernadas. Deriving liveness goals from temporal logic specifications. Journal of Symbolic Computation, 22:521--553, 1996.
P. B. Menezes, J. F. Costa, and A. Sernadas. Refinement mapping for (discrete event) system theory. In F. Pichler, R. Moreno Diaz, and R. Albrecht, editors, Computer Aided System Technology, EUROCAST'95, volume 1030 of Lecture Notes in Computer Science, pages 103--116. Springer, 1996.
A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object certification. Data and Knowledge Engineering, 19:267--294, 1996.
J. F. Costa and A. Sernadas. Progress assumption in concurrent systems. Formal Aspects of Computing, 7(1):18--36, 1995.
H.-D. Ehrich and A. Sernadas. Local specification of distributed families of sequential objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 219--235. Springer, 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.
K. Böhm and A. Sernadas. A logic to specify real-time object behaviour. In A. Verbraeck, H. Sol, and P. Bots, editors, Proceedings of the Fourth International Working Conference on Dynamic Modelling and Information Systems, pages 53--69. Delft University Press, 1994.
J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5--26, 1994.
H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-oriented design of information systems: Theoretical foundations. In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201--218. Springer, 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.
K. Böhm and A. Sernadas. Real-time object specification logic. In A. Olivé, editor, The Deductive Approach to Information Systems and Databases 93, pages 159--174. Universitat Politècnica de Catalunya, 1993.
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.
H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing systems as object communities. In M.C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT 93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 453--467. Springer, 1993.
H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In M. Bidoit and C. Choppy, editors, 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. Springer, 1993.
J. Fiadeiro, J. F. Costa, A. Sernadas, and T. Maibaum. Process semantics of temporal logic specification. In M. Bidoit and C. Choppy, editors, 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. Springer, 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.
H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of object orientation. In R. Studer, editor, Informationssysteme und Künstliche Intelligenz, pages 1--17. Springer, 1992.
J. Fiadeiro and A. Sernadas. Structuring theories for knowledge representation. In J. Falcão e Cunha, editor, Terceira Escola Avançada em Inteligência Artificial, pages 21--25. APPIA, 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.
G. Reichwein, A. Sernadas, and J. Fiadeiro. Ensuring and maintaining quality through formal object-oriented design. In A. Bertolino and M. Fusani, editors, Software Quality Principles and Techniques, pages 55--67. ERCIM, 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. Carmo and A. Sernadas. Formal techniques for systems specification and verification. Information Systems, 16(3):245--272, 1991.
H.-D. Ehrich, J. Goguen, and A. Sernadas. A categorial theory of objects as observed processes. In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science, pages 203--228. Springer, 1991.
R. Li and A. Sernadas. Reasoning about objects using tableau method. Journal of Logic and Computation, 1(5):575--611, 1991.
G. Lohman, A. Sernadas, and R. Camps, editors. Proceedings of the Seventeenth International Conference on Very Large Data Bases. VLDB, 1991.
G. Saake and A. Sernadas, editors. Esprit BRA IS-CORE 91 Workshop - Selected Papers. TUBS, 1991.
A. Sernadas and H.-D. Ehrich. What is an object, after all? In R. Meersman, W. Kent, and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 39--69. North-Holland, 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.
J. Carmo and A. Sernadas. Branching versus linear logics yet again. Formal Aspects of Computing, 2(1):24--59, 1990.
H.-D. Ehrich and A. Sernadas. Algebraic implementation of objects over objects. In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 239--266. Springer, 1990.
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.
J. Fiadeiro and A. Sernadas. Logics of modal terms for systems specification. Journal of Logic and Computation, 1(2):187--227, 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.
J. Sousa, C. Sernadas, and A. Sernadas. An object-oriented specification tool for graphical interfaces. Computers and Graphics, 14(1):29--40, 1990.
J. Carmo and A. Sernadas. Inevitability in branching time. In A. Meyer and M. Taitshin, editors, Logic at Botik 89, volume 363 of Lecture Notes in Computer Science, pages 41--62. Springer, 1989.
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.
R. Carapuça, L. Andrade, and A. Sernadas. A database design and construction workbench. In T. Olle, A. Verrijn-Stuart, and L. Bhabuta, editors, Computerized Assistance During the Information Systems Life Cycle, pages 261--286. North-Holland, 1988.
J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 31--46. North-Holland, 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 and A. Sernadas. Behavioural aspects of intelligent knowledge-based information systems. In C. Rolland, F. Bodart, and M. Leonard, editors, Temporal Aspects in Information Systems, pages 77--92. North-Holland, 1988.
J. Fiadeiro and A. Sernadas. Specification and verification of database dynamics. Acta Informatica, 25:625--661, 1988.
J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, 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. 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.
R. Meersman and A. Sernadas, editors. Data and Knowledge. North-Holland, 1988.
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.
J. Fiadeiro and A. Sernadas. The infolog linear tense logic of events and transactions. Information Systems, 11(1):61--85, 1986.
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.
H. Coelho, A. Rodrigues, and A. Sernadas. Towards knowledge-based infolog specifications. Decision Support Systems, 1(2):143--165, 1985.
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.
A. Sernadas, J. Bubenko, and A. Olivè, editors. Theoretical and Formal Aspects of Information Systems. North-Holland, 1985.
A. Sernadas. Information systems specification with Infolog. In J. Hawgood, editor, Evolutionary Information Systems, pages 141--157. North Holland, 1982.
A. Sernadas, G. Gaspar, and J. Granado. Bips: a layered predicative query language for a DBTG database system. In P. Scheuermann, editor, Improving Database Usability and Responsiveness, pages 73--93. Academic Press, 1982.
A. Sernadas. Systematics: Its syntax and semantics as a query language I. Computer Journal, 24(1):56--61, 1981.
A. Sernadas. Systematics: Its syntax and semantics as a query language II. Computer Journal, 24(2):125--129, 1981.
R. Tagg and et al, editors. Query Language: A Unified Approach. Heyden and Son Ltd, 1981. A. Sernadas is one of the coeditors.
A. Sernadas. Logical Procedure Definition for Information Systems Specification. PhD thesis, London School of Economics, University of London, 1980. Supervised by S. Waters.
A. Sernadas. Temporal aspects of logical procedure definition. Information Systems, 5(3):167--197, 1980.
%%%
A. Sernadas, J. Ramos, and P. Mateus. Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources. Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal, 2008. Short paper presented at LPAR 2008, Doha, Qatar. November 22-27.
P. Mateus and A. Sernadas. Complete exogenous quantum propositional logic. Technical report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2005. Extended abstract. Short presentation at LICS 2005, Chicago, USA, June 26-29.
A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for? CIM Bulletin, 15:9--14, December 2003.
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.
P. B. Menezes, A. Sernadas, and J. F. Costa. Refinement in a concurrent object-base language. In R. Bigonha, editor, Proceedings of the First Brazilian Symposium on Programming Languages, pages 237--250. Sociedade Brazileira de Computação, 1996.
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.
J. F. Costa and A. Sernadas. A categorial framework of process interconnection. The INESC Journal of Research and Development, 4(1):81--93, 1993.
J. F. Costa and A. Sernadas. Cálculo de actividades e transacções (Calculus of activities and transactions). Estudos de Economia, 13(3):293--317, 1993. Menção Honrosa do Prémio Científico IBM 1992.
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.
A. Hespanha and A. Sernadas. O impacto da computação no direito. Revista Jurídica, AAFDL, 13/14:179--190, 1990.
A. Sernadas, H.-D. Ehrich, and J. F. Costa. From processes to objects. The INESC Journal of Research and Development, 1(1):7--27, 1990.
J. Carmo and A. Sernadas. A completeness result in a mixed branching-linear logic. Technical report, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1989. Presented at the Logic Colloquium in Memory of Hugo Ribeiro.
A. Sernadas. Introdução aos computadores e programação (Introduction to computers and programming). Revista Portuguesa de Informática, 3(2):35--43, 1982.