Search the dblp DataBase
Jaime Ramos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] Carlos Caleiro , Paulo Mateus , Jaime Ramos , Amílcar Sernadas Combining Logics: Parchments Revisited. [Citation Graph (0, 0)][DBLP ] WADT, 2001, pp:48-70 [Conf ] Carlos Caleiro , Jaime Ramos Cryptomorphisms at Work. [Citation Graph (0, 0)][DBLP ] WADT, 2004, pp:45-60 [Conf ] 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 ] 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 ] 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 ] Carlos Caleiro , Jaime Ramos Combining Classical and Intuitionistic Implications. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:118-132 [Conf ] A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs