Creating and sharing knowledge for telecommunications
... Jaime Arsenio de Brito Ramos

Researcher

Jaime Ramos

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72


Scientific Achievements

  • PhD, Instituto Superior Técnico, 01-05-2000
  • MSc, Instituto Superior Técnico, 01-01-1995
  • Licenciatura, Instituto Superior Técnico, 01-01-1992
  • J. Ramos, A Mathematical Primer on Computability, College Publications, Lisboa, 2018,
    | BibTex
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, L. Viganò, A tableau-based decision procedure for distributed temporal logic, Chapter in, Logic and Computation -- Essays in Honour of Amilcar Sernadas, pages 73-124, College Publications, London, 2017
  • P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010
  • C. Caleiro, J. Ramos, Combining Classical and Intuitionistic implications, Chapter in, Frontiers of Combining Systems ( FroCoS2007), volume 4720 of Lecture Notes in Artificial Intelligence, B. Konev and F. Wolter, Springer, Liverpool, 2007
  • C. Caleiro, J. Ramos, Cryptomorphisms at work, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 3423 of Lecture Notes in Computer Science, pages 45-60, J. Fiadeiro, P. Mosses and F. Orejas, Springer, 2005
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, Completeness results for fibred parchments: Beyond the propositional base, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200, M. Wirsing, D. Pattinson, and R. Hennicker, Springer, 2003
  • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
  • J. Ramos, A. Sernadas, The situation and state calculus versus branching temporal logic, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 293-309, J. Fiadeiro, Springer, 1999
  • S. Conrad, J. Ramos, G. Saake, C. Sernadas, Evolving logical specification in information systems, Chapter in, Logic for Databases and Information Systems, pages 199-228, J. Chomicki and G. Saake, Kluwer Academic, 1998
  • G. Denker, J. Ramos, C. Caleiro, A. Sernadas, A linear temporal logic approach to objects with transactions, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170-184, M. Johnson, Springer, 1997
  • J. Ramos, J. Rasga, C. Sernadas, Labelled proof systems for existential reasoning, Logic Journal of the IGPL, Vol. 33, No. 1, pp. 173 - 201, December, 2024 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics, Studia Logica, Vol., No., pp. -, July, 2024 | BibTex
  • F. Dionísio, J. Ramos, F. S. Subtil, L. Viganò, Model checking distributed temporal logic, Logic Journal of the IGPL, Vol. 33, No. 2, pp. -, May, 2024 | BibTex
  • A. Peres, J. Ramos, F. Dionísio, Bounded model checking distributed temporal logic, Journal of Logic and Computation, Vol. 33, No. 5, pp. 1022 - 1059, July, 2023 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Conservative Translations Revisited, Journal of Philosophical Logic, Vol. 52, No. 3, pp. 889 - 913, June, 2023 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Schema Complexity in Propositional-Based Logics, Mathematics, Vol. 9, No. 21, pp. 2671 - 2671, October, 2021 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, L. Viganò, Event-Based Time-Stamped Claim Logic, Journal of Logical and Algebraic Methods in Programming, Vol. 121, No. 100684, pp. 1 - 28, June, 2021 | BibTex
  • J. Ramos, J. Rasga, C. Sernadas, Essential Structure of Proofs as a Measure of Complexity, Logica Universalis, Vol. 14, No. 2, pp. 209 - 242, June, 2020 | BibTex
  • S. Pequito, S. Kar, P. Aguiar, J. Ramos, G. Ramos, The robust minimal controllability problem, Automatica, Vol. 82, No. 1, pp. 261 - 268, August, 2017 | BibTex
  • C. Caleiro, M.P.G. Gouveia, J. Ramos, Hierarchical logical consequence, Logic Journal of the IGPL, Vol. 19, No. 4, pp. 544 - 565, July, 2011 | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Distributed temporal logic for the analysis of security protocol models, Theoretical Computer Science, Vol. 412, No. 31, pp. 4007 - 4043, July, 2011 | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labelled tableaux for distributed temporal logic, Journal of Logic and Computation, Vol. 19, No. 6, pp. 1245 - 1279, January, 2009 | BibTex
  • C. Caleiro, J. Ramos, From fibring to cryptofibring: a solution to the collapsing problem, Logica Universalis, Vol. 1, No. 1, pp. 71 - 92, January, 2007 | BibTex
  • M.P.G. Gouveia, J. Ramos, Multi-agent systems specification and certification: A situation and state calculus approach, Annals of Mathematics and Artificial Intelligence, Vol. 41, No. 2-4, pp. 301 - 338, June, 2004 | BibTex
  • A. Sernadas, C. Sernadas, J. Ramos, A Temporal Logic Approach to Object Certification, Data and Knowledge Engineering, Vol. 19, No. -, pp. 267 - 294, January, 1996 | BibTex
  • J. Ramos, C. Caleiro, Classical and intuitionistic propositional logic, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex
  • J. Ramos, C. Caleiro, Classical and intuitionistic propositinal logic, World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 1, pp. 244 - 245, March, 2013,
    | Abstract
    | Full text (PDF 81 KBs) | BibTex
  • D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labeled tableaux for distributed temporal logic, Symp. on Temporal Representation and Reasoning, Québec, Canada, Vol. -, pp. 101 - 109, June, 2008 | BibTex
  • C. Caleiro, J. Ramos, Accepted for publication - Combining classical and intuitionistic implications, Frontiers of Combining Systems - FroCos, Santa Margherita, Italy, Vol. -, pp. - - -, April, 2008 | BibTex
  • C. Caleiro, J. Ramos, Cryptofibring, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 87 - 92, January, 2004 | BibTex
  • P.B. Menezes, A. Costa, L. Machado, J. Ramos, Nautilus: A concurrent anticipatory programming language, CASYS International Conf. on Computing Anticipatoty Systems, Liege, Belgium, Vol. 627, pp. 553 - 564, August, 2002 | BibTex
  • J. Ramos, The situation and state calculus, ESSLII - Student Session, Aix-en-Provence, France, Vol. -, pp. - - -, January, 1997 | BibTex

Closed Projects2

Acronym Name Funding Agency Start date Ending date
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • J. Ramos, Days in Logic 2010, Portugal, Porto, 01-2010
  • A. Sernadas, J. Ramos, Lógica Temporal Ramificada versus Cálculo de Situações, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):