Behavioural Types for a Calculus of Concurrent Objects. - António Ravara; Vasco Thudichum Vasconcelos (Euro-Par, 1997)

Semantics of Objects as Processes (SOAP). - Uwe Nestmann; António Ravara (ECOOP Workshops, 1999)

Communication Errors in the pi-Calculus are Undecidable. - Vasco Thudichum Vasconcelos; António Ravara (Inf. Process. Lett., 1999)

Typing Non-uniform Concurrent Objects. - António Ravara; Vasco Thudichum Vasconcelos (CONCUR, 2000)

Typing the Behavior of Objects and Component Using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (FOCLASA, 2002)

Lexically scoped distribution: what you see is what you get. - António Ravara; Ana Gualdina Almeida Matos; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (FGC, 2003)

Session Types for Functional Multithreading. - Vasco Thudichum Vasconcelos; António Ravara; Simon J. Gay (CONCUR, 2004)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Typing the Behavior of Software Components using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (Fundam. Informaticae, 2006)

Type checking a multithreaded functional language with session types. - Vasco Thudichum Vasconcelos; Simon J. Gay; António Ravara (Theor. Comput. Sci., 2006)

Disciplining Orchestration and Conversation in Service-Oriented Computing. - Ivan Lanese; Francisco Martins; Vasco Thudichum Vasconcelos; António Ravara (SEFM, 2007)

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (FMOODS, 2008)

Dynamic Recovering of Long Running Transactions. - Cátia Vaz; Carla Ferreira 001; António Ravara (TGC, 2008)

Encoding cryptographic primitives in a calculus with polyadic synchronization. - Joana Martinho; António Ravara (TMFCS, 2008)

A simple proof system for lock-free concurrency. - Luís Caires; Carla Ferreira 001; António Ravara (PSPL@LICS, 2010)

Modular session types for distributed object-oriented programming. - Simon J. Gay; Vasco Thudichum Vasconcelos; António Ravara; Nils Gesbert; Alexandre Z. Caldeira (POPL, 2010)

Responsive Choice in Mobile Processes. - Maxime Gamboni; António Ravara (TGC, 2010)

Advanced Mechanisms for Service Combination and Transactions. - Carla Ferreira 001; Ivan Lanese; António Ravara; Hugo Torres Vieira; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

Behavioral Theory for Session-Oriented Calculi. - Ivan Lanese; António Ravara; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. - Joana Martinho; António Ravara (J. Autom. Reason., 2011)

An Algebra of Behavioural Types. - António Ravara; Pedro Resende; Vasco Thudichum Vasconcelos (Inf. Comput., 2012)

Towards Static Deadlock Resolution in the π-Calculus. - Marco Giunti; António Ravara (TGC, 2013)

Session Types as Generic Process Types. - Simon J. Gay; Nils Gesbert; António Ravara (EXPRESS/SOS, 2014)

The stream-based service-centred calculus: a foundation for service-oriented programming. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (Formal Aspects Comput., 2014)

Foreword. - Mohammad Reza Mousavi 001; António Ravara (Sci. Comput. Program., 2014)

Revisiting Concurrent Separation Logic and Operational Semantics. - Pedro Soares; António Ravara; Simão Melo de Sousa (PDP, 2015)

Unlocking Blocked Communicating Processes. - Adrian Francalanza; Marco Giunti; António Ravara (WWV, 2015)

Modular Session Types for Objects - Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos (Log. Methods Comput. Sci., 2015)

Editorial for the JLAMP Special Issue on automated specification and verification of web systems. - António Ravara; Josep Silva (J. Log. Algebraic Methods Program., 2015)

From atomic variables to data-centric concurrency control. - Hervé Paulino; Daniel Parreira; Nuno Delgado; António Ravara; Ana Gualdina Almeida Matos (SAC, 2016)

The While language. - Cláudio Vasconcelos; António Ravara (CoRR, 2016)

Revision Proposal for the Mool Language. - Cláudio Vasconcelos; António Ravara (CoRR, 2016)

Foundations of Session Types and Behavioural Contracts. - 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 (ACM Comput. Surv., 2016)

Automated verification of programs and Web systems. - Maurice H. ter Beek; Alexei Lisitsa 001; Andrei P. Nemytykh; António Ravara (J. Log. Algebraic Methods Program., 2016)

Preface to special issue: behavioural types. - Simon J. Gay; António Ravara (Math. Struct. Comput. Sci., 2016)

Foreword. - Natallia Kokash; António Ravara (Sci. Comput. Program., 2016)

From object-oriented code with assertions to behavioural types. - Cláudio Vasconcelos; António Ravara (SAC, 2017)

Revisiting concurrent separation logic. - Pedro Soares; António Ravara; Simão Melo de Sousa (J. Log. Algebraic Methods Program., 2017)

Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória. - Patrícia Monteiro; João Lourenço; António Ravara (CoRR, 2018)

A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm. - António Ravara (HCVS, 2018)

Visualização e animação de autómatos em Ocsigen Framework. - Rita Macedo; Artur Miguel Dias; António Ravara (CoRR, 2019)

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. - Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias Jakobsen; Mikkel Kettunen; António Ravara (APLAS, 2020)

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. - Pedro Barroso; Mário Pereira; António Ravara (PAAR+SC²@IJCAR, 2020)

Typestates to Automata and back: a tool. - André Trindade; João Mota; António Ravara (ICE, 2020)

Cameleer: A Deductive Verification Tool for OCaml. - Mário Pereira; António Ravara (CAV (2), 2021)

Java Typestate Checker. - João Mota; Marco Giunti; António Ravara (COORDINATION, 2021)

Retrofitting Typestates into Rust. - José Duarte; António Ravara (SBLP, 2021)

Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. - Pedro Barroso; Mário Pereira; António Ravara (VSTTE, 2022)

On using VeriFast, VerCors, Plural, and KeY to check object usage. - João Mota; Marco Giunti; António Ravara (CoRR, 2022)

Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version). - Pedro Barroso; Mário Pereira; António Ravara (CoRR, 2022)

Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. - Marco Giunti; Hervé Paulino; António Ravara (CoRR, 2022)

A Java typestate checker supporting inheritance. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (Sci. Comput. Program., 2022)

Taming stateful computations in Rust with typestates. - José Duarte; António Ravara (J. Comput. Lang., 2022)

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). - João Mota; Marco Giunti; António Ravara (ECOOP, 2023)

Anticipation of Method Execution in Mixed Consistency Systems. - Marco Giunti; Hervé Paulino; António Ravara (SAC, 2023)

Sound Atomicity Inference for Data-Centric Synchronization. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (CoRR, 2023)

AtomiS: Data-Centric Synchronization Made Practical. - Hervé Paulino; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara (Proc. ACM Program. Lang., 2023)

TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts). - João Afonso; Elvis Konjoh Selabi; Maurizio Murgia 001; António Ravara; Emilio Tuosto (COORDINATION, 2024)

Behavioural Up/down Casting For Statically Typed Languages. - Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara (ECOOP, 2024)