- J. Ramos, J. Rasga, C. Sernadas, and
L. Viganò.
Event-based time-stamped claim logic.
Journal of Logical and Algebraic Methods in Programming,
121(1):100684--100684, 2021.
- J. Ramos, J. Rasga, and C. Sernadas.
Essential structure of proofs as a measure of complexity.
Logica Universalis, 14(2):209--242, June 2020.
- S. Pequito, G. Ramos, S. Kar, A. P.
Aguiar, and J. Ramos.
The robust minimal controllability problem.
Automatica, 82:261--268, 2017.
Get a preprint: 17-PRKAR-robust.pdf
- C. Caleiro and J. Ramos.
Classical and intuitionistic propositional logic.
In Abstracts of Logic Colloquium 2013. Bulletin of Symbolic Logic 20(2),
2014.
Get a preprint: 14-CR-cipl.pdf
- G. Ramos, S. Pequito, A. P. Aguiar,
J. Ramos, and S. Kar.
A model checking framework for linear time invariant switching systems using
structural systems analysis.
In Proc. of the 51st Annual Allerton Conference on Communication, Control,
and Computing. University of Illinois at Urbana-Champaign,
2013.
Get a preprint: 13-RPARK-allerton.pdf
- J. Abreu.
Tableaux for distributed temporal logic - applications to security protocols.
Master's thesis, IST, Universidade Técnica de Lisboa, 2011.
Supervised by C . Caleiro and J. Ramos.
Get a preprint: 11-A-MScThesis.pdf
- D. Basin, C. Caleiro, J. Ramos, and
L. Viganò.
Distributed temporal logic for the analysis of security protocol models.
Theoretical Computer Science, 412(31):4007--4043, 2011.
Get a
preprint: 10-BCRV-dtl4spa.pdf
- C. Caleiro, P. Gouveia, and J. Ramos.
Hierarchical logical consequence.
Logic Journal of the IGPL, 19(4):544--565, 2011.
Get a
preprint: 07-CGR-hlc.pdf
- P. Mateus, J. Ramos, A. Sernadas, and
C. Sernadas.
Temporal logics for reasoning about quantum systems.
In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum
Computation, pages 389--413. Cambridge University Press, 2010.
Get
a preprint: 08-MRSS-qsec11.pdf
- D. Basin, C. Caleiro, J. Ramos, and
L. Viganò.
Labelled tableaux for distributed temporal logic.
Journal of Logic and Computation, 19:1245--1279, 2009.
Get a
preprint: 09-BCRV-dtl-tableauxlong.pdf
- D. Basin, C. Caleiro, J. Ramos, and
L. Viganò.
A labeled tableaux for the distributed temporal logic DTL.
In Proceedings of the 15th Intl.Symp. on Temporal Representation and
Reasoning (TIME 2008), pages 101--109. IEEE Computer Society Press,
2008.
Get a preprint: 07-BCRV-dtl-tableaux.pdf
- C. Caleiro and J. Ramos.
Combining classical and intuitionistic implications.
In B. Konev and F. Wolter, editors, Frontiers of Combining Systems 07,
Lecture Notes in Artificial Intelligence, pages 118--132. Springer,
2007.
Get a preprint: 07-CR-classint-imp.pdf
- C. Caleiro and J. Ramos.
From fibring to cryptofibring: a solution to the collapsing problem.
Logica Universalis, 1(1):71--92, 2007.
Get a preprint: 05-CR-fib2crypto.pdf
- C. Caleiro and J. Ramos.
Cryptomorphisms at work.
In J. Fiadeiro, P. Mosses, and F. Orejas, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 3423 of
Lecture Notes in Computer Science, pages 45--60. Springer,
2005.
Get a preprint: 04-CR-fiblog17.ps
04-CR-fiblog17.pdf
- C. Caleiro and J. Ramos.
Cryptofibring.
In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings
of CombLog'04, Workshop on Combination of Logics: Theory and
Applications, pages 87--92, 1049-001 Lisboa, Portugal, 2004. Departamento
de Matemática, Instituto Superior Técnico.
Extended abstract.
Get a preprint: 04-CR-fiblog25s.pdf
- P. Gouveia and J. Ramos.
Multi-agent systems specification and certification: A situation and state
calculus approach.
Annals of Mathematics and Artificial Intelligence, 41(2-4):301--338,
2004.
Get a preprint: 03-GR-ssccert.ps
03-GR-ssccert.pdf
- C. Caleiro, P. Gouveia, and J. Ramos.
Completeness results for fibred parchments: Beyond the propositional base.
In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 2755 of
Lecture Notes in Computer Science, pages 185--200. Springer,
2003.
Get a preprint: 03-CGR-fiblog16.ps
03-CGR-fiblog16.pdf
- P. Menezes, A. Costa, L. Machado, and
J. Ramos.
Nautilus: A concurrent anticipatory programming language.
In D. Dubois, editor, Computing Anticipatoty Systems: CASYS'01 - Fifth
International Conference, volume 627 of AIP Conference
Proceedings, pages 553--564. American Institute of Physics,
2002.
Get a preprint: 02-MCMR-anticipatory.pdf
- C. Caleiro, P. Mateus, J. Ramos, and
A. Sernadas.
Combining logics: Parchments revisited.
In M. Cerioli and G. Reggio, editors, Recent Trends in Algebraic Development
Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer
Science, pages 48--70. Springer, 2001.
Get a preprint: 01-CMRS-fiblog9.ps
01-CMRS-fiblog9.pdf
- J. Ramos.
The Situation and State Calculus: Specification and Verification.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas.
Get a preprint: 00-R-PhDthesis.ps
00-R-PhDthesis.dvi
- J. Ramos and A. Sernadas.
The situation and state calculus versus branching temporal logic.
In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques -
Selected Papers, volume 1589 of Lecture Notes in Computer Science,
pages 293--309. Springer, 1999.
Get a preprint: 98-RS-sscbtl.ps
- S. Conrad, J. Ramos, G. Saake, and
C. Sernadas.
Evolving logical specification in information systems.
In J. Chomicki and G. Saake, editors, Logic for Databases and Information
Systems, pages 199--228. Kluwer Academic Publishers, 1998.
Get a
preprint: 98-CRSS-evol.ps
- G. Denker, J. Ramos, C. Caleiro, and
A. Sernadas.
A linear temporal logic approach to objects with transactions.
In M. Johnson, editor, Algebraic Methodology and Software Technology,
volume 1349 of Lecture Notes in Computer Science, pages 170--184.
Springer, 1997.
Get a preprint: 97-DRCS-tosl.ps
- J. Ramos.
The situation and state calculus.
In A. Drewery, G.-J. Kruijff, and R. Zuber, editors, Proceedings of the
Second ESSLII Student Session, 1997.
Get a preprint: 97-R-ssc.ps
- A. Sernadas, C. Sernadas, and J. Ramos.
A temporal logic approach to object certification.
Data and Knowledge Engineering, 19:267--294, 1996.
Get a
preprint: 95-SSR-cert2.ps
- J. Ramos.
Lógica de certificação Gnome (Gnome certification logic).
Master's thesis, IST, Universidade Técnica de Lisboa, 1994.
Supervised by A. Sernadas.
Get a preprint: chap0.ps
chap1.ps
chap2.ps
chap3.ps
chap4.ps
chap5.ps
chap6.ps
chap7.ps
chap8.ps
- A. Sernadas, J. Ramos, and P. Mateus.
Linear algebra techniques for deciding the correctness of probabilistic
programs with bounded resources.
Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal,
2008.
Short paper presented at LPAR 2008, Doha, Qatar. November 22-27.
Get a
preprint: 08-SRM-lap01tiny.pdf
- P. Baltazar, J. Ramos, and C. Sernadas.
Probability and quantum institutions revisited.
Preprint, CLC, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 2006.
Presented at WADT'06, La Roche en Ardenne, Belgium, June 1-3, 2006.
Get a
preprint: 06-BRS-quantlog12.pdf
- J. Ramos and A. Sernadas.
A brief introduction to Gnome.
Research report, Department of Mathematics, Instituto Superior Técnico,
1049-001 Lisboa, Portugal, 1995.
Get a preprint: 95-RS-GnomeInt.ps
- S. Pequito, G. Ramos, S. Kar, A. P.
Aguiar, and J. Ramos.
On the exact solution of the minimal controllability problem.
Preprint, SQIG - IT and IST - U Lisbon, 1049-001 Lisboa, Portugal, 2014.
Submitted for publication.