Search the dblp DataBase

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]