Jaime Arsenio de Brito Ramos

Jaime Ramos

Academic position:	Assistant Professor
Joining date:	31-12-2006
Roles in IT:	Researcher
Thematic Line:	Networks and Services
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

https://www.orcid.org/0000-0002-5137-5350

Scientific Achievements

Degrees

PhD, Instituto Superior Técnico, 01-05-2000
MSc, Instituto Superior Técnico, 01-01-1995
Licenciatura, Instituto Superior Técnico, 01-01-1992

Academic Activities

1Lecture courses

Computação e Programação, Instituto Superior Técnico, MEQ, MEBiol, LEA, LEMat

1Supervision of Research grants

As Supervisor

Model checking in OSL, Research Grant, Nuno Santos, Concluded 09-2007

Publications

1Books

J. Ramos, A Mathematical Primer on Computability, College Publications, Lisboa, 2018,
| BibTex

9Books Chapters

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

11Papers in Journals

A. Peres, J. Ramos, F. Dionísio, Bounded model checking distributed temporal logic, Journal of Logic and Computation, Vol. 0, No. 0, pp. 1 - 38, June, 2022 | Full text (PDF 1 MB) | BibTex
J. Ramos, J. Rasga, C. Sernadas, Schema Complexity in Propositional-Based Logics, Mathematics, Vol. 9, No. 21, pp. 2671 - 2671, October, 2021 | Full text (PDF 342 KBs) | 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 | Full text (PDF 590 KBs) | 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

7Papers in Conferences

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

Projects

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

Other Scientific Achievements

2Short Courses and Seminars

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

IT Member Profile

Jaime Ramos

Scientific Achievements

As Supervisor

Closed Projects2