The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Milazzo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samuele Carpineti, Cosimo Laneve, Paolo Milazzo
    BoPi - A Distributed Machine for Experimenting Web Services Technologies. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:202-211 [Conf]
  2. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:108-122 [Conf]
  3. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    Bisimulation Congruences in the Calculus of Looping Sequences. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:93-107 [Conf]
  4. Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Probabilistic Model for Molecular Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:13-27 [Journal]
  5. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Calculus of Looping Sequences for Modelling Microbiological Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:21-35 [Journal]
  6. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
    Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. [Citation Graph (0, 0)][DBLP]
    ISBRA, 2007, pp:638-649 [Conf]

  7. Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. [Citation Graph (, )][DBLP]


  8. The Calculus of Looping Sequences for Modeling Biological Membranes. [Citation Graph (, )][DBLP]


  9. The Calculus of Looping Sequences. [Citation Graph (, )][DBLP]


  10. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. [Citation Graph (, )][DBLP]


  11. On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems [Citation Graph (, )][DBLP]


  12. A Process Calculus for Molecular Interaction Maps [Citation Graph (, )][DBLP]


  13. Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology [Citation Graph (, )][DBLP]


  14. Modelling the Dynamics of an Aedes albopictus Population [Citation Graph (, )][DBLP]


  15. An Intermediate Language for the Simulation of Biological Systems. [Citation Graph (, )][DBLP]


  16. Timed P Automata. [Citation Graph (, )][DBLP]


  17. Translating Stochastic CLS into Maude. [Citation Graph (, )][DBLP]


  18. Spatial Calculus of Looping Sequences. [Citation Graph (, )][DBLP]


Search in 0.004secs, 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002