The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laura Semini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 Mobadtl. [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]


Search in 0.004secs, Finished in 0.005secs
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