Cristina Sernadas

Citado por

	Todos	Desde 2017
Citações	2988	210
Índice h	32	7
Índice i10	71	3

180

135

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202213 9 63 114 108 112 147 164 67 96 106 78 75 62 106 96 97 106 43 169 102 77 105 85 76 71 91 83 65 50 28 39 38 36 18

Acesso público

Ver todos

9 artigos

4 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mail confirmado em tecnico.ulisboa.pt
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaE-mail confirmado em tecnico.ulisboa.pt
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofE-mail confirmado em cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasE-mail confirmado em unicamp.br
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityE-mail confirmado em ovgu.de
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mail confirmado em math.ist.utl.pt
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaE-mail confirmado em math.ist.utl.pt
José Luiz FiadeiroDean of Science and Engineering, University of DundeeE-mail confirmado em dundee.ac.uk
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgE-mail confirmado em ext.uni.lu
Hans-Dieter EhrichProfesoor emeritus of information systemsE-mail confirmado em tu-bs.de
José Félix CostaProfessor Associado de Matemática, Instituto Superior TécnicoE-mail confirmado em math.tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mail confirmado em kcl.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgE-mail confirmado em ovgu.de
Helder CoelhoFaculty of Sciences, University of LisbonE-mail confirmado em di.fc.ul.pt
Luís Cruz-FilipeUniversity of Southern DenmarkE-mail confirmado em imada.sdu.dk
Rohit ChadhaUniversity of MissouriE-mail confirmado em missouri.edu
Stefan ConradProfessor für Informatik, Universität DüsseldorfE-mail confirmado em acm.org
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)E-mail confirmado em unamur.be
Wafik LotfallahProfessor, Department of Mathematics and Actuarial Science, American University in CairoE-mail confirmado em aucegypt.edu
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonE-mail confirmado em ist.utl.pt

Seguir

Cristina Sernadas

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

E-mail confirmado em tecnico.ulisboa.pt - Página inicial

Mathematical Logic and Applications


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	170	1996
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	147	1999
Object specification logic A Sernadas, C Sernadas, JF Costa Journal of Logic and Computation 5 (5), 603-630, 1995	145	1995
Object-oriented specification of information systems: The TROLL language R Jungclaus, G Saake, T Hartmann, C Sernadas Techn. Univ. Braunschweig, 1991	142	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	116	2008
Fibring: completeness preservation A Zanardo, A Sernadas, C Sernadas The Journal of Symbolic Logic 66 (1), 414-439, 2001	106	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
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990	77	1990
Modulated fibring and the collapsing problem C Sernadas, J Rasga, WA Carnielli The Journal of Symbolic Logic 67 (4), 1541-1569, 2002	73	2002
Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification, 324-350, 1989	68	1989
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32 (1), 393-431, 2001	63	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 (2), 183-211, 2003	62	2003
Formal specification of object systems R Jungclaus, G Saake, C Sernadas International Joint Conference on Theory and Practice of Software …, 1991	62	1991
OBLOG\| Object-Oriented Logic: an informal introduction A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia Techn. Report, INESC, Lisbon, 1991	61	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
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	52	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	47	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, 1989	44	1989
OBL-89 Users Manual (Version 2.3) JF Costa, A Sernadas, C Sernadas Instituto Superior T ecnico, Lisbon, 1989	43	1989

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores