A Temporal Logic Approach to Object Certification. - Amílcar Sernadas; Cristina Sernadas; Jaime Ramos (Data Knowl. Eng., 1996)

A Linear Temporal Logic Approach to Objects with Transactions. - Grit Denker; Jaime Ramos; Carlos Caleiro; Amílcar Sernadas (AMAST, 1997)

Evolving Logical Specification in Information Systems. - Stefan Conrad 001; Jaime Ramos; Gunter Saake; Cristina Sernadas (Logics for Databases and Information Systems, 1998)

The Situation and State Calculus versus Branching Temporal Logic. - Jaime Ramos; Amílcar Sernadas (WADT, 1998)

Combining Logics: Parchments Revisited. - Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas (WADT, 2001)

Completeness Results for Fibred Parchments: Beyond the Propositional Base. - Carlos Caleiro; Paula Gouveia; Jaime Ramos (WADT, 2002)

Cryptomorphisms at Work. - Carlos Caleiro; Jaime Ramos (WADT, 2004)

Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach. - Paula Gouveia; Jaime Ramos (Ann. Math. Artif. Intell., 2004)

Combining Classical and Intuitionistic Implications. - Carlos Caleiro; Jaime Ramos (FroCoS, 2007)

From Fibring to Cryptofibring. A Solution to the Collapsing Problem. - Carlos Caleiro; Jaime Ramos (Logica Universalis, 2007)

Climatological Effects on the Breeding of Terns. - Graham Quartly; Sebastien Jaquemet; Matthieu Le Corre; David Monticelli; Jaime Ramos (IGARSS (4), 2008)

A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (TIME, 2008)

Labelled Tableaux for Distributed Temporal Logic. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (J. Log. Comput., 2009)

Hierarchical logical consequence. - Carlos Caleiro; Paula Gouveia; Jaime Ramos (Log. J. IGPL, 2011)

Distributed temporal logic for the analysis of security protocol models. - David A. Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò 001 (Theor. Comput. Sci., 2011)

Segmentation of small bowel tumor tissue in capsule endoscopy images by using the MAP algorithm. - Pedro M. Vieira; Jaime Ramos; Daniel Barbosa 001; Dalila Roupar; Carlos Silva; Higino Correia; Carlos S. Lima (EMBC, 2012)

Lessons learned from the Texas Synchrophasor Network. - Moses A. Kai; W. Mack Grady; David Costello; Daniel Brooks; Jaime Ramos (ISGT Europe, 2012)

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 (Allerton, 2013)

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 (EMBC, 2015)

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 (FIE, 2016)

The robust minimal controllability problem. - Sérgio Daniel Pequito; Guilherme Ramos; Soummya Kar; A. Pedro Aguiar; Jaime Ramos (Autom., 2017)

Büchi automata for distributed temporal logic. - Jaime Ramos (CoRR, 2019)

Essential Structure of Proofs as a Measure of Complexity. - Jaime Ramos; João Rasga; Cristina Sernadas (Logica Universalis, 2020)

Adaptive Central Pattern Generator to Control a Modular Lower Limb Rehabilitation Exoskeleton. - Alberto Plaza-Flores; Mar Hernandez; Jaime Ramos; Gonzalo Puyuelo; Elena Garces 002; Elena Garcia (NER, 2021)

Event-Based Time-Stamped Claim Logic. - Jaime Ramos; João Rasga; Cristina Sernadas; Luca Viganò 001 (J. Log. Algebraic Methods Program., 2021)

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 002; Marie André Destarac; Elena Delgado; Elena Garcia (IEEE Syst. J., 2023)

Conservative Translations Revisited. - Jaime Ramos; João Rasga; Cristina Sernadas (J. Philos. Log., 2023)

Bounded model checking distributed temporal logic. - Augusto Peres; Jaime Ramos; Francisco Dionísio (J. Log. Comput., 2023)

Labelled proof systems for existential reasoning. - Jaime Ramos; João Rasga; Cristina Sernadas (Log. J. IGPL, 2025)