António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
21
TÃTULO: From object-oriented code with assertions to behavioural types Full Text
AUTORES: Cláudio Vasconcelos; António Ravara;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
AUTORES: Cláudio Vasconcelos; António Ravara;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: Part F128005
22
TÃTULO: Behavioural Types. From Theory to Tools
AUTORES: Simon Gay; António Ravara;
PUBLICAÇÃO: 2017
AUTORES: Simon Gay; António Ravara;
PUBLICAÇÃO: 2017
INDEXADO EM: 
Openlibrary
Openlibrary NO MEU: 
ORCID
ORCID23
TÃTULO: Special Section on Foundations of Coordination Languages and Software (FOCLASA 2012) Foreword Full Text
AUTORES: Natallia Kokash; Antonio Ravara;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
AUTORES: Natallia Kokash; Antonio Ravara;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 115
INDEXADO EM: 
WOS
WOS24
TÃTULO: Preface to special issue: behavioural types
AUTORES: Gay, SJ; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 2
AUTORES: Gay, SJ; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 2
INDEXADO EM: 
Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID25
TÃTULO: Preface to special issue: behavioural types
AUTORES: Gay, SJ; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
AUTORES: Gay, SJ; Ravara, A;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID27
TÃTULO: Foundations of Session Types and Behavioural Contracts Full Text
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
28
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: Hildebrandt, T; Ravara, A; Van Der Werf, JM; Weidlich, M;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Hildebrandt, T; Ravara, A; Van Der Werf, JM; Weidlich, M;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID29
TÃTULO: From atomic variables to data-centric concurrency control
AUTORES: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Hervé Paulino ; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos ;
PUBLICAÇÃO: 2016, FONTE: 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
30
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
