Jaime Ramos - RankMe

30 papers C 2Journal 15Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Labelled proof systems for existential reasoning. Log. J. IGPL Jaime Ramos, João Rasga, Cristina Sernadas
2025	J	`jnl`	Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics. Stud Logica Jaime Ramos, João Rasga, Cristina Sernadas
2023	J	`jnl`	Bounded model checking distributed temporal logic. J. Log. Comput. Augusto Peres, Jaime Ramos, Francisco Dionísio
2023	J	`jnl`	Conservative Translations Revisited. J. Philos. Log. Jaime Ramos, João Rasga, Cristina Sernadas
2023	J	`jnl`	Design of a Modular Exoskeleton Based on Distributed Central Pattern Generators. IEEE Syst. J. Alberto Plaza-Flores, Mar Hernández, Alba Gutierrez, Jaime Ramos, Gonzalo Puyuelo, Carlos Cumplido, Elena Garces, Marie André Destarac, Elena Delgado, Elena Garcia
2021	—	`conf`	Adaptive Central Pattern Generator to Control a Modular Lower Limb Rehabilitation Exoskeleton. NER Alberto Plaza-Flores, Mar Hernández, Jaime Ramos, Gonzalo Puyuelo, Elena Garces, Elena Garcia
2021	J	`jnl`	Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
2020	J	`jnl`	Essential Structure of Proofs as a Measure of Complexity. Logica Universalis Jaime Ramos, João Rasga, Cristina Sernadas
2019	J	`jnl`	Büchi automata for distributed temporal logic. CoRR Jaime Ramos
2017	J	`jnl`	The robust minimal controllability problem. Autom. Sérgio Daniel Pequito, Guilherme Ramos, Soummya Kar, A. Pedro Aguiar, Jaime Ramos
2016	C	`conf`	Engaging K-12 teachers in engineering through a professional development program: Implementation strategies, results and lessons learned. FIE Mounir Ben Ghalia, Ralph Carlson, Veronica Estrada, Hasina Huq, Jaime Ramos
2015	—	`conf`	Automatic detection of small bowel tumors in endoscopic capsule images by ROI selection based on discarded lightness information. EMBC Pedro M. Vieira, Jaime Ramos, Carlos M. G. S. Lima
2013	—	`conf`	A model checking framework for linear time invariant switching systems using structural systems analysis. Allerton Guilherme Ramos, Sérgio Daniel Pequito, A. Pedro Aguiar, Jaime Ramos, Soummya Kar
2012	—	`conf`	Lessons learned from the Texas Synchrophasor Network. ISGT Europe Moses A. Kai, W. Mack Grady, David Costello, Daniel Brooks, Jaime Ramos
2012	—	`conf`	Segmentation of small bowel tumor tissue in capsule endoscopy images by using the MAP algorithm. EMBC Pedro M. Vieira, Jaime Ramos, Daniel Barbosa, Dalila Roupar, Carlos Silva, Higino Correia, Carlos M. G. S. Lima
2011	J	`jnl`	Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2011	J	`jnl`	Hierarchical logical consequence. Log. J. IGPL Carlos Caleiro, Paula Gouveia, Jaime Ramos
2009	J	`jnl`	Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2008	C	`conf`	A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2008	—	`conf`	Climatological Effects on the Breeding of Terns. IGARSS (4) Graham Quartly, Sebastien Jaquemet, Matthieu Le Corre, David Monticelli, Jaime Ramos
2007	—	`conf`	Combining Classical and Intuitionistic Implications. FroCoS Carlos Caleiro, Jaime Ramos
2007	J	`jnl`	From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis Carlos Caleiro, Jaime Ramos
2004	—	`conf`	Cryptomorphisms at Work. WADT Carlos Caleiro, Jaime Ramos
2004	J	`jnl`	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. Ann. Math. Artif. Intell. Paula Gouveia, Jaime Ramos
2002	—	`conf`	Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT Carlos Caleiro, Paula Gouveia, Jaime Ramos
2001	—	`conf`	Combining Logics: Parchments Revisited. WADT Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
1998	—	`conf`	Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
1998	—	`conf`	The Situation and State Calculus versus Branching Temporal Logic. WADT Jaime Ramos, Amílcar Sernadas
1997	—	`conf`	A Linear Temporal Logic Approach to Objects with Transactions. AMAST Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
1996	J	`jnl`	A Temporal Logic Approach to Object Certification. Data Knowl. Eng. Amílcar Sernadas, Cristina Sernadas, Jaime Ramos