Vasco Thudichum Vasconcelos

	2009
42		John Field, Vasco Thudichum Vasconcelos: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Springer 2009
41		Vasco Thudichum Vasconcelos: Session types for linear multithreaded functional programming. PPDP 2009: 1-6
40		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
39		Vasco Thudichum Vasconcelos: Fundamentals of Session Types. SFM 2009: 158-186
38		Vasco Thudichum Vasconcelos, Nobuko Yoshida: Preface. Electr. Notes Theor. Comput. Sci. 241: 1-2 (2009)
37		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009)
36		Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electr. Notes Theor. Comput. Sci. 241: 57-84 (2009)
	2008
35		Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246
34		Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos: Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77
	2007
33		Luís Caires, Vasco Thudichum Vasconcelos: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings Springer 2007
32		Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
31		Nobuko Yoshida, Vasco Thudichum Vasconcelos: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electr. Notes Theor. Comput. Sci. 171(4): 73-93 (2007)
	2006
30		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis: Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513
29		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: SCC: A Service Centered Calculus. WS-FM 2006: 38-57
28		Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
27		Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara: Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006)
	2005
26		Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: MiKO - Mikado Koncurrent Objects. Foundations of Global Computing 2005
25		Francisco Martins, Vasco Thudichum Vasconcelos: History-Based Access Control for Distributed Processes. TGC 2005: 98-115
24		Vasco Thudichum Vasconcelos: Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15(1): 101-127 (2005)
	2004
23		Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
22		Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207
	2003
21		Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
20		Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Objects and Component Using Session Types. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
19		António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: Lexically scoped distribution: what you see is what you get. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
	2002
18		Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos: The Impact of Linearity Information on the Performance of TyCO. Electr. Notes Theor. Comput. Sci. 75: (2002)
	2001
17		Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers 50(8): 852-862 (2001)
	2000
16		Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. CLUSTER 2000: 297-
15		António Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
14		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
13		Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: Fine Grained Multithreading with Process Calculi. IEEE PACT 2000: 217-226
	1999
12		Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos: A Virtual Machine for a Process Calculus. PPDP 1999: 244-260
11		Vasco Thudichum Vasconcelos, António Ravara: Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999)
10		Vasco Thudichum Vasconcelos: Processes, Functions, and Datatypes. TAPOS 5(2): 97-110 (1999)
	1998
9		Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138
8		Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva: Distribution and Mobility with Lexical Scoping in Process Calculi. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
	1997
7		António Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561
	1995
6		Vasco Thudichum Vasconcelos: Unification of Kinded Infinite Trees. Inf. Process. Lett. 55(6): 323-328 (1995)
	1994
5		Vasco Thudichum Vasconcelos: Typed Concurrent Objects. ECOOP 1994: 100-117
4		Vasco Thudichum Vasconcelos: Predicative Polymorphism in Pi-Calculus. PARLE 1994: 425-437
	1993
3		Vasco Thudichum Vasconcelos, Kohei Honda: Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR 1993: 524-538
2		Vasco Thudichum Vasconcelos, Mario Tokoro: A Typing System for a Calculus of Objects. ISOTAS 1993: 460-474
	1991
1		Vasco Thudichum Vasconcelos, Mario Tokoro: Traces Semantics for Actor Systems. Object-Based Concurrent Computing 1991: 141-162

Coauthor Index

1	João Abreu	[30]
2	Lorenzo Bettini	[22]
3	Michele Boreale	[29]
4	Roberto Bruni	[29]
5	Luís Caires	[29] [33]
6	Tiago Cogumbreiro	[36]
7	Luís Cruz-Filipe	[34]
8	Daniele Falassi	[22]
9	John Field	[42]
10	Álvaro Reis Figueira	[16]
11	Simon J. Gay	[23] [27]
12	Kohei Honda	[3] [9] [14] [35] [37]
13	Makoto Kubo	[9]
14	Marc Lacoste	[22]
15	Ivan Lanese	[29] [32] [34]
16	Antónia Lopes	[30] [40]
17	Luís M. B. Lopes	[8] [12] [13] [16] [17] [18] [19] [21] [22] [26]
18	Michele Loreti	[29]
19	Pedro Marques	[21]
20	Francisco Martins	[18] [25] [26] [29] [32] [34] [36]
21	Ana Gualdina Almeida Matos (Ana Almeida Matos)	[19]
22	Ugo Montanari	[29]
23	Rocco De Nicola	[22] [29]
24	Isabel Nunes	[30] [40]
25	Licínio Oliveira	[22]
26	Hervé Paulino	[21] [22] [35]
27	António Ravara	[7] [11] [15] [19] [20] [23] [27] [28] [29] [32] [34]
28	Luís S. Reis	[30]
29	Liliana Salvador	[26]
30	Davide Sangiorgi	[29]
31	Fernando M. A. Silva	[8] [12] [13] [16] [17] [21]
32	Mario Tokoro	[1] [2]
33	Antonio Vallecillo	[20] [28]
34	Nobuko Yoshida	[14] [31] [35] [37] [38]
35	Gianluigi Zavattaro	[29]

Colors in the list of coauthors