The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vasco Thudichum Vasconcelos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
    Fine Grained Multithreading with Process Calculi. [Citation Graph (0, 0)][DBLP]
    IEEE PACT, 2000, pp:217-226 [Conf]
  2. António Ravara, Vasco Thudichum Vasconcelos
    Typing Non-uniform Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:474-488 [Conf]
  3. Vasco Thudichum Vasconcelos, Kohei Honda
    Principal Typing Schemes in a Polyadic pi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:524-538 [Conf]
  4. Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
    Session Types for Functional Multithreading. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:497-511 [Conf]
  5. Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
    MiKO - Mikado Koncurrent Objects. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  6. Vasco Thudichum Vasconcelos
    Typed Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1994, pp:100-117 [Conf]
  7. Vasco Thudichum Vasconcelos, Mario Tokoro
    Traces Semantics for Actor Systems. [Citation Graph (0, 0)][DBLP]
    Object-Based Concurrent Computing, 1991, pp:141-162 [Conf]
  8. Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
    Language Primitives and Type Discipline for Structured Communication-Based Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:122-138 [Conf]
  9. Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
    Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:180-199 [Conf]
  10. António Ravara, Vasco Thudichum Vasconcelos
    Behavioural Types for a Calculus of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:554-561 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:179-207 [Conf]
  12. Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
    Checking the Conformance of Java Classes Against Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:494-513 [Conf]
  13. Vasco Thudichum Vasconcelos, Mario Tokoro
    A Typing System for a Calculus of Objects. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:460-474 [Conf]
  14. Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
    A Multi-threaded Asynchronous Language. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:316-323 [Conf]
  15. Vasco Thudichum Vasconcelos
    Predicative Polymorphism in Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:425-437 [Conf]
  16. Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
    A Virtual Machine for a Process Calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:244-260 [Conf]
  17. Francisco Martins, Vasco Thudichum Vasconcelos
    History-Based Access Control for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:98-115 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  19. Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
    The Impact of Linearity Information on the Performance of TyCO. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal]
  20. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal]
  21. Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
    Typing the Behavior of Objects and Component Using Session Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  22. Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva
    Distribution and Mobility with Lexical Scoping in Process Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
  23. Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
    Typing the Behavior of Software Components using Session Types. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:583-598 [Journal]
  24. Vasco Thudichum Vasconcelos
    Unification of Kinded Infinite Trees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:6, pp:323-328 [Journal]
  25. Vasco Thudichum Vasconcelos, António Ravara
    Communication Errors in the pi-Calculus are Undecidable. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:71, n:5-6, pp:229-233 [Journal]
  26. Vasco Thudichum Vasconcelos
    Lambda and pi calculi, CAM and SECD machines. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:1, pp:101-127 [Journal]
  27. Vasco Thudichum Vasconcelos
    Processes, Functions, and Datatypes. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:2, pp:97-110 [Journal]
  28. Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
    Fine-Grained Multithreading with Process Calculi. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2001, v:50, n:8, pp:852-862 [Journal]
  29. Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
    Type checking a multithreaded functional language with session types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:368, n:1-2, pp:64-87 [Journal]
  30. Nobuko Yoshida, Vasco Thudichum Vasconcelos
    Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:73-93 [Journal]

  31. A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. [Citation Graph (, )][DBLP]


  32. Session-Based Compilation Framework for Multicore Programming. [Citation Graph (, )][DBLP]


  33. Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP]


  34. Modular session types for distributed object-oriented programming. [Citation Graph (, )][DBLP]


  35. Session types for linear multithreaded functional programming. [Citation Graph (, )][DBLP]


  36. Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP]


  37. Fundamentals of Session Types. [Citation Graph (, )][DBLP]


  38. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. [Citation Graph (, )][DBLP]


  39. Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language [Citation Graph (, )][DBLP]


  40. Compiling the pi-calculus into a Multithreaded Typed Assembly Language. [Citation Graph (, )][DBLP]


  41. Preface. [Citation Graph (, )][DBLP]


  42. Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002