关注
Amílcar Sernadas, IST Distinguished Professor
Amílcar Sernadas, IST Distinguished Professor
Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa
在 tecnico.ulisboa.pt 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Structuring theories on consequence
J Fiadeiro, A Sernadas
Workshop on the Specification of Abstract Data Types, 44-72, 1987
2021987
Fibring of logics as a categorial construction
A Sernadas, C Sernadas, C Caleiro
Journal of logic and computation 9 (2), 149-179, 1999
1541999
Object specification logic
A Sernadas, C Sernadas, JF Costa
Journal of Logic and Computation 5 (5), 603-630, 1995
1481995
Temporal aspects of logical procedure definition
A Sernadas
Information systems 5 (3), 167-187, 1980
1461980
A categorial theory of objects as observed processes
HD Ehrich, JA Goguen, A Sernadas
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
1201991
Fibring: completeness preservation
A Zanardo, A Sernadas, C Sernadas
The Journal of Symbolic Logic 66 (1), 414-439, 2001
1122001
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
What is an object, after all?
A Sernadas, HD Ehrich
DS-4, 39-69, 1990
971990
Weakly complete axiomatization of exogenous quantum propositional logic
P Mateus, A Sernadas
Information and Computation 204 (5), 771-794, 2006
812006
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 1998
711998
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
702006
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
672005
Probabilistic situation calculus
P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas
Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001
662001
Algebraic implementation of objects over objects
HD Ehrich, A Sernadas
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990
651990
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
OBLOG| Object-Oriented Logic: an informal introduction
A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia
Techn. Report, INESC, Lisbon, 1991
631991
Local specification of distributed families of sequential objects
HD Ehrich, A Sernadas
Workshop on the Specification of Abstract Data Types, 219-235, 1994
611994
Fundamental object concepts and constructions
HD Ehrich, A Sernadas
Information Systems {Correctness and Reusability, TU Braunschweig …, 1991
611991
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
591991
Objects and their Specification
HD Ehrich, M Gogolla, A Sernadas
Workshop on the Specification of Abstract Data Types, 40-65, 1991
571991
系统目前无法执行此操作,请稍后再试。
文章 1–20