Cristina Sernadas

Cited by

	All	Since 2019
Citations	3139	238
h-index	32	7
i10-index	72	5

180

135

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 17 3 56 122 113 117 150 162 69 89 106 87 80 56 115 95 95 120 47 170 100 76 105 95 73 72 86 84 63 52 28 42 48 30 39 33 46

Public access

View all

7 articles

available

not available

Based on funding mandates

Co-authors

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
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.de
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Helder CoelhoFaculty of Sciences, University of LisbonVerified email at di.fc.ul.pt
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Stefan ConradProfessor für Informatik, Universität DüsseldorfVerified email at acm.org
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoVerified email at aucegypt.edu
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt

Cristina Sernadas

Professor of Logic and Computation, Instituto Superior Técnico, Portugal

Verified email at tecnico.ulisboa.pt - Homepage

Mathematical Logic and Applications


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	172	1996
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	154	1999
Object specification logic A Sernadas, C Sernadas, JF Costa Journal of Logic and Computation 5 (5), 603-630, 1995	148	1995
Object-oriented specification of information systems: The TROLL language R Jungclaus, G Saake, T Hartmann, C Sernadas Techn. Univ. Braunschweig, 1991	145	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	131	2008
Fibring: completeness preservation A Zanardo, A Sernadas, C Sernadas The Journal of Symbolic Logic 66 (1), 414-439, 2001	112	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	101	1989
Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli The Journal of Symbolic Logic 67 (4), 1541-1569, 2002	80	2002
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990	71	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	67	2005
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001	66	2001
Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12, 183-211, 2003	64	2003
Formal specification of object systems R Jungclaus, G Saake, C Sernadas International Joint Conference on Theory and Practice of Software …, 1991	64	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
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	59	1991
>From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990	56	1990
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005	51	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	45	2005
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
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59, 217-247, 1997	43	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors