António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
31
TÃTULO: Automated verification of programs and Web systems
AUTORES: ter Beek, MH; Lisitsa, A; Nemytykh, AP; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
AUTORES: ter Beek, MH; Lisitsa, A; Nemytykh, AP; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
32
TÃTULO: Web Services, Formal Methods, and Behavioral Types. 11th International Workshop, Ws-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, Ws-FM/Beat 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
AUTORES: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
AUTORES: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
33
TÃTULO: Foreword Full Text
AUTORES: Natallia Kokash; António Ravara;
PUBLICAÇÃO: 2016, FONTE: Science of Computer Programming, VOLUME: 115-116
AUTORES: Natallia Kokash; António Ravara;
PUBLICAÇÃO: 2016, FONTE: Science of Computer Programming, VOLUME: 115-116
34
TÃTULO: Preface
AUTORES: Thomas Hildebrandt; Matthias Weidlich; António Ravara; Jan Martijn Van Der Werf;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTORES: Thomas Hildebrandt; Matthias Weidlich; António Ravara; Jan Martijn Van Der Werf;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID35
TÃTULO: Web Services, Formal Methods, and Behavioral Types. 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
AUTORES: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLICAÇÃO: 2016
AUTORES: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLICAÇÃO: 2016
INDEXADO EM: 
Openlibrary
Openlibrary36
TÃTULO: Editorial for the JLAMP Special Issue on automated specification and verification of web systems
AUTORES: Antonio Ravara; Josep Silva;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 4
AUTORES: Antonio Ravara; Josep Silva;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 4
37
TÃTULO: Unlocking Blocked Communicating Processes Full Text
AUTORES: Adrian Francalanza; Marco Giunti ; Antonio Ravara;
PUBLICAÇÃO: 2015, FONTE: 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 188, NÚMERO: 188
AUTORES: Adrian Francalanza; Marco Giunti ; Antonio Ravara;
PUBLICAÇÃO: 2015, FONTE: 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 188, NÚMERO: 188
38
TÃTULO: MODULAR SESSION TYPES FOR OBJECTS Full Text
AUTORES: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 4
AUTORES: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 4
39
TÃTULO: Revisiting Concurrent Separation Logic and Operational Semantics PDF
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015)
AUTORES: Soares, P; Ravara, A; de Sousa, SM ;
PUBLICAÇÃO: 2015, FONTE: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015)
40
TÃTULO: Foreword Full Text
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 89, NÚMERO: PART A
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 89, NÚMERO: PART A
INDEXADO EM: Scopus 
WOS
Scopus WOS NO MEU: ORCID
ORCID