Author of the publication

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

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems., , , and . FORTE, volume 107 of IFIP Conference Proceedings, page 519-534. Chapman & Hall, (1997)A user-friendly interface to specify temporal properties of concurrent systems., , and . Inf. Sci., 177 (1): 299-311 (2007)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)Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning., , , and . MobiHealth, volume 192 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 251-259. Springer, (2016)Reusing LOTOS specifications., and . Microprocess. Microsystems, 25 (6): 309-314 (2001)Model Checking Properties on Reduced Trace Systems., and . Algorithms, 7 (3): 339-362 (2014)Development of a Debugger for a Concurrent Language., , and . IEEE Trans. Software Eng., 12 (4): 547-553 (1986)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)