The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Emilio Tuosto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Emilio Tuosto
    An Ada95 Implementation of a Network Coordination Language with Code Mobility. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1999, pp:199-210 [Conf]
  2. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
  3. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
    Modelling Fusion Calculus using HD-Automata. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:142-156 [Conf]
  4. Ivan Lanese, Emilio Tuosto
    Synchronized Hyperedge Replacement for Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:220-235 [Conf]
  5. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:33-48 [Conf]
  6. Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
    From Theory to Practice in Transactional Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:272-286 [Conf]
  7. Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:319-338 [Conf]
  8. Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
    Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:22-43 [Conf]
  9. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Model Checking for Nominal Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:1-24 [Conf]
  10. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  11. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    A LTS Semantics of Ambients via Graph Synchronization with Mobility. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:1-16 [Conf]
  12. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security and Dynamic Compositions of Open Systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2002, pp:1372-1377 [Conf]
  13. Gian Luigi Ferrari, Emilio Tuosto
    A debugging calculus for mobile ambients. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:- [Conf]
  14. Dan Hirsch, Emilio Tuosto
    SHReQ: Coordinating Application Level QoS. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:425-434 [Conf]
  15. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Graph-Based Models of Internetworking Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:242-266 [Conf]
  16. Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
    Verication On The Web Of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:72-74 [Conf]
  17. Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
    Calculi for Network Aware Programming. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:23-28 [Conf]
  18. Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
    Translating Orc Features into Petri Nets and the Join Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:123-137 [Conf]
  19. Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto
    A Coordination-based Methodology for Security Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:23-46 [Journal]
  20. Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto
    Security Issues in Component-based Design. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  21. Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto
    A Logic for Application Level QoS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:135-159 [Journal]
  22. Emilio Tuosto
    Tarzan: Communicating and Moving in Wireless Jungles. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:77-94 [Journal]
  23. Emilio Tuosto, Hugo Torres Vieira
    An Observational Model for Spatial Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:229-254 [Journal]
  24. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:325-365 [Journal]
  25. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
    Coordination Via Types in an Event-Based Framework. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:66-80 [Conf]

  26. History Dependent Automata for Service Compatibility. [Citation Graph (, )][DBLP]


  27. Event-Based Service Coordination. [Citation Graph (, )][DBLP]


  28. A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP]


  29. Multiparty Sessions in SOC. [Citation Graph (, )][DBLP]


  30. Testing Attribute-Based Transactions in SOC. [Citation Graph (, )][DBLP]


  31. ICGT 2008 Doctoral Symposium. [Citation Graph (, )][DBLP]


  32. Network Applications of Graph Bisimulation. [Citation Graph (, )][DBLP]


  33. Service Oriented Architectural Design. [Citation Graph (, )][DBLP]


  34. Refactoring Long Running Transactions. [Citation Graph (, )][DBLP]


  35. Heuristic Methods for Security Protocols [Citation Graph (, )][DBLP]


  36. Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions [Citation Graph (, )][DBLP]


  37. Toward a Formal Semantics for Autonomic Components [Citation Graph (, )][DBLP]


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


Search in 0.003secs, Finished in 0.006secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002