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
Recent Trends in Algebraic Development Techniques	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jaime Ramos