MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Cristina Sernadas" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

39 documents found, showing 1 through 10. Next 10 →

ATOM

Denotational Semantics of Object Specification - Within an Arbitrary Temporal Logic Institution
by Amílcar Sernadas, Cristina Sernadas — 1993 — In this volume
… Amlcar Sernadas Cristina Sernadas Department of Mathematics, IST, Av. Rovisco Pais, 1096 Lisboa Codex…
Cited by 11 (5 self) – Add To MetaCart

Object Certification
by Amílcar Sernadas, Cristina Sernadas — 1994 — Fifth International Workshop on the Deductive Approach to Information Systems, pages 55--78. UP Catalunha
…Object Certification Am'ilcar Sernadas y Cristina Sernadas z July 20, 1994 Abstract A brief…
Cited by 3 (1 self) – Add To MetaCart

Introducing Explanations in Temporal Object Specification
by Paula Gouveia, Cristina Sernadas — 1995 — Proceedings of the IS-CORE International Workshop 94, World Scientific Publishers
…INTRODUCING EXPLANATIONS IN TEMPORAL OBJECT SPECIFICATION PAULA GOUVEIA and CRISTINA SERNADAS Dep…
Cited by 2 (1 self) – Add To MetaCart

Object Specification Logic
by Amílcar Sernadas, Cristina Sernadas — 1995 — Journal of Logic and Computation
…Object Specification Logic Am'ilcar Sernadas, Cristina Sernadas IST, Department of Mathematics…
Cited by 61 (12 self) – Add To MetaCart

Synchronization of Logics
by Amílcar Sernadas, Cristina Sernadas, Cristina Caleiro — 1996 — Studia Logica
…Synchronization of logics x Am'ilcar Sernadas, Cristina Sernadas and Carlos Caleiro Departamento…
Cited by 8 (5 self) – Add To MetaCart

Synchronization of Logics with Mixed Rules: Completeness Preservation
by Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro — 1997 — In Algebraic Methodology and Software Technology - AMAST'97
…Synchronization of Logics with Mixed Rules: Completeness Preservation Am'ilcar Sernadas, Cristina…
Cited by 9 (5 self) – Add To MetaCart

Categorial Fibring of Logics with Terms and Binding Operators
by Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski — 1998 — Frontiers of Combining Systems 2, Studies in Logic and Computation
…Categorial Fibring of Logics with Terms and Binding Operators Am'ilcar Sernadas, Cristina Sernadas…
Cited by 14 (10 self) – Add To MetaCart

Evolving Logical Specification In Information Systems
by Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas — 1998
…, and Cristina Sernadas Abstract: Traditional logic-based specification approaches fix the structure…
Cited by 4 (3 self) – Add To MetaCart

Labelled Deduction Over Algebras of Truth-Values
by João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò — 2002
…Labelled deduction over algebras of truth-values Jo~ao Rasga 1 , Amlcar Sernadas 1 , Cristina…
Cited by 2 (2 self) – Add To MetaCart

Formal Specification of Object Systems
by Ralf Jungclaus, Gunter Saake, Cristina Sernadas — 1991 — Proc. TAPSOFT'91
…. Universitat Braunschweig P.O. Box 3329, 3300 Braunschweig, FRG E-mail: fjungclau/saakeg@(email omitted); Cristina…
Cited by 15 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB