???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
JAIME ARSÉNIO DE BRITO RAMOS

Nomes de citação

  • Ramos, Jaime

Identificadores de autor

Ciência ID
0318-9E5E-37F5
ORCID iD
0000-0002-5137-5350
Researcher Id
X-6333-2019
Scopus Author Id
7401900998
Formação
Grau Classificação
2026/05/08
Concluído
 Matemática (Título de Agregado)
Especialização em Matemática
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado
2000/04/20
Concluído
 Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1992/09/01 - 1995/01/15
Concluído
 Matemática Aplicada (Mestrado)
Especialização em Ciência da Computação
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Muito Bom
1987/09/01 - 1992/06/30
Concluído
 Matemática Aplicada e Computação (Licenciatura)
Especialização em Ciência da Computação
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2006/06/01 - Atual Investigador (Investigação) Instituto de Telecomunicações, Portugal
1994/07/01 - 1996/12/31 Investigador (Investigação) Universidade de Lisboa Instituto de Sistemas e Robótica, Portugal
1992/09/01 - 1994/06/30 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/02/01 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2000/04/21 - 2024/01/31 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/01/01 - 2016/06/30 Professor Associado Convidado (Docente Universitário) Richmond The American International University in London, Reino Unido
1995/01/21 - 2000/04/20 Assistente (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1992/09/01 - 1995/01/20 Assistente Estagiário (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
1990/01/01 - 1992/08/31 Monitor (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Projeto

Designação Financiadores
2021/01/01 - 2023/12/31 Institute of Telecommunications
LA/P/0109/2020
10.54499/LA/P/0109/2020
UID/EEA/50008/2019
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2013 - 2016 GeTFun: Generalizing Truth-Functionality
318986 FP7-PEOPLE-2012-IRSES
Investigador
Concluído
2007/07/15 - 2010/09/15 KLog: Kleistic Logic
info:eu-repo/grantAgreement/FCT/3599-PPCDT/68723/PT
Investigador
Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
2007/07/15 - 2010/09/15 KLog: Lógica para Segurança
PTDC/MAT/68723/2006
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/01/01 - 2007/12/31 QuantLog: Logic for Quantum Computation and Information
info:eu-repo/grantAgreement/FCT/POCI/55796/PT
Investigador
Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
2005/01/01 - 2007/12/31 QuantLog: Lógica para Computação e Informação Quântica
POCI/MAT/55796/2004
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2002/01/01 - 2004/12/31 FIBLOG: Fibring Logics
info:eu-repo/grantAgreement/FCT/POCI/37239/PT
Investigador
Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluído
1998 - 2001 ProbLog - Probabilistic Methods in Logic of Reactive Systems
PRAXIS Project/P/MAT/10002/1998
Investigador
Concluído
1998/01/01 - 2000/12/31 LogComp: Logic and Computation
2/2.1/TIT/1658/95
2/2.1/TIT/1658/95
Investigador
N/A
Concluído
1997/01/01 - 1999/12/31 ACL - Algebraic Combination of Logics
PCEX/P/MAT/46/96
Investigador
Concluído
1996/01/01 - 1998/12/31 SitCalc: Situation Calculus – Modularization, Reification and Distribution
2/2.1/MAT/262/94
Investigador
Concluído
Produções

Publicações

Artigo em revista
  1. Ramos, Jaime; João Rasga; Cristina Sernadas. "Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics". Studia Logica (2024): https://doi.org/10.1007/s11225-024-10132-2.
    10.1007/s11225-024-10132-2
  2. Francisco Miguel Alves Campos de Sousa Dionísio; Ramos, Jaime; Fernando Subtil; Luca Viganò. "Model checking distributed temporal logic". Logic Journal of the IGPL (2024): ---. http://www.it.pt/Publications/PaperJournal/34538.
    10.1093/jigpal/jzae043
  3. Ramos, Jaime; João Rasga; Cristina Sernadas. "Labelled proof systems for existential reasoning". Logic Journal of the IGPL (2024): http://dx.doi.org/10.1093/jigpal/jzad030.
    10.1093/jigpal/jzad030
  4. Jaime Ramos; João Filipe Quintas dos Santos Rasga; Maria Cristina de Sales Viana Serôdio Sernadas. "Conservative Translations Revisited". journal of philosophical logic 52 3 (2023): 889-913. http://www.it.pt/Publications/PaperJournal/33721.
    10.1007/s10992-022-09691-3
  5. Augusto Peres; Ramos, Jaime; Francisco Miguel Alves Campos de Sousa Dionísio. "Bounded model checking distributed temporal logic". Journal of Logic and Computation (2022): http://dx.doi.org/10.1093/logcom/exac042.
    10.1093/logcom/exac042
  6. Jaime Ramos; João Rasga; Cristina Sernadas. "Schema Complexity in Propositional-Based Logics". Mathematics (2021): https://doi.org/10.3390/math9212671.
    10.3390/math9212671
  7. Ramos, Jaime; João Filipe Quintas dos Santos Rasga; Maria Cristina de Sales Viana Serôdio Sernadas; Luca Viganò. "Event-Based Time-Stamped Claim Logic". Journal of Logical and Algebraic Methods in Programming 121 (2021): 100684-100684. http://dx.doi.org/10.1016/j.jlamp.2021.100684.
    10.1016/j.jlamp.2021.100684
  8. Ramos, Jaime. "Essential Structure of Proofs as a Measure of Complexity". Logica Universalis (2020): http://dx.doi.org/10.1007/s11787-020-00251-4.
    10.1007/s11787-020-00251-4
  9. Sérgio Pequito; Soummya Kar; Pedro Aguiar; Jaime Ramos; Guilherme Henrique Caçador Ramos. "The robust minimal controllability problem". Automatica 82 1 (2017): 261-268. http://www.it.pt/Publications/PaperJournal/21460.
    10.1016/j.automatica.2017.04.053
  10. Basin, D.; Caleiro, C.; Ramos, J.; Viganò, L.. "Distributed temporal logic for the analysis of security protocol models". Theoretical Computer Science 412 31 (2011): 4007-4043. http://www.scopus.com/inward/record.url?eid=2-s2.0-79958066911&partnerID=MN8TOARS.
    10.1016/j.tcs.2011.04.006
  11. Caleiro, C.; Gouveia, P.; Ramos, J.. "Hierarchical logical consequence". Logic Journal of the IGPL 19 4 (2011): 544-565. http://www.scopus.com/inward/record.url?eid=2-s2.0-79958812216&partnerID=MN8TOARS.
    10.1093/jigpal/jzp093
  12. Basin, D.; Caleiro, C.; Ramos, J.; Viganó, L.. "Labelled tableaux for distributed temporal logic". Journal of Logic and Computation 19 6 (2009): 1245-1279. http://www.scopus.com/inward/record.url?eid=2-s2.0-72649099109&partnerID=MN8TOARS.
    10.1093/logcom/exp022
  13. Basin, D.; Caleiro, C.; Ramos, J.; Viganò, L.. "A labeled tableaux system for the distributed temporal logic DTL". Proceedings of the International Workshop on Temporal Representation and Reasoning (2008): 101-109. http://www.scopus.com/inward/record.url?eid=2-s2.0-51549119175&partnerID=MN8TOARS.
    10.1109/TIME.2008.21
  14. Caleiro, C.; Ramos, J.. "From fibring to cryptofibring. A solution to the collapsing problem". Logica Universalis 1 1 (2007): 71-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-34250742586&partnerID=MN8TOARS.
    10.1007/s11787-006-0004-5
  15. Caleiro, C.; Ramos, J.. "Combining classical and intuitionistic implications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4720 LNAI (2007): 118-132. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049074255&partnerID=MN8TOARS.
  16. Caleiro, C.; Ramos, J.. "Cryptomorphisms at work". Lecture Notes in Computer Science 3423 (2005): 45-60. http://www.scopus.com/inward/record.url?eid=2-s2.0-24344434650&partnerID=MN8TOARS.
  17. Maria Paula Antunes Abrantes Gouveia; Jaime Ramos. "Multi-agent systems specification and certification: A situation and state calculus approach". Annals of Mathematics and Artificial Intelligence 41 2-4 (2004): 301-338. http://www.it.pt/Publications/PaperJournal/2628.
  18. Gouveia, P.; Ramos, J.. "Multi-agent systems specification and certification: A situation and state calculus approach". Annals of Mathematics and Artificial Intelligence 41 2-4 (2004): 301-338. http://www.scopus.com/inward/record.url?eid=2-s2.0-4043117618&partnerID=MN8TOARS.
  19. Caleiro, C.; Gouveia, P.; Ramos, J.. "Completeness results for fibred parchments: Beyond the propositional base". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2755 (2003): 185-200. http://www.scopus.com/inward/record.url?eid=2-s2.0-0348216691&partnerID=MN8TOARS.
  20. Amílcar dos Santos Costa Sernadas; Maria Cristina de Sales Viana Serôdio Sernadas; Jaime Ramos. "A Temporal Logic Approach to Object Certification". Data & Knowledge Engineering 19 - (1996): 267-294. http://www.it.pt/Publications/PaperJournal/2552.
Livro
  1. Sernadas, Amílcar; Sernadas, Cristina; Rasga, João; Ramos, Jaime. A Mathematical Primer on Computability. College Publications. 2018.
    Publicado
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2022/09/15 - 2033/12/05 Model Checking with the Event-Based Time-Stamped Claim Logic
Orientador
 Matemática Aplicada e Computação (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2022/09/15 - 2023/12/12 Theorem Proving over Temporal Logics
Coorientador
 Matemática Aplicada e Computação (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/15 - 2021/11/22 Event-Based Time-Stamped Claim Logic
Orientador
 Matemática Aplicada e Computação (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/15 - 2021/01/29 DTL: Translation, SMT Verification, Separation and Interpolation
Coorientador
 Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/15 - 2020/10/23 Model checking DTL - Automata theoretic and bounded approaches
Coorientador
 Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/15 - 2020/06/26 Abduction Algorithm for First-Order Logic
Orientador
 Matemática Aplicada e Computação
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/15 - 2019/12/20 Model Checking with Distributed Temporal Logic
Orientador
 Matemática e Aplicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2021/12/21 Quantum Dynamic Logic
Arguente principal
 Jo ~ao Miguel Neves Coelho (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/12/14 Formal Results on Logics with Probability
Arguente principal
 Tiago Figueiredo Pereira Afonso (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/09 Combining Satisfiability Procedures and Probabilistic Satisfiability
Arguente
 Filipe Manuel Rodrigues Casal (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2010/12/17 Statically proving behavioural properties in the ¿-calculus via dependency analysis
Arguente
 Maxime Gamboni (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal