Follow
Jaime Ramos
Jaime Ramos
Instituto Superior Técnico, Universidade de Lisboa
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
The robust minimal controllability problem
S Pequito, G Ramos, S Kar, AP Aguiar, J Ramos
Automatica 82, 261-268, 2017
562017
From fibring to cryptofibring. A solution to the collapsing problem
C Caleiro, J Ramos
Logica Universalis 1, 71-92, 2007
332007
The robust minimal controllability problem
S Pequito, G Ramos, S Kar, AP Aguiar, J Ramos
arXiv preprint arXiv:1401.4209, 2014
262014
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
262011
The GNOME language: Syntax, semantics and calculus
A Sernadas, J Ramos
Technical Report, 1994
241994
Combining classical and intuitionistic implications
C Caleiro, J Ramos
International Symposium on Frontiers of Combining Systems, 118-132, 2007
232007
Labelled tableaux for distributed temporal logic
D Basin, C Caleiro, J Ramos, L Vigano
Journal of Logic and Computation 19 (6), 1245-1279, 2009
222009
Combining logics: Parchments revisited
C Caleiro, P Mateus, J Ramos, A Sernadas
Recent Trends in Algebraic Development Techniques: 15th International …, 2002
222002
Cryptofibring
C Caleiro, J Ramos
Proceedings of CombLog 4, 87-92, 2004
192004
A temporal logic approach to object certification
A Sernadas, C Sernadas, J Ramos
Data & Knowledge Engineering 19 (3), 267-294, 1996
181996
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
171997
Evolving logical specification in information systems
S Conrad, J Ramos, G Saake, C Sernadas
Logics for Databases and Information Systems, 199-228, 1998
161998
A Linguagem GNOME: Sintaxe, Sem^ antica e C alculo
A Sernadas, J Ramos
Relatório técnico. Universidade Técnica de Lisboa, 1994
161994
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
152013
Temporal logics for reasoning about quantum systems
P Mateus, J Ramos, A Sernadas, C Sernadas
Semantic techniques in quantum computation, 389-413, 2009
152009
Completeness Results for Fibred Parchments
C Caleiro, P Gouveia, J Ramos
International Workshop on Algebraic Development Techniques, 185-200, 2002
152002
A brief introduction to gnome
J Ramos, A Sernadas
Report, Section of Computer Science, Department of Mathematics, Instituto …, 1995
141995
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
92014
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
92008
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
72008
The system can't perform the operation now. Try again later.
Articles 1–20