António Ravara

2008
14	EE	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
13	EE	Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
12		Joana Martinho, António Ravara: Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS 2008: 102-109
2007
11	EE	Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
2006
10	EE	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
9	EE	Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
8	EE	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)
2004
7	EE	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
2003
6	EE	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)
5	EE	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)
2000
4	EE	António Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
1999
3	EE	Uwe Nestmann, António Ravara: Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325
2	EE	Vasco Thudichum Vasconcelos, António Ravara: Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999)
1997
1		António Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561

Coauthor Index

1	Michele Boreale	[10]
2	Roberto Bruni	[10]
3	Luís Caires	[10]
4	Luís Cruz-Filipe	[14]
5	Carla Ferreira	[13]
6	Simon J. Gay	[7] [8]
7	Ivan Lanese	[10] [11] [14]
8	Luís M. B. Lopes	[5]
9	Michele Loreti	[10]
10	Joana Martinho	[12]
11	Francisco Martins	[10] [11] [14]
12	Ana Gualdina Almeida Matos (Ana Almeida Matos)	[5]
13	Ugo Montanari	[10]
14	Uwe Nestmann	[3]
15	Rocco De Nicola	[10]
16	Davide Sangiorgi	[10]
17	Antonio Vallecillo	[6] [9]
18	Vasco Thudichum Vasconcelos	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [14]
19	Cátia Vaz	[13]
20	Gianluigi Zavattaro	[10]

Colors in the list of coauthors