Creating and sharing knowledge for telecommunications
... Jaime Arsénio de Brito Ramos

Researcher

Jaime Ramos

Academic position: Assistant Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Scientific Area: Networks and Multimedia
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
  • 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, 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 98, 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, Second 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