Search the dblp DataBase

Publications of Author

1. Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
   Everything buT Assignment. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE (2), 1994, pp:132-146 [Conf]
   
2. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
   Mobile Agents Coordination in Mob_adtl. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2000, pp:232-248 [Conf]
   
3. Carlo Montangero, Laura Semini
   A Logical View of Choreography. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2006, pp:179-193 [Conf]
   
4. Carlo Montangero, Laura Semini
   Composing Specifications for Coordination. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 1999, pp:118-133 [Conf]
   
5. Carlo Montangero, Laura Semini, Simone Semprini
   Logic Based Coordination for Event-Driven Self-healing Distributed Systems. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2004, pp:248-263 [Conf]
   
6. Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
   A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. [Citation Graph (0, 0)][DBLP]
   ICLP Workshop: Process-Based Parallel Logic Programming, 1994, pp:64-69 [Conf]
   
7. Stefania Gnesi, Laura Semini
   Implementation of Coordination Primitives in a Mobile Architecture. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1999, pp:1012-1018 [Conf]
   
8. Carlo Montangero, Laura Semini
   istributed States Logic. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:55-57 [Conf]
   
9. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
   Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:161-175 [Conf]
   
10. Alessandro Fantechi, Stefania Gnesi, Laura Semini
    Achieving Fault Tolerance by a Formally Validated Interaction Policy. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:133-152 [Conf]
    
11. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
    Mark, a Reasoning Kit for Mobility. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:2, pp:137-150 [Journal]
    
12. Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini
    A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:79-93 [Journal]
    
13. Carlo Montangero, Laura Semini
    Distributed States Temporal Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
    
14. Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
    Modeling Web Applications by the Multiple Levels of Integrity Policy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:167-185 [Journal]
    
15. Laura Semini, Carlo Montangero
    A Refinement Calculus for Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:2, pp:79-140 [Journal]
    
16. Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
    Logic-Based Detection of Conflicts in AppelPolicies. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:257-271 [Conf]
    
17. 
    StPowla: SOA, Policies and Workflows. [Citation Graph (, )][DBLP]
    
    
18. 
    Barbed Model-Driven Software Development: A Case Study. [Citation Graph (, )][DBLP]