VAGLINI, GIGLIOLA Statistiche
VAGLINI, GIGLIOLA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS
2009-01-01 Santone, Antonella; Vaglini, Gigliola; VILLANI MARIA, Luisa
A framework for data-flow distributed processing
1980-01-01 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
A Framework for Data-Flow Distributed Processing
1980-01-01 DE FRANCESCO, Nicoletta; Perego, G; Vanneschi, M; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE
2005-01-01 Santone, A.; Vaglini, Gigliola
A Non-Standard Semantics for Generating Reduced Transition Systems
1996-01-01 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
A Partial Order Semantics for FIFO-Nets
1998-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Petri Nets Semantics for Data Flow Networks
1995-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs
2002-01-01 Santone, A.; Vaglini, Gigliola
A user-friendly interface to specify temporal properties of concurrent systems
2007-01-01 DE FRANCESCO, Nicoletta; Santone, A; Vaglini, Gigliola
Abstract Interpretation of Trace Semantics for Concurrent Calculi
1999-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Vaglini, Gigliola
Abstract reduction in directed model checking CCS processes
2012-01-01 Santone, A; Vaglini, Gigliola
Adaptive exploration of a UAVs swarm for distributed targets detection and tracking
2019-01-01 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
2016-01-01 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
2001-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An interactive debugger for a concurrent language
1985-01-01 DE FRANCESCO, Nicoletta; Latella, D.; Vaglini, Gigliola
Ant Colony Optimization for Deadlock Detection in Concurrent Systems
2011-01-01 Francesca, G.; Santone, A.; Vaglini, Gigliola; Villani, M. L.
Assessing Refugees' Integration via Spatio-temporal Similarities of Mobility and Calling Behaviors
2019-01-01 Alfeo, Antonio L.; Cimino, Mario G. C. A.; Lepri, Bruno; ‘Sandy’ Pentland, Alex; Vaglini, Gigliola
Automatable integrations for the reuse of concurrent specifications
2001-01-01 Santone, A.; Vaglini, Gigliola
Checking Safety Proprieties through Simulation and Heuristic Search
2013-01-01 DE FRANCESCO, Nicoletta; Lettieri, Giuseppe; Santone, A; Vaglini, Gigliola
Combining stigmergic and flocking behaviors to coordinate swarms of drones performing target search
2015-01-01 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Lazzeri, Alessandro; Vaglini, Gigliola
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 |