The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michele Loreti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rocco De Nicola, Michele Loreti
    A Modal Logic for KLAIM. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:339-354 [Conf]
  2. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Formalizing Properties of Mobile Agent Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:72-87 [Conf]
  3. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
    A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. [Citation Graph (0, 0)][DBLP]
    DAIS, 2005, pp:181-193 [Conf]
  4. Rocco De Nicola, Michele Loreti
    MoMo: A Modal Logic for Reasoning About Mobility. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:95-119 [Conf]
  5. 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]
  6. Lorenzo Bettini, Pilu Crescenzi, Gaia Innocenti, Michele Loreti, Leonardo Cecchi
    An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. [Citation Graph (0, 0)][DBLP]
    ICALT, 2004, pp:- [Conf]
  7. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    Structured Nets in KLAIM. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:174-180 [Conf]
  8. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    An infrastructure language for open nets. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:373-377 [Conf]
  9. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Software update via mobile agent based programming. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:32-36 [Conf]
  10. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  11. 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]
  12. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:3, pp:245-288 [Journal]
  13. Lorenzo Bettini, Michele Loreti, Rosario Pugliese
    Modelling Node Connectivity in Dynamically Evolving Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  14. Beatrice Capitani, Michele Loreti, Betti Venneri
    Hyperformulae, Parallel Deductions and Intersection Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  15. Rocco De Nicola, Michele Loreti
    A modal logic for mobile agents. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:1, pp:79-128 [Journal]
  16. Pilu Crescenzi, Michele Loreti, Rosario Pugliese
    Assessing CS1 java skills: a three-year experience. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2006, pp:348- [Conf]
  17. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
    Implementing a Distributed Mobile Calculus Using the IMC Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:63-79 [Journal]
  18. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
    Model checking mobile stochastic logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:42-70 [Journal]

  19. Implementing Session Centered Calculi. [Citation Graph (, )][DBLP]


  20. Assume-Guarantee Verification of Concurrent Systems. [Citation Graph (, )][DBLP]


  21. Simulation and Analysis of Distributed Systems in Klaim. [Citation Graph (, )][DBLP]


  22. Sessions and Pipelines for Structured Service Programming. [Citation Graph (, )][DBLP]


  23. Rate-Based Transition Systems for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  24. Modeling Fuzzy Behaviours in Concurrent Systems. [Citation Graph (, )][DBLP]


  25. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. [Citation Graph (, )][DBLP]


  26. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. [Citation Graph (, )][DBLP]


  27. Provably Correct Implementations of Services. [Citation Graph (, )][DBLP]


  28. On a Uniform Framework for the Definition of Stochastic Process Languages. [Citation Graph (, )][DBLP]


  29. A process Algebra Approach to Fuzzy Reasoning. [Citation Graph (, )][DBLP]


  30. Design of a Password-based Authentication Method for Wireless Networks. [Citation Graph (, )][DBLP]


  31. Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. [Citation Graph (, )][DBLP]


  32. MarCaSPiS: a Markovian Extension of a Calculus for Services. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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