Author of the publication

Stigmergy-Based Modeling to Discover Urban Activity Patterns from Positioning Data.

, , , , , and . SBP-BRiMS, volume 10354 of Lecture Notes in Computer Science, page 292-301. Springer, (2017)

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.

 

Other publications of authors with the same name

Using Differential Evolution to Improve Pheromone-based Coordination of Swarms of Drones for Collaborative Target Detection., , and . ICPRAM, page 605-610. SciTePress, (2016)Abstract reduction in directed model checking CCS processes., and . Acta Inf., 49 (5): 313-341 (2012)Model Checking Properties on Reduced Trace Systems., and . Algorithms, 7 (3): 339-362 (2014)Detecting User's Behavior Shift with Sensorized Shoes and Stigmergic Perceptrons., , , , , , and . ISCT, page 265-268. IEEE, (2019)Enhancing biologically inspired swarm behavior: Metaheuristics to foster the optimization of UAVs coordination in target search., , and . Comput. Oper. Res., (2019)Reusing LOTOS specifications., and . Microprocess. Microsystems, 25 (6): 309-314 (2001)Logic Based Abstractions of Real-Time Systems., , , and . Formal Methods Syst. Des., 17 (3): 201-220 (2000)Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations., and . J. Autom. Reason., 30 (1): 33-58 (2003)A Formula Driven Incremental Construction of Web Service Compositions., , and . ICSOFT (1), page 13-22. INSTICC Press, (2009)A user-friendly interface to specify temporal properties of concurrent systems., , and . Inf. Sci., 177 (1): 299-311 (2007)