António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
31
TITLE: Foreword Full Text
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2016, SOURCE: Science of Computer Programming, VOLUME: 115-116
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2016, SOURCE: Science of Computer Programming, VOLUME: 115-116
32
TITLE: Preface
AUTHORS: Thomas Hildebrandt; Matthias Weidlich; António Ravara; Jan Martijn Van Der Werf;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTHORS: Thomas Hildebrandt; Matthias Weidlich; António Ravara; Jan Martijn Van Der Werf;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID33
TITLE: 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
AUTHORS: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLISHED: 2016
AUTHORS: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLISHED: 2016
INDEXED IN: 
Openlibrary
Openlibrary34
TITLE: Editorial for the JLAMP Special Issue on automated specification and verification of web systems
AUTHORS: Antonio Ravara; Josep Silva;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 4
AUTHORS: Antonio Ravara; Josep Silva;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 4
35
TITLE: Unlocking Blocked Communicating Processes Full Text
AUTHORS: Adrian Francalanza; Marco Giunti ; Antonio Ravara;
PUBLISHED: 2015, SOURCE: 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 188, ISSUE: 188
AUTHORS: Adrian Francalanza; Marco Giunti ; Antonio Ravara;
PUBLISHED: 2015, SOURCE: 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 188, ISSUE: 188
36
TITLE: MODULAR SESSION TYPES FOR OBJECTS Full Text
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
37
TITLE: Revisiting Concurrent Separation Logic and Operational Semantics PDF
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: 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)
AUTHORS: Soares, P; Ravara, A; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: 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)
38
TITLE: Foreword Full Text
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 89, ISSUE: PART A
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 89, ISSUE: PART A
INDEXED IN: Scopus 
WOS
Scopus WOS IN MY: ORCID
ORCID39
TITLE: Towards static deadlock resolution in the π-calculus
AUTHORS: Giunti, M; Ravara, A;
PUBLISHED: 2014, SOURCE: 8th International Symposium on Trustworthy Global Computing, TGC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8358 LNCS
AUTHORS: Giunti, M; Ravara, A;
PUBLISHED: 2014, SOURCE: 8th International Symposium on Trustworthy Global Computing, TGC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8358 LNCS
40
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming Full Text
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
