Author of the publication

Visualization of Analysis Results in the ProC/B Toolset.

, , , and . QEST, page 318-319. IEEE Computer Society, (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.

 

Other publications of authors with the same name

Straightening Drawings of Clustered Hierarchical Graphs., , , and . SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 176-187. Springer, (2007)Simulation-Based Analysis of Topology Control Algorithms for Wireless Ad Hoc Networks., , and . MedAlg, volume 7659 of Lecture Notes in Computer Science, page 188-202. Springer, (2012)Force-directed tracking in wireless networks using signal strength and step recognition., , , , and . ICL-GNSS, page 1-8. IEEE, (2012)Energy efficient scheduling with power control for wireless networks., , and . WiOpt, page 160-169. IEEE, (2010)Drawing Binary Tanglegrams: An Experimental Evaluation, , , and . CoRR, (2008)The ProC/B Toolset for the Modelling and Analysis of Process Chains., , , , and . Computer Performance Evaluation / TOOLS, volume 2324 of Lecture Notes in Computer Science, page 51-70. Springer, (2002)Drawing Binary Tanglegrams: An Experimental Evaluation., , , and . ALENEX, page 106-119. SIAM, (2009)Algorithmic Aspects of Sensor Networks - Scheduling, Localization and Topology Control.. AlgoSyn, page 72. Verlagshaus Mainz, Aachen, Germany, (2010)A constraint programming-based approach to a large-scale energy management problem with varied constraints - A solution approach to the ROADEF/EURO Challenge 2010., , , and . J. Scheduling, 16 (6): 629-648 (2013)Link Scheduling in Local Interference Models., , and . ALGOSENSORS, volume 5389 of Lecture Notes in Computer Science, page 57-71. Springer, (2008)