dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jaime Ramos (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas: Combining Logics: Parchments Revisited. WADT 2001: 48-70
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaime Ramos, Amílcar Sernadas: The Situation and State Calculus versus Branching Temporal Logic. WADT 1998: 293-309
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas: A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmílcar Sernadas, Cristina Sernadas, Jaime Ramos: A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19(3): 267-294 (1996)

Selection of 4 from 14 records - Jaime Ramos has 14 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page