dblp.uni-trier.dewww.uni-trier.de

Vasco Thudichum Vasconcelos Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
42EEJohn Field, Vasco Thudichum Vasconcelos: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Springer 2009
41EEVasco Thudichum Vasconcelos: Session types for linear multithreaded functional programming. PPDP 2009: 1-6
40EEIsabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
39EEVasco Thudichum Vasconcelos: Fundamentals of Session Types. SFM 2009: 158-186
38EEVasco Thudichum Vasconcelos, Nobuko Yoshida: Preface. Electr. Notes Theor. Comput. Sci. 241: 1-2 (2009)
37EEKohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009)
36EETiago 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
35EENobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246
34EELuí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
32EEIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
31EENobuko 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
30EEIsabel 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
29EEMichele 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
28EEAntonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
27EEVasco 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
26EEFrancisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: MiKO - Mikado Koncurrent Objects. Foundations of Global Computing 2005
25EEFrancisco Martins, Vasco Thudichum Vasconcelos: History-Based Access Control for Distributed Processes. TGC 2005: 98-115
24EEVasco Thudichum Vasconcelos: Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15(1): 101-127 (2005)
2004
23EEVasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
22EELorenzo 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
21EEHervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva: A Multi-threaded Asynchronous Language. PaCT 2003: 316-323
20EEAntonio 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)
19EEAntó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
18EEFrancisco 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
17EELuí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
16EELuí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-
15EEAntónio Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
14EEKohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
13EELuí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
11EEVasco 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
9EEKohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP 1998: 122-138
8EEVasco 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
7EEAntónio Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561
1995
6EEVasco Thudichum Vasconcelos: Unification of Kinded Infinite Trees. Inf. Process. Lett. 55(6): 323-328 (1995)
1994
5EEVasco Thudichum Vasconcelos: Typed Concurrent Objects. ECOOP 1994: 100-117
4 Vasco Thudichum Vasconcelos: Predicative Polymorphism in Pi-Calculus. PARLE 1994: 425-437
1993
3EEVasco 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)