| 2008 |
|---|
| 10 | EE | David A. Basin,
Carlos Caleiro,
Jaime Ramos,
Luca Viganò:
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.
TIME 2008: 101-109 |
| 2007 |
|---|
| 9 | EE | Carlos Caleiro,
Jaime Ramos:
Combining Classical and Intuitionistic Implications.
FroCos 2007: 118-132 |
| 2004 |
|---|
| 8 | EE | Carlos Caleiro,
Jaime Ramos:
Cryptomorphisms at Work.
WADT 2004: 45-60 |
| 7 | EE | Paula Gouveia,
Jaime Ramos:
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.
Ann. Math. Artif. Intell. 41(2-4): 301-338 (2004) |
| 2002 |
|---|
| 6 | EE | Carlos Caleiro,
Paula Gouveia,
Jaime Ramos:
Completeness Results for Fibred Parchments: Beyond the Propositional Base.
WADT 2002: 185-200 |
| 2001 |
|---|
| 5 | EE | Carlos Caleiro,
Paulo Mateus,
Jaime Ramos,
Amílcar Sernadas:
Combining Logics: Parchments Revisited.
WADT 2001: 48-70 |
| 1998 |
|---|
| 4 | EE | Stefan Conrad,
Jaime Ramos,
Gunter Saake,
Cristina Sernadas:
Evolving Logical Specification in Information Systems.
Logics for Databases and Information Systems 1998: 199-228 |
| 3 | EE | Jaime Ramos,
Amílcar Sernadas:
The Situation and State Calculus versus Branching Temporal Logic.
WADT 1998: 293-309 |
| 1997 |
|---|
| 2 | | Grit Denker,
Jaime Ramos,
Carlos Caleiro,
Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions.
AMAST 1997: 170-184 |
| 1996 |
|---|
| 1 | EE | Amílcar Sernadas,
Cristina Sernadas,
Jaime Ramos:
A Temporal Logic Approach to Object Certification.
Data Knowl. Eng. 19(3): 267-294 (1996) |
