ติดตาม
Cristina Sernadas
Cristina Sernadas
Professor of Logic and Computation, Instituto Superior Técnico, Portugal
ยืนยันอีเมลแล้วที่ tecnico.ulisboa.pt - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
1721996
Fibring of logics as a categorial construction
A Sernadas, C Sernadas, C Caleiro
Journal of logic and computation 9 (2), 149-179, 1999
1571999
Object specification logic
A Sernadas, C Sernadas, JF Costa
Journal of Logic and Computation 5 (5), 603-630, 1995
1481995
Object-oriented specification of information systems: The TROLL language
R Jungclaus, G Saake, T Hartmann, C Sernadas
Techn. Univ. Braunschweig, 1991
1471991
Analysis and synthesis of logics: how to cut and paste reasoning systems
WA Carnielli, ME Coniglio, DM Gabbay, P Gouveia, C Sernadas
Springer, 2008
1342008
Fibring: completeness preservation
A Zanardo, A Sernadas, C Sernadas
The Journal of Symbolic Logic 66 (1), 414-439, 2001
1132001
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
1011989
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
The Journal of Symbolic Logic 67 (4), 1541-1569, 2002
812002
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake
DS-4, 243-284, 1990
721990
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
682005
Probabilistic situation calculus
P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas
Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001
662001
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
642003
Formal specification of object systems
R Jungclaus, G Saake, C Sernadas
International Joint Conference on Theory and Practice of Software …, 1991
641991
OBLOG| Object-Oriented Logic: an informal introduction
A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia
Techn. Report, INESC, Lisbon, 1991
631991
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
611991
Fibring of logics as a universal construction
C Caleiro, J Rasga, C Sernadas, W Carnielli
Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005
512005
>From Data Types to Object Types
HD Ehrich, A Sernadas, C Sernadas
Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990
511990
Exogenous semantics approach to enriching logics
P Mateus, A Sernadas, C Sernadas
Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005
452005
Towards object-oriented conceptual modeling
C Sernadas, J Fiadeiro
Data & Knowledge Engineering 6 (6), 479-508, 1991
441991
Objects, object types, and object identification
HD Ehrich, A Sernadas, C Sernadas
Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005
432005
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20