Jaime Ramos

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 10

Top Topics

Professional Development

Top Venues

J. Log. Algebraic Methods Program.

Logica Universalis

Publications

Augusto Peres, Jaime Ramos, Francisco Dionísio
Bounded model checking distributed temporal logic. J. Log. Comput. 33 (5) (2023)
Jaime Ramos, João Rasga, Cristina Sernadas
Conservative Translations Revisited. J. Philos. Log. 52 (3) (2023)
Alberto Plaza, 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) (2023)
Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121 (2021)
Alberto Plaza, Mar Hernandez, Jaime Ramos, Gonzalo Puyuelo, Elena Garces, Elena Garcia
Adaptive Central Pattern Generator to Control a Modular Lower Limb Rehabilitation Exoskeleton. NER (2021)
Jaime Ramos, João Rasga, Cristina Sernadas
Essential Structure of Proofs as a Measure of Complexity. Logica Universalis 14 (2) (2020)
Jaime Ramos
Büchi automata for distributed temporal logic. CoRR (2019)
Sérgio Daniel Pequito, Guilherme Ramos, Soummya Kar, A. Pedro Aguiar, Jaime Ramos
The robust minimal controllability problem. Autom. 82 (2017)
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)
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)
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)
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)
Moses A. Kai, W. Mack Grady, David Costello, Daniel Brooks, Jaime Ramos
Lessons learned from the Texas Synchrophasor Network. ISGT Europe (2012)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Hierarchical logical consequence. Log. J. IGPL 19 (4) (2011)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412 (31) (2011)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. 19 (6) (2009)
Graham Quartly, Sebastien Jaquemet, Matthieu Le Corre, David Monticelli, Jaime Ramos
Climatological Effects on the Breeding of Terns. IGARSS (4) (2008)
David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME (2008)
Carlos Caleiro, Jaime Ramos
Combining Classical and Intuitionistic Implications. FroCoS (2007)
Carlos Caleiro, Jaime Ramos
From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1) (2007)
Carlos Caleiro, Jaime Ramos
Cryptomorphisms at Work. WADT (2004)
Paula Gouveia, Jaime Ramos
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Carlos Caleiro, Paula Gouveia, Jaime Ramos
Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT (2002)
Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
Combining Logics: Parchments Revisited. WADT (2001)
Jaime Ramos, Amílcar Sernadas
The Situation and State Calculus versus Branching Temporal Logic. WADT (1998)
Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems (1998)
Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
A Linear Temporal Logic Approach to Objects with Transactions. AMAST (1997)
Amílcar Sernadas, Cristina Sernadas, Jaime Ramos
A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19 (3) (1996)