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.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)
 

Other publications of authors with the same name

Men at work: the StackOverflow case., , and . TinyToCS, (2013)On termination of meta-programs., and . TPLP, 5 (3): 355-390 (2005)Termination of Floating-Point Computations., and . J. Autom. Reasoning, 34 (2): 141-177 (2005)Looking for Stability., , , and . DDoPS, page 31-44. US Education Service, (2005)Choosing your weapons: On sentiment analysis tools for software engineering research., , and . ICSME, page 531-535. IEEE Computer Society, (2015)Empowering OCL research: a large-scale corpus of open-source data from GitHub., , and . Empirical Software Engineering, 24 (3): 1574-1609 (2019)Seeing the Forest for the Trees with New Econometric Aggregation Techniques., , and . ERCIM News, (2012)Proving Termination for Logic Programs by the Query-Mapping Pairs Approach., , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Udapt: edapt extensions for industrial application., , , and . ITSLE@SPLASH, page 21-22. ACM, (2016)Process Discovery Using Integer Linear Programming., , , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 368-387. Springer, (2008)