The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jaime Ramos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002