( en | de | ru )

 

Disambiguierung von "Vaglini, Gigliola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data.

, , , , , und . SBP-BRiMS, Volume 10354 von Lecture Notes in Computer Science, Seite 292-301. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gigliola Gori

Gigliola Biasi-Richter

Patricia Gigliola Wolff

 

Weitere Publikationen von Autoren mit dem selben Namen

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems., , , und . FORTE, Volume 107 von IFIP Conference Proceedings, Seite 519-534. Chapman & Hall, (1997)A user-friendly interface to specify temporal properties of concurrent systems., , und . Inf. Sci., 177 (1): 299-311 (2007)Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection., , und . ICPRAM, Seite 605-610. SciTePress, (2016)Abstract reduction in directed model checking CCS processes., und . Acta Inf., 49 (5): 313-341 (2012)Model Checking Properties on Reduced Trace Systems., und . Algorithms, 7 (3): 339-362 (2014)Logic Based Abstractions of Real-Time Systems., , , und . Formal Methods Syst. Des., 17 (3): 201-220 (2000)Reusing LOTOS specifications., und . Microprocess. Microsystems, 25 (6): 309-314 (2001)Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations., und . J. Autom. Reason., 30 (1): 33-58 (2003)Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning., , , und . MobiHealth, Volume 192 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 251-259. Springer, (2016)A Formula Driven Incremental Construction of Web Service Compositions., , und . ICSOFT (1), Seite 13-22. INSTICC Press, (2009)