• 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