VAGLINI, GIGLIOLA Statistiche

VAGLINI, GIGLIOLA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS 1-gen-2009 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
A framework for data-flow distributed processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
A Framework for Data-Flow Distributed Processing 1-gen-1980 DE FRANCESCO, Nicoletta; Perego, G; Vanneschi, M; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE 1-gen-2005 Santone, A.; Vaglini, Gigliola
A Non-Standard Semantics for Generating Reduced Transition Systems 1-gen-1996 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A Partial Order Semantics for FIFO-Nets 1-gen-1998 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs 1-gen-2002 Santone, A.; Vaglini, Gigliola
A user-friendly interface to specify temporal properties of concurrent systems 1-gen-2007 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Abstract reduction in directed model checking CCS processes 1-gen-2012 Santone, A; Vaglini, Gigliola
Adaptive exploration of a UAVs swarm for distributed targets detection and tracking 1-gen-2019 Cimino, Mario G. C. A.; Lega, Massimiliano; Monaco, Manilo; Vaglini, Gigliola
An adaptive stigmergy-based system for evaluating technological indicator dynamics in the context of smart specialization 1-gen-2016 Alfeo, A. L.; Appio, FRANCESCO PAOLO; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Lazzeri, Alessandro; Martini, Antonella; Vaglini, Gigliola
An approach to system design based on P/T net simulation 1-gen-2001 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An interactive debugger for a concurrent language 1-gen-1985 DE FRANCESCO, Nicoletta; Latella, D.; Vaglini, Gigliola
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 1-gen-2011 Francesca, G.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors 1-gen-2019 Alfeo, Antonio L.; Cimino, Mario G. C. A.; Lepri, Bruno; ‘Sandy’ Pentland, Alex; Vaglini, Gigliola
Automatable integrations for the reuse of concurrent specifications 1-gen-2001 Santone, A.; Vaglini, Gigliola
Checking Safety Proprieties through Simulation and Heuristic Search 1-gen-2013 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, A; Vaglini, Gigliola
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search 1-gen-2015 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Lazzeri, Alessandro; Vaglini, Gigliola