Academic position:
Assistant Professor
Joining date:
31-12-2006
Role in IT: Researcher Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx
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
- Model checking in OSL, Undergraduate, Nuno Santos, 9-2007, Instituto Superior Técnico
Publications
Book Chapters [8]
- Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.; "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.
- Caleiro, C.; Ramos, J.; "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.
- Caleiro, C.; Ramos, J.; "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.
- Caleiro, C.; Gouveia, M.P.G.; Ramos, J.; "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.
- Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.; "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.
- Ramos, J.; Sernadas, A.; "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.
- Ramos, J.; S. Conrad; G. Saake; Sernadas, C.; "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; Ramos, J.; Caleiro, C.; Sernadas, A.; "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.
Papers in Journals [6]
- D. Basin; Caleiro, C.; Ramos, J.; 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; Caleiro, C.; Ramos, J.; L. Viganò; "Labelled tableaux for distributed temporal logic", Journal of Logic and Computation, Vol. 19, No. 6, pp. 1245 - 1279, January, 2009.
| BibTex
- Caleiro, C.; Ramos, J.; "From fibring to cryptofibring: a solution to the collapsing problem", Logica Universalis, Vol. 1, No. 1, pp. 71 - 92, January, 2007.
| BibTex
- Gouveia, M.P.G.; Ramos, J.; "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
- Sernadas, A.; Sernadas, C.; Ramos, J.; "A Temporal Logic Approach to Object Certification", Data & Knowledge Engineering, Vol. 19, No. -, pp. 267 - 294, January, 1996.
| BibTex
Papers in Conference Proceedings [6]
- Ramos, J.; Caleiro, C.; "Classical and intuitionistic propositinal logic", Proc World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 1, pp. 244 - 245, March, 2013. Abstract | Full text (PDF 81KB) | BibTex
- D. Basin; Caleiro, C.; Ramos, J.; L. Viganò; "Labeled tableaux for distributed temporal logic", Proc Symp. on Temporal Representation and Reasoning, Québec, Canada, Vol. -, pp. 101 - 109, June, 2008.
| BibTex
- Caleiro, C.; Ramos, J.; "Accepted for publication - Combining classical and intuitionistic implications", Proc Frontiers of Combining Systems - FroCos 98, Santa Margherita, Italy, Vol. -, pp. - - -, April, 2008.
| BibTex
- Caleiro, C.; Ramos, J.; "Cryptofibring", Proc 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; Ramos, J.; "Nautilus: A concurrent anticipatory programming language", Proc CASYS International Conf. on Computing Anticipatoty Systems , Liege, Belgium, Vol. 627, pp. 553 - 564, August, 2002.
| BibTex
- Ramos, J.; "The situation and state calculus", Proc Second ESSLII Student Session, Aix-en-Provence, France, Vol. -, pp. - - -, January, 1997.
| BibTex
