Jaime Ramos

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bounded model checking distributed temporal logic Journal Of Logic And Computation	2023-08-03	Paper
Conservative translations revisited Journal of Philosophical Logic	2023-06-13	Paper
Event-based time-stamped claim logic Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
Essential structure of proofs as a measure of complexity Logica Universalis	2020-05-27	Paper
A mathematical primer on computability	2019-08-02	Paper
scientific article; zbMATH DE number 7085031 (Why is no real title available?)	2019-07-24	Paper
Robust forecast aggregation: Fourier \(L_2E\) regression Journal of Forecasting	2018-10-29	Paper
The robust minimal controllability problem Automatica	2017-10-11	Paper
Hierarchical logical consequence Logic Journal of the IGPL	2012-03-07	Paper
Distributed temporal logic for the analysis of security protocol models Theoretical Computer Science	2011-07-18	Paper
Temporal logics for reasoning about quantum systems	2010-05-14	Paper
Completeness results for fibred parchments. Beyond the propositional base Lecture Notes in Computer Science	2010-04-20	Paper
Labelled tableaux for distributed temporal logic Journal Of Logic And Computation	2010-01-14	Paper
Combining Classical and Intuitionistic Implications Frontiers of Combining Systems	2008-09-16	Paper
From fibring to cryptofibring. A solution to the collapsing problem Logica Universalis	2007-04-10	Paper
Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science	2005-11-11	Paper
Multi-agent systems specification and certification: a situation and state calculus approach Annals of Mathematics and Artificial Intelligence	2004-08-10	Paper
scientific article; zbMATH DE number 2079666 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1418373 (Why is no real title available?)	2000-03-19	Paper
scientific article; zbMATH DE number 1182732 (Why is no real title available?)	1999-02-02	Paper
A temporal logic approach to object certification Data & Knowledge Engineering	1997-02-27	Paper

Research outcomes over time

This page was built for person: Jaime Ramos