( en | de | ru )

 

Disambiguation of "Villani, Maria Luisa"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Multithreaded Programs by Means of Reduced Models.

, , , and . LDTA@ETAPS, volume 110 of Electronic Notes in Theoretical Computer Science, page 55-74. Elsevier, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maria Luisa Malosio

Maria Luisa Hopp

Maria Luísa Sartorelli

Maria Luisa Kleine

María Luisa Montoya

 

Other publications of authors with the same name

Using heuristic search for finding deadlocks in concurrent systems., , and . Inf. Comput., 202 (2): 191-226 (2005)DELFIN+: An efficient deadlock detection tool for CCS processes., , and . J. Comput. Syst. Sci., 72 (8): 1397-1412 (2006)The C-Cube framework: developing autonomic applications through web services., , , , , , , , , and 2 other author(s). ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-6 (2005)Drivers of Knowledge Conversion in Socio-Technical Systems., , , , and . STPIS, volume 2789 of CEUR Workshop Proceedings, page 140-145. CEUR-WS.org, (2020)An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials., , , , , , , , , and . Sensors, 23 (1): 440 (2023)TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios., , , , and . CSE/EUC/DCABES, page 401-407. IEEE Computer Society, (2016)ContentP2P: A Peer-to-Peer Content Management System., , , and . COMPSAC, page 773-778. IEEE Computer Society, (2002)FlowManager: A Workflow Management System Based on Petri Nets., , , and . COMPSAC, page 1054-1059. IEEE Computer Society, (2002)A Gamified Approach to Participatory Modelling of Water System Risks., , , and . CRITIS, volume 10707 of Lecture Notes in Computer Science, page 168-180. Springer, (2017)A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities., , and . DEXA (2), volume 8645 of Lecture Notes in Computer Science, page 334-348. Springer, (2014)