Vasco Thudichum Vasconcelos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
1993–2019
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ESOP | Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. | Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2015 | OOPSLA | Protocol-based verification of message-passing parallel programs. | Hugo A. Lpez, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Csar Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2014 | Coordination | Affine Sessions. | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
| 2014 | Coordination | Typing Liveness in Multiparty Communicating Systems. | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
| 2013 | Coordination | Coordinating Phased Activities while Maintaining Progress. | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |
| 2013 | Coordination | Typing Progress in Communication-Centred Systems. | Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
| 2013 | SEFM | A Concurrent Programming Language with Refined Session Types. | Juliana Franco, Vasco Thudichum Vasconcelos |
| 2011 | Coordination | Session Typing for a Featherweight Erlang. | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
| 2010 | CONCUR | A Linear Account of Session Types in the Pi Calculus. | Marco Giunti, Vasco Thudichum Vasconcelos |
| 2010 | POPL | Modular session types for distributed object-oriented programming. | Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira |
| 2009 | PPDP | Session types for linear multithreaded functional programming. | Vasco Thudichum Vasconcelos |
| 2009 | RV | Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos |
| 2007 | SEFM | Disciplining Orchestration and Conversation in Service-Oriented Computing. | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, Antnio Ravara |
| 2006 | ICFEM | Checking the Conformance of Java Classes Against Algebraic Specifications. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis |
| 2004 | CONCUR | Session Types for Functional Multithreading. | Vasco Thudichum Vasconcelos, Antnio Ravara, Simon J. Gay |
| 2003 | PACT | A Multi-threaded Asynchronous Language. | Herv Paulino, Pedro Marques, Lus M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva |
| 2000 | CLUSTER | A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. | Lus M. B. Lopes, lvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
| 2000 | CONCUR | Typing Non-uniform Concurrent Objects. | Antnio Ravara, Vasco Thudichum Vasconcelos |
| 2000 | ESOP | Secure Information Flow as Typed Process Behaviour. | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 1999 | PPDP | A Virtual Machine for a Process Calculus. | Lus M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
| 1998 | ESOP | Language Primitives and Type Discipline for Structured Communication-Based Programming. | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
| 1997 | EuroPar | Behavioural Types for a Calculus of Concurrent Objects. | Antnio Ravara, Vasco Thudichum Vasconcelos |
| 1994 | ECOOP | Typed Concurrent Objects. | Vasco Thudichum Vasconcelos |
| 1993 | CONCUR | Principal Typing Schemes in a Polyadic pi-Calculus. | Vasco Thudichum Vasconcelos, Kohei Honda |