Jaime Ramos

Available identifiers

zbMath Open ramos.jaimeMaRDI QIDQ549722

List of research outcomes

Publication	Date of Publication	Type
Bounded model checking distributed temporal logic	2023-08-03	Paper
Conservative translations revisited	2023-06-13	Paper
Event-based time-stamped claim logic	2021-08-03	Paper
Essential structure of proofs as a measure of complexity	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5226947	2019-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5224785	2019-07-24	Paper
Robust forecast aggregation: Fourier L2E regression	2018-10-29	Paper
The robust minimal controllability problem	2017-10-11	Paper
Hierarchical logical consequence	2012-03-07	Paper
Distributed temporal logic for the analysis of security protocol models	2011-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3560845	2010-05-14	Paper
Completeness results for fibred parchments. Beyond the propositional base	2010-04-20	Paper
Labelled tableaux for distributed temporal logic	2010-01-14	Paper
Combining Classical and Intuitionistic Implications	2008-09-16	Paper
From fibring to cryptofibring. A solution to the collapsing problem	2007-04-10	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
Multi-agent systems specification and certification: a situation and state calculus approach	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4471713	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4941936	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4400804	1999-02-02	Paper
A temporal logic approach to object certification	1997-02-27	Paper

Research outcomes over time

This page was built for person: Jaime Ramos