VAGLINI, GIGLIOLA Statistiche
VAGLINI, GIGLIOLA
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; Vanneschi, M; Vaglini, Gigliola
A framework for data-flow distributed processing
1980-01-01 DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco
A hyper-heuristic methodology for coordinating swarms of robots in target search
2021-01-01 Cimino, Mario G. C. A.; Minici, Domenico; Monaco, Manilo; Petrocchi, Stefano; Vaglini, Gigliola
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE
2005-01-01 Santone, A.; Vaglini, Gigliola
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining
2017-01-01 Carmignani, Gionata; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Failli, Franco; Santone, Antonella; 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 stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage
2018-01-01 Alfeo, Antonio L.; Cimino, Mario G. C. A.; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola
A Tableau-based Procedure for Model Checking Programs
2002-01-01 Santone, A.; Vaglini, Gigliola
A “pay-how-you-drive” car insurance approach through cluster analysis
2018-01-01 Francesca Carfora, Maria; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; 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 Emergent Approach to Text Analysis Based on a Connectionist Model and the Web
2013-01-01 Cimino, MARIO GIOVANNI COSIMO ANTONIO; Vaglini, Gigliola
An emergent strategy for characterizing urban hotspot dynamics via GPS data
2017-01-01 Alfeo, Antonio L.; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola
An interactive debugger for a concurrent language
1985-01-01 DE FRANCESCO, Nicoletta; Latella, D.; 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; Vanneschi, M; Vaglini, Gigliola | |
A framework for data-flow distributed processing | 1-gen-1980 | DE FRANCESCO, Nicoletta; Perego, G.; Vaglini, Gigliola; Vanneschi, Marco | |
A hyper-heuristic methodology for coordinating swarms of robots in target search | 1-gen-2021 | Cimino, Mario G. C. A.; Minici, Domenico; Monaco, Manilo; Petrocchi, Stefano; Vaglini, Gigliola | |
A LOCAL APPROACH FOR TEMPORAL MODEL CHECKING OF JAVA BYTECODE | 1-gen-2005 | Santone, A.; Vaglini, Gigliola | |
A new perspective on Process-oriented Software Engineering based on BPMN Process Mining | 1-gen-2017 | Carmignani, Gionata; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Failli, Franco; Santone, Antonella; 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 stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage | 1-gen-2018 | Alfeo, Antonio L.; Cimino, Mario G. C. A.; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola | |
A Tableau-based Procedure for Model Checking Programs | 1-gen-2002 | Santone, A.; Vaglini, Gigliola | |
A “pay-how-you-drive” car insurance approach through cluster analysis | 1-gen-2018 | Francesca Carfora, Maria; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; 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 Emergent Approach to Text Analysis Based on a Connectionist Model and the Web | 1-gen-2013 | Cimino, MARIO GIOVANNI COSIMO ANTONIO; Vaglini, Gigliola | |
An emergent strategy for characterizing urban hotspot dynamics via GPS data | 1-gen-2017 | Alfeo, Antonio L.; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Egidi, Sara; Lepri, Bruno; Vaglini, Gigliola | |
An interactive debugger for a concurrent language | 1-gen-1985 | DE FRANCESCO, Nicoletta; Latella, D.; Vaglini, Gigliola |