| Troll: A language for object-oriented specification of information systems R Jungclaus, G Saake, T Hartmann, C Sernadas ACM Transactions on Information Systems (TOIS) 14 (2), 175-211, 1996 | 171 | 1996 |
| Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999 | 158 | 1999 |
| Object specification logic A Sernadas, C Sernadas, JF Costa Journal of Logic and Computation 5 (5), 603-630, 1995 | 154 | 1995 |
| Object-oriented specification of information systems: The TROLL language R Jungclaus, G Saake, T Hartmann, C Sernadas Techn. Univ. Braunschweig, 1991 | 146 | 1991 |
| Analysis and synthesis of logics: how to cut and paste reasoning systems WA Carnielli, ME Coniglio, DM Gabbay, P Gouveia, C Sernadas Springer, 2008 | 138 | 2008 |
| Fibring: completeness preservation A Zanardo, A Sernadas, C Sernadas The Journal of Symbolic Logic 66 (1), 414-439, 2001 | 111 | 2001 |
| The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989 | 103 | 1989 |
| Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli The Journal of Symbolic Logic 67 (4), 1541-1569, 2002 | 83 | 2002 |
| Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990 | 76 | 1990 |
| Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005 | 71 | 2005 |
| Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12 (2), 183-211, 2003 | 66 | 2003 |
| Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32 (1), 393-431, 2001 | 66 | 2001 |
| Formal specification of object systems R Jungclaus, G Saake, C Sernadas International Joint Conference on Theory and Practice of Software …, 1991 | 63 | 1991 |
| OBLOG| Object-Oriented Logic: an informal introduction A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia Techn. Report, INESC, Lisbon, 1991 | 63 | 1991 |
| Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005 | 59 | 2005 |
| In-the-large object-oriented design of information systems C Sernadas, P Resende, P Gouveia, A Sernadas The Object-Oriented Approach in Information Systems, 209-232, 1991 | 58 | 1991 |
| >From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990 | 54 | 1990 |
| Objects, object types, and object identification HD Ehrich, A Sernadas, C Sernadas Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005 | 44 | 2005 |
| Exogenous semantics approach to enriching logics P Mateus, A Sernadas, C Sernadas Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005 | 44 | 2005 |
| Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997 | 44 | 1997 |
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
