António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
41
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
42
TITLE: Foreword Full Text
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 89
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 89
43
TITLE: Preface to special issue: behavioural types
AUTHORS: SIMON J GAY; ANTÓNIO RAVARA;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci.
AUTHORS: SIMON J GAY; ANTÓNIO RAVARA;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci.
44
TITLE: Preface to special issue: behavioural types
AUTHORS: SIMON J GAY; ANTÓNIO RAVARA;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 26, ISSUE: 02
AUTHORS: SIMON J GAY; ANTÓNIO RAVARA;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 26, ISSUE: 02
45
TITLE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012 Full Text
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91
46
TITLE: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011 Full Text
AUTHORS: Mohammad Reza Mousavi; António Ravara;
PUBLISHED: 2011, SOURCE: FOCLASA, VOLUME: 58
AUTHORS: Mohammad Reza Mousavi; António Ravara;
PUBLISHED: 2011, SOURCE: FOCLASA, VOLUME: 58
47
TITLE: Foreword
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2011, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 58
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2011, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 58
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID48
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXED IN: 
DBLP
DBLP49
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
50
TITLE: Foreword
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID