- 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
- 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
- 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
- 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
- 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
- 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