António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
1
TÃTULO: Training in adolescent medicine in the pediatric residency program: are we on the right path?
AUTORES: Helena Fonseca; Maria Ravara; Katia Mauricio;
PUBLICAÇÃO: 2025, FONTE: Portuguese Journal of Pediatrics, VOLUME: 56, NÚMERO: 1
AUTORES: Helena Fonseca; Maria Ravara; Katia Mauricio;
PUBLICAÇÃO: 2025, FONTE: Portuguese Journal of Pediatrics, VOLUME: 56, NÚMERO: 1
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Preface
AUTORES: Sophia Antipolis; Cinzia Di Giusto; António Ravara;
PUBLICAÇÃO: 2025, FONTE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Lecture Notes in Computer Science, VOLUME: 15731 LNCS
AUTORES: Sophia Antipolis; Cinzia Di Giusto; António Ravara;
PUBLICAÇÃO: 2025, FONTE: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025 in Lecture Notes in Computer Science, VOLUME: 15731 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID3
TÃTULO: TRAC: A Tool for Data-Aware Coordination. (with an Application to Smart Contracts)
AUTORES: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference on Coordination Models and Languages, COORDINATION 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14676 LNCS
AUTORES: João Afonso; Elvis Konjoh Selabi; Maurizio Murgia; António Ravara; Emilio Tuosto;
PUBLICAÇÃO: 2024, FONTE: 26th International Conference on Coordination Models and Languages, COORDINATION 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14676 LNCS
4
TÃTULO: Behavioural Up/down Casting For Statically Typed Languages
AUTORES: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2024, FONTE: 38th European Conference on Object-Orientated Programming-ECOOP in 38TH EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, ECOOP 2024, VOLUME: 313
AUTORES: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2024, FONTE: 38th European Conference on Object-Orientated Programming-ECOOP in 38TH EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, ECOOP 2024, VOLUME: 313
INDEXADO EM: Scopus 
WOS
Scopus WOS NO MEU: ORCID
ORCID5
TÃTULO: Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
AUTORES: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
AUTORES: Barroso, Pedro; Pereira, Mario; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 14th International Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE) in VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, VOLUME: 13800
6
TÃTULO: Anticipation of Method Execution in Mixed Consistency Systems
AUTORES: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
AUTORES: Giunti, Marco; Paulino, Herve ; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023
7
TÃTULO: Preface
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13910 LNCS
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13910 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID8
TÃTULO: On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage Full Text
AUTORES: João Mota; Marco Giunti; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
AUTORES: João Mota; Marco Giunti; António Ravara;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
INDEXADO EM: Scopus 
Handle
Scopus Handle NO MEU: ORCID
ORCID9
TÃTULO: AtomiS: Data-Centric Synchronization Made Practical
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
AUTORES: Paulino, Herve ; Matos, Ana Almeida; Cederquist, Jan; Giunti, Marco; Matos, Joao; Ravara, Antonio;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: OOPSLA
10
TÃTULO: Formal Techniques for Distributed Objects, Components, and Systems. 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023
AUTORES: Marieke Huisman; António Ravara;
PUBLICAÇÃO: 2023
INDEXADO EM: 
Openlibrary
Openlibrary