Amílcar Sernadas, IST Distinguished Professor

Cited by

	All	Since 2019
Citations	3868	280
h-index	36	8
i10-index	90	7

200

100

150

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 14 18 43 20 83 185 182 136 195 183 101 122 136 114 92 68 126 96 100 151 87 187 90 103 107 94 80 82 92 86 72 53 49 60 47 53 33 39 48

Public access

View all

6 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsVerified email at tu-bs.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
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior TécnicoVerified email at math.tecnico.ulisboa.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerified email at ovgu.de
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerified email at cle.unicamp.br
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonVerified email at ist.utl.pt
Helder CoelhoFaculty of Sciences, University of LisbonVerified email at di.fc.ul.pt
Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of LisbonVerified email at iseg.ulisboa.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesVerified email at fc.ul.pt
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Carlos A. Bana e CostaCEGIST, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt

Amílcar Sernadas, IST Distinguished Professor

Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa

Verified email at tecnico.ulisboa.pt - Homepage

Mathematical Logic Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	202	1987
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
Temporal aspects of logical procedure definition A Sernadas Information systems 5 (3), 167-187, 1980	146	1980
A categorial theory of objects as observed processes HD Ehrich, JA Goguen, A Sernadas Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	120	1991
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
What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990	97	1990
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	81	2006
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	72	1998
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	70	2006
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
Algebraic implementation of objects over objects HD Ehrich, A Sernadas Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	65	1990
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
OBLOG\| Object-Oriented Logic: an informal introduction A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia Techn. Report, INESC, Lisbon, 1991	63	1991
Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Workshop on the Specification of Abstract Data Types, 219-235, 1994	61	1994
Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991	61	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
Objects and their Specification HD Ehrich, M Gogolla, A Sernadas Workshop on the Specification of Abstract Data Types, 40-65, 1991	57	1991

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