default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJaime Ramos
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j12]Jaime Ramos
, João Rasga, Cristina Sernadas:
Conservative Translations Revisited. J. Philos. Log. 52(3): 889-913 (2023)- [j11]Augusto Peres, Jaime Ramos, Francisco Dionísio:
Bounded model checking distributed temporal logic. J. Log. Comput. 33(5): 1022-1059 (2023) - [j10]Alberto Plaza-Flores, Mar Hernandez, Alba Gutierrez, Jaime Ramos, Gonzalo Puyuelo, Carlos Cumplido, Elena Garces, Marie André Destarac, Elena Delgado, Elena Garcia:
Design of a Modular Exoskeleton Based on Distributed Central Pattern Generators. IEEE Syst. J. 17(1): 816-827 (2023) - 2021
- [j9]Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò:
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121: 100684 (2021) - [c15]Alberto Plaza-Flores, Mar Hernandez, Jaime Ramos, Gonzalo Puyuelo, Elena Garces, Elena Garcia:
Adaptive Central Pattern Generator to Control a Modular Lower Limb Rehabilitation Exoskeleton. NER 2021: 377-380 - 2020
- [j8]Jaime Ramos, João Rasga, Cristina Sernadas:
Essential Structure of Proofs as a Measure of Complexity. Logica Universalis 14(2): 209-242 (2020)
2010 – 2019
- 2019
- [i1]Jaime Ramos:
Büchi automata for distributed temporal logic. CoRR abs/1909.01741 (2019) - 2017
- [j7]Sérgio Daniel Pequito, Guilherme Ramos, Soummya Kar, A. Pedro Aguiar, Jaime Ramos:
The robust minimal controllability problem. Autom. 82: 261-268 (2017) - 2016
- [c14]Mounir Ben Ghalia, Ralph Carlson, Veronica Estrada, Hasina Huq, Jaime Ramos:
Engaging K-12 teachers in engineering through a professional development program: Implementation strategies, results and lessons learned. FIE 2016: 1-7 - 2015
- [c13]Pedro M. Vieira, Jaime Ramos, Carlos S. Lima:
Automatic detection of small bowel tumors in endoscopic capsule images by ROI selection based on discarded lightness information. EMBC 2015: 3025-3028 - 2013
- [c12]Guilherme Ramos, Sérgio Daniel Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar:
A model checking framework for linear time invariant switching systems using structural systems analysis. Allerton 2013: 973-980 - 2012
- [c11]Pedro M. Vieira, Jaime Ramos, Daniel Barbosa, Dalila Roupar, Carlos Silva, Higino Correia, Carlos S. Lima:
Segmentation of small bowel tumor tissue in capsule endoscopy images by using the MAP algorithm. EMBC 2012: 4010-4013 - [c10]Moses A. Kai, W. Mack Grady, David Costello, Daniel Brooks, Jaime Ramos:
Lessons learned from the Texas Synchrophasor Network. ISGT Europe 2012: 1-6 - 2011
- [j6]Carlos Caleiro, Paula Gouveia, Jaime Ramos:
Hierarchical logical consequence. Log. J. IGPL 19(4): 544-565 (2011) - [j5]David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412(31): 4007-4043 (2011)
2000 – 2009
- 2009
- [j4]David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19(6): 1245-1279 (2009) - 2008
- [c9]Graham Quartly, Sebastien Jaquemet, Matthieu Le Corre, David Monticelli, Jaime Ramos:
Climatological Effects on the Breeding of Terns. IGARSS (4) 2008: 918-921 - [c8]David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109 - 2007
- [j3]Carlos Caleiro, Jaime Ramos:
From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1(1): 71-92 (2007) - [c7]Carlos Caleiro, Jaime Ramos:
Combining Classical and Intuitionistic Implications. FroCoS 2007: 118-132 - 2004
- [j2]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) - [c6]Carlos Caleiro, Jaime Ramos:
Cryptomorphisms at Work. WADT 2004: 45-60 - 2002
- [c5]Carlos Caleiro, Paula Gouveia, Jaime Ramos:
Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT 2002: 185-200 - 2001
- [c4]Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas:
Combining Logics: Parchments Revisited. WADT 2001: 48-70
1990 – 1999
- 1998
- [c3]Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas:
Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems 1998: 199-228 - [c2]Jaime Ramos, Amílcar Sernadas:
The Situation and State Calculus versus Branching Temporal Logic. WADT 1998: 293-309 - 1997
- [c1]Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions. AMAST 1997: 170-184 - 1996
- [j1]Amílcar Sernadas, Cristina Sernadas, Jaime Ramos:
A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19(3): 267-294 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
