António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
11
TITLE: Foundations of Session Types and Behavioural Contracts Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
12
TITLE: Automated verification of programs and Web systems
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef13
TITLE: Web Services, Formal Methods, and Behavioral Types
AUTHORS: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science
AUTHORS: Thomas Hildebrandt; António Ravara; Jan Martijn van der Werf; Matthias Weidlich;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef14
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
INDEXED IN: CrossRef
CrossRef15
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
16
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
17
TITLE: MODULAR SESSION TYPES FOR OBJECTS
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
INDEXED IN: 
Scopus WOS
Scopus WOS18
TITLE: Revisiting Concurrent Separation Logic and Operational Semantics
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)
19
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming Full Text
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
20
TITLE: Session types as generic process types Full Text
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A;
PUBLISHED: 2014, SOURCE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
INDEXED IN: Scopus CrossRef
Scopus CrossRef