Search the dblp DataBase

Publications of Author

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