Vasco Thudichum Vasconcelos

69 papers A* 1A 5B 8C 11Journal 15Unranked 27

Year	Rank	Type	Title / Venue / Authors
2023	—	`ed.`	Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023 SPLASH Companion Vasco Thudichum Vasconcelos
2019	A	`conf`	Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019	J	`jnl`	Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. J. Log. Algebraic Methods Program. Philipp Haller, Vasco Thudichum Vasconcelos
2017	—	`conf`	Inferring Types for Parallel Programs. PLACES@ETAPS Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
2016	J	`jnl`	Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. Marco Giunti, Vasco Thudichum Vasconcelos
2015	—	`conf`	Deductive Verification of Parallel Programs Using Why3. ICE César Santos, Francisco Martins, Vasco Thudichum Vasconcelos
2015	J	`jnl`	Modular Session Types for Objects Log. Methods Comput. Sci. Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
2015	A	`conf`	Protocol-based verification of message-passing parallel programs. OOPSLA Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2014	C	`conf`	Affine Sessions. COORDINATION Dimitris Mostrous, Vasco Thudichum Vasconcelos
2014	J	`jnl`	The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2014	C	`conf`	Typing Liveness in Multiparty Communicating Systems. COORDINATION Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
2013	—	`conf`	A Concurrent Programming Language with Refined Session Types. SEFM Workshops Juliana Franco, Vasco Thudichum Vasconcelos
2013	C	`conf`	Coordinating Phased Activities while Maintaining Progress. COORDINATION Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
2013	C	`conf`	Typing Progress in Communication-Centred Systems. COORDINATION Hugo Torres Vieira, Vasco Thudichum Vasconcelos
2012	J	`jnl`	An Algebra of Behavioural Types. Inf. Comput. António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
2012	—	`conf`	Linearly Refined Session Types LINEARITY Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
2012	J	`jnl`	Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. John Field, Vasco Thudichum Vasconcelos
2012	C	`conf`	Verification of MPI Programs Using Session Types. EuroMPI Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2011	—	`ch.`	Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2011	C	`conf`	Session Typing for a Featherweight Erlang. COORDINATION Dimitris Mostrous, Vasco Thudichum Vasconcelos
2010	J	`jnl`	18th International Conference on Concurrency Theory. Inf. Comput. Luís Caires, Vasco Thudichum Vasconcelos
2010	B	`conf`	A Linear Account of Session Types in the Pi Calculus. CONCUR Marco Giunti, Vasco Thudichum Vasconcelos
2010	J	`jnl`	Linear type theory for asynchronous session types. J. Funct. Program. Simon J. Gay, Vasco Thudichum Vasconcelos
2010	A*	`conf`	Modular session types for distributed object-oriented programming. POPL Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2010	—	`conf`	Runtime Verification for Generic Classes with ConGu 2. SBMF Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos
2010	—	`conf`	Types for X10 Clocks PLACES Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
2009	B	`conf`	Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
2009	C	`ed.`	Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings COORDINATION John Field, Vasco Thudichum Vasconcelos
2009	—	`conf`	Fundamentals of Session Types. SFM Vasco Thudichum Vasconcelos
2009	C	`conf`	Session types for linear multithreaded functional programming. PPDP Vasco Thudichum Vasconcelos
2009	—	`conf`	Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
2008	—	`conf`	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
2008	—	`conf`	Compiling the pi-calculus into a Multithreaded Typed Assembly Language. PLACES@DisCoTec Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
2008	—	`conf`	Preface. PLACES@DisCoTec Vasco Thudichum Vasconcelos, Nobuko Yoshida
2008	—	`conf`	Session-Based Compilation Framework for Multicore Programming. FMCO Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
2008	—	`conf`	Type-Directed Compilation for Multicore Programming. PLACES@DisCoTec Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2007	B	`ed.`	CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings CONCUR Luís Caires, Vasco Thudichum Vasconcelos
2007	B	`conf`	Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
2006	C	`conf`	Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
2006	—	`conf`	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. SecReT@ICALP Nobuko Yoshida, Vasco Thudichum Vasconcelos
2006	—	`conf`	SCC: A Service Centered Calculus. WS-FM Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2006	J	`jnl`	Type checking a multithreaded functional language with session types. Theor. Comput. Sci. Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
2006	J	`jnl`	Typing the Behavior of Software Components using Session Types. Fundam. Informaticae Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
2005	—	`conf`	History-Based Access Control for Distributed Processes. TGC Francisco Martins, Vasco Thudichum Vasconcelos
2005	J	`jnl`	Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. Vasco Thudichum Vasconcelos
2005	—	`conf`	MiKO - Mikado Koncurrent Objects. Foundations of Global Computing Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
2004	—	`conf`	A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
2004	B	`conf`	Session Types for Functional Multithreading. CONCUR Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
2003	B	`conf`	A Multi-threaded Asynchronous Language. PaCT Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
2003	—	`conf`	Lexically scoped distribution: what you see is what you get. FGC António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
2002	—	`conf`	The Impact of Linearity Information on the Performance of TyCO. TIP@MPC Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
2002	—	`conf`	Typing the Behavior of Objects and Component Using Session Types. FOCLASA Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
2001	J	`jnl`	Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
2000	C	`conf`	A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. CLUSTER Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
2000	—	`conf`	Fine Grained Multithreading with Process Calculi. IEEE PACT Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
2000	A	`conf`	Secure Information Flow as Typed Process Behaviour. ESOP Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2000	B	`conf`	Typing Non-uniform Concurrent Objects. CONCUR António Ravara, Vasco Thudichum Vasconcelos
1999	C	`conf`	A Virtual Machine for a Process Calculus. PPDP Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
1999	J	`jnl`	Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. Vasco Thudichum Vasconcelos, António Ravara
1999	J	`jnl`	Processes, Functions, and Datatypes. Theory Pract. Object Syst. Vasco Thudichum Vasconcelos
1998	—	`conf`	Distribution and Mobility with Lexical Scoping in Process Calculi. HLCL Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva
1998	A	`conf`	Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
1997	—	`conf`	Behavioural Types for a Calculus of Concurrent Objects. Euro-Par António Ravara, Vasco Thudichum Vasconcelos
1995	J	`jnl`	Unification of Kinded Infinite Trees. Inf. Process. Lett. Vasco Thudichum Vasconcelos
1994	—	`conf`	Predicative Polymorphism in Pi-Calculus. PARLE Vasco Thudichum Vasconcelos
1994	A	`conf`	Typed Concurrent Objects. ECOOP Vasco Thudichum Vasconcelos
1993	—	`conf`	A Typing System for a Calculus of Objects. ISOTAS Vasco Thudichum Vasconcelos, Mario Tokoro
1993	B	`conf`	Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR Vasco Thudichum Vasconcelos, Kohei Honda
1991	—	`conf`	Traces Semantics for Actor Systems. Object-Based Concurrent Computing Vasco Thudichum Vasconcelos, Mario Tokoro