Jaime Ramos

According to our database, Jaime Ramos authored at least 28 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Bounded model checking distributed temporal logic.

Augusto Peres, Jaime Ramos, Francisco Dionísio

J. Log. Comput., July, 2023

Conservative Translations Revisited.

Jaime Ramos, João Rasga, Cristina Sernadas

J. Philos. Log., June, 2023

Design of a Modular Exoskeleton Based on Distributed Central Pattern Generators.

Alberto Plaza-Flores, Mar Hernandez, Alba Gutierrez, Jaime Ramos, Gonzalo Puyuelo, Carlos Cumplido, Elena Garces, Marie André Destarac, Elena Delgado, Elena Garcia

IEEE Syst. J., March, 2023

2021

Event-Based Time-Stamped Claim Logic.

Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò

J. Log. Algebraic Methods Program., 2021

Adaptive Central Pattern Generator to Control a Modular Lower Limb Rehabilitation Exoskeleton.

Alberto Plaza-Flores, Mar Hernandez, Jaime Ramos, Gonzalo Puyuelo, Elena Garces, Elena Garcia

Proceedings of the 10th International IEEE/EMBS Conference on Neural Engineering, 2021

2020

Essential Structure of Proofs as a Measure of Complexity.

Jaime Ramos, João Rasga, Cristina Sernadas

Logica Universalis, 2020

2019

Büchi automata for distributed temporal logic.

Jaime Ramos

CoRR, 2019

2017

The robust minimal controllability problem.

Sérgio Daniel Pequito, Guilherme Ramos, Soummya Kar, A. Pedro Aguiar, Jaime Ramos

Autom., 2017

2016

Engaging K-12 teachers in engineering through a professional development program: Implementation strategies, results and lessons learned.

Mounir Ben Ghalia, Ralph Carlson, Veronica Estrada, Hasina Huq, Jaime Ramos

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

Automatic detection of small bowel tumors in endoscopic capsule images by ROI selection based on discarded lightness information.

Pedro M. Vieira, Jaime Ramos, Carlos S. Lima

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2013

A model checking framework for linear time invariant switching systems using structural systems analysis.

Guilherme Ramos, Sérgio Daniel Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

2012

Lessons learned from the Texas Synchrophasor Network.

Moses A. Kai, W. Mack Grady, David Costello, Daniel Brooks, Jaime Ramos

Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Segmentation of small bowel tumor tissue in capsule endoscopy images by using the MAP algorithm.

Pedro M. Vieira, Jaime Ramos, Daniel Barbosa, Dalila Roupar, Carlos Silva, Higino Correia, Carlos S. Lima

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

2011

Distributed temporal logic for the analysis of security protocol models.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Theor. Comput. Sci., 2011

Hierarchical logical consequence.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Log. J. IGPL, 2011

2009

Labelled Tableaux for Distributed Temporal Logic.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

J. Log. Comput., 2009

2008

A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.

David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Climatological Effects on the Breeding of Terns.

Graham Quartly, Sebastien Jaquemet, Matthieu Le Corre, David Monticelli, Jaime Ramos

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

2007

From Fibring to Cryptofibring. A Solution to the Collapsing Problem.

Carlos Caleiro, Jaime Ramos

Logica Universalis, 2007

Combining Classical and Intuitionistic Implications.

Carlos Caleiro, Jaime Ramos

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2004

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.

Paula Gouveia, Jaime Ramos

Ann. Math. Artif. Intell., 2004

Cryptomorphisms at Work.

Carlos Caleiro, Jaime Ramos

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2002

Completeness Results for Fibred Parchments: Beyond the Propositional Base.

Carlos Caleiro, Paula Gouveia, Jaime Ramos

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Combining Logics: Parchments Revisited.

Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

1998

The Situation and State Calculus versus Branching Temporal Logic.

Jaime Ramos, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Evolving Logical Specification in Information Systems.

Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

A Linear Temporal Logic Approach to Objects with Transactions.

Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Temporal Logic Approach to Object Certification.

Amílcar Sernadas, Cristina Sernadas, Jaime Ramos

Data Knowl. Eng., 1996