The robust minimal controllability problem S Pequito, G Ramos, S Kar, AP Aguiar, J Ramos Automatica 82, 261-268, 2017 | 56 | 2017 |

From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1, 71-92, 2007 | 33 | 2007 |

The robust minimal controllability problem S Pequito, G Ramos, S Kar, AP Aguiar, J Ramos arXiv preprint arXiv:1401.4209, 2014 | 26 | 2014 |

Distributed temporal logic for the analysis of security protocol models D Basin, C Caleiro, J Ramos, L Viganò Theoretical Computer Science 412 (31), 4007-4043, 2011 | 26 | 2011 |

The GNOME language: Syntax, semantics and calculus A Sernadas, J Ramos Technical Report, 1994 | 24 | 1994 |

Combining classical and intuitionistic implications C Caleiro, J Ramos International Symposium on Frontiers of Combining Systems, 118-132, 2007 | 23 | 2007 |

Labelled tableaux for distributed temporal logic D Basin, C Caleiro, J Ramos, L Vigano Journal of Logic and Computation 19 (6), 1245-1279, 2009 | 22 | 2009 |

Combining logics: Parchments revisited C Caleiro, P Mateus, J Ramos, A Sernadas Recent Trends in Algebraic Development Techniques: 15th International …, 2002 | 22 | 2002 |

Cryptofibring C Caleiro, J Ramos Proceedings of CombLog 4, 87-92, 2004 | 19 | 2004 |

A temporal logic approach to object certification A Sernadas, C Sernadas, J Ramos Data & Knowledge Engineering 19 (3), 267-294, 1996 | 18 | 1996 |

A linear temporal logic approach to objects with transactions G Denker, J Ramos, C Caleiro, A Sernadas Algebraic Methodology and Software Technology: 6th International Conference …, 1997 | 17 | 1997 |

Evolving logical specification in information systems S Conrad, J Ramos, G Saake, C Sernadas Logics for Databases and Information Systems, 199-228, 1998 | 16 | 1998 |

A Linguagem GNOME: Sintaxe, Sem^ antica e C alculo A Sernadas, J Ramos Relatório técnico. Universidade Técnica de Lisboa, 1994 | 16 | 1994 |

A model checking framework for linear time invariant switching systems using structural systems analysis G Ramos, S Pequito, AP Aguiar, J Ramos, S Kar 2013 51st Annual Allerton Conference on Communication, Control, and …, 2013 | 15 | 2013 |

Temporal logics for reasoning about quantum systems P Mateus, J Ramos, A Sernadas, C Sernadas Semantic techniques in quantum computation, 389-413, 2009 | 15 | 2009 |

Completeness Results for Fibred Parchments C Caleiro, P Gouveia, J Ramos International Workshop on Algebraic Development Techniques, 185-200, 2002 | 15 | 2002 |

A brief introduction to gnome J Ramos, A Sernadas Report, Section of Computer Science, Department of Mathematics, Instituto …, 1995 | 14 | 1995 |

On the np-completeness of the minimal controllability problem G Ramos, S Pequito, S Kar, AP Aguiar, J Ramos arXiv preprint arXiv:1401.4209, 2014 | 9 | 2014 |

A labeled tableaux system for the distributed temporal logic dtl D Basin, C Caleiro, J Ramos, L Vigano 2008 15th International Symposium on Temporal Representation and Reasoning …, 2008 | 9 | 2008 |

Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources A Sernadas, J Ramos, P Mateus Preprint, SQIG-IT and IST-TU Lisbon, 1049-001, 2008 | 7 | 2008 |