Amílcar Sernadas, IST Distinguished Professor

Cited by

	All	Since 2018
Citations	3832	284
h-index	35	8
i10-index	89	8

200

100

150

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 12 18 41 17 82 184 184 138 199 187 97 122 137 116 92 65 131 97 101 144 85 193 99 105 105 85 88 80 97 86 63 59 50 59 44 55 42 34

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
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
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

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	201	1987
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	152	1999
Temporal aspects of logical procedure definition A Sernadas Information systems 5 (3), 167-187, 1980	151	1980
Object specification logic A Sernadas, C Sernadas, JF Costa Journal of Logic and Computation 5 (5), 603-630, 1995	149	1995
A categorial theory of objects as observed processes HD Ehrich, JA Goguen, A Sernadas Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	123	1991
Fibring: completeness preservation A Zanardo, A Sernadas, C Sernadas The Journal of Symbolic Logic 66 (1), 414-439, 2001	110	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	104	1989
What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990	98	1990
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	80	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	69	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	69	1998
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001	65	2001
Algebraic implementation of objects over objects HD Ehrich, A Sernadas Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	65	1990
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	63	2006
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 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	62	2003
Objects and their Specification HD Ehrich, M Gogolla, A Sernadas Workshop on the Specification of Abstract Data Types, 40-65, 1991	62	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	60	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	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