Maria Luisa Villani

Author Info

Name	Affiliation	Papers
MARIA LUISA VILLANI	ENEA, Casaccia Research Centre, Roma, Italia	32
Collaborators	Citations	PageRank
53	1079	50.41
Referers	Referees	References
2090	743	474

Search Limit

1001000

Publications (32 rows)

Collaborators (53 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Creative design of emergency management scenarios driven by semantics: An application to smart cities.	1	0.37	2019
An Automatic Approach to Qualitative Risk Assessment in Metropolitan Areas.	0	0.34	2019
M-CREAM: A Tool for Creative Modelling of Emergency Scenarios in Smart Cities.	2	0.37	2018
Gamified Software To Support The Design Of Business Innovation	0	0.34	2018
A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living	2	0.37	2017
A methodology for modeling and measuring interdependencies of information and communications systems used for public administration and eGovernment services.	0	0.34	2016
TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios	0	0.34	2016
A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities.	0	0.34	2014
A Semantics-Based Approach to Generation of Emergency Management Scenario Models	3	0.37	2014
Towards ontological foundations of knowledge related to the emissions trading system	2	0.45	2013
Incremental construction of systems: An efficient characterization of the lacking sub-system.	11	0.53	2013
Semantic Modeling of the Emissions Trading System	1	0.35	2013
A Rule-based Approach for Modelling Behaviour in Crisis and Emergency Scenarios.	0	0.34	2012
Ant Colony Optimization for Deadlock Detection in Concurrent Systems	14	0.55	2011
A Formula Driven Incremental Construction Of Web Service Compositions	0	0.34	2009
Abstracting Models from Execution Traces for Performing Formal Verification	2	0.38	2009
Dynamic composition of web applications in human-centered processes	3	0.43	2009
Modular formal verification of specifications of concurrent systems	0	0.34	2008
A framework for QoS-aware binding and re-binding of composite web services	179	5.01	2008
Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach	41	1.74	2007
Formal Verification of Concurrent Systems via Directed Model Checking	4	0.40	2007
Discovery of SOA patterns via model checking	3	0.47	2007
DELFIN+: An efficient deadlock detection tool for CCS processes	13	0.60	2006
Service composition (re)binding driven by application–specific qos	37	1.82	2006
The C-Cube framework: developing autonomic applications through web services	39	0.88	2005
QoS-Aware Replanning of Composite Web Services	167	8.17	2005
Using heuristic search for finding deadlocks in concurrent systems	11	0.56	2005
An approach for QoS-aware service composition based on genetic algorithms	511	21.32	2005
Managing coordination and cooperation in distributed software processes: the GENESIS environment	16	0.80	2004
Model Checking Multithreaded Programs by Means of Reduced Models	6	0.44	2004
FlowManager: a workflow management system based on Petri nets	11	0.98	2002
ContentP2P: a peer-to-peer content management system	0	0.34	2002