António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
21
TITLE: Behavioural Types. From Theory to Tools
AUTHORS: Simon Gay; António Ravara;
PUBLISHED: 2017
AUTHORS: Simon Gay; António Ravara;
PUBLISHED: 2017
INDEXED IN: 
Openlibrary
Openlibrary IN MY: 
ORCID
ORCID22
TITLE: Special Section on Foundations of Coordination Languages and Software (FOCLASA 2012) Foreword Full Text
AUTHORS: Natallia Kokash; Antonio Ravara;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
AUTHORS: Natallia Kokash; Antonio Ravara;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
INDEXED IN: 
WOS
WOS23
TITLE: Preface to special issue: behavioural types
AUTHORS: Gay, SJ; Ravara, A;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 2
AUTHORS: Gay, SJ; Ravara, A;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 2
INDEXED IN: 
Scopus WOS
Scopus WOS IN MY: ORCID
ORCID24
TITLE: Preface to special issue: behavioural types
AUTHORS: Gay, SJ; Ravara, A;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
AUTHORS: Gay, SJ; Ravara, A;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID
ORCID26
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
27
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: Hildebrandt, T; Ravara, A; Van Der Werf, JM; Weidlich, M;
PUBLISHED: 2016, SOURCE: 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9421
AUTHORS: Hildebrandt, T; Ravara, A; Van Der Werf, JM; Weidlich, M;
PUBLISHED: 2016, SOURCE: 11th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2014 and 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM/BEAT 2015 in 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
ORCID28
TITLE: From atomic variables to data-centric concurrency control
AUTHORS: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLISHED: 2016, SOURCE: 31st Annual ACM Symposium on Applied Computing, SAC 2016 in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, VOLUME: 04-08-April-2016
AUTHORS: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLISHED: 2016, SOURCE: 31st Annual ACM Symposium on Applied Computing, SAC 2016 in Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, VOLUME: 04-08-April-2016
29
TITLE: Automated verification of programs and Web systems
AUTHORS: ter Beek, MH; Lisitsa, A; Nemytykh, AP; Ravara, A;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
AUTHORS: ter Beek, MH; Lisitsa, A; Nemytykh, AP; Ravara, A;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
30
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, 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
