Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
António Ravara
2010 – today
- 2013
[i2]António Ravara, Josep Silva: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems. CoRR abs/1308.0268 (2013)- 2012
- [j7]António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos: An Algebra of Behavioural Types. Inf. Comput. 212: 64-91 (2012)
- [e2]Natallia Kokash, António Ravara (Eds.): Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation. EPTCS 91, 2012
- [i1]Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos: Modular Session Types for Objects. CoRR abs/1205.5344 (2012)
- 2011
- [j6]Joana Martinho, António Ravara: Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. J. Autom. Reasoning 46(3-4): 293-323 (2011)
- [p2]Ivan Lanese, António Ravara, Hugo Torres Vieira: Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213
- [p1]Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro: Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325
- [e1]Mohammad Reza Mousavi, António Ravara (Eds.): Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 58, 2011
- 2010
- [c11]Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira: Modular session types for distributed object-oriented programming. POPL 2010: 299-312
- [c10]
2000 – 2009
- 2008
- [c9]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
- [c8]Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
- [c7]Joana Martinho, António Ravara: Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS 2008: 102-109
- 2007
- [c6]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
- 2006
- [j5]Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
- [j4]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)
- [c5]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
- 2004
- [c4]Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
- 2003
- [j3]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): 439-456 (2003)
- [j2]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): 61-79 (2003)
- 2000
- [c3]António Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
1990 – 1999
- 1999
- [j1]Vasco Thudichum Vasconcelos, António Ravara: Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999)
- [c2]Uwe Nestmann, António Ravara: Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325
- 1997
- [c1]António Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team