dblp.uni-trier.dewww.uni-trier.de

Laura Semini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Gianluca Amato [12] [13]
2Vincenzo Ambriola [1] [2] [3]
3Giovanni A. Cignoni [1] [2] [3]
4Massimo Coppola [12] [13]
5Alessandro Fantechi [14]
6Gian Luigi Ferrari (GianLuigi Ferrari) [7] [8]
7Stefania Gnesi [5] [12] [13] [14]
8Stephen Gorton [16]
9Carlo Montangero [4] [6] [7] [8] [9] [10] [11] [15] [16] [17] [18] [19]
10Stephan Reiff-Marganiec [16] [17] [18]
11Francesca Scozzari [12] [13]
12Simone Semprini [7] [8] [11]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)