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)

Dr. rer. nat. Alexander Schlaich University of Stuttgart

Supporting Information: Chemical Potential Differences in Nanoscopic Teflon/Kapton Capillaries, and . Software, (2024)Related to: Artemov, V.; Frank, L.; Doronin, R.; Stärk, P.; Schlaich, A.; Andreev, A.; Leisner, T.; Radenovic, A.; Kiselev, A. The Three-Phase Contact Potential Difference Modulates the Water Surface Charge. J. Phys. Chem. Lett. 2023, 14, 4796-4802. doi: 10.1021/acs.jpclett.3c00479.
 

Other publications of authors with the same name

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)On termination of meta-programs., and . TPLP, 5 (3): 355-390 (2005)Repositioning of static analysis alarms., , and . ISSTA, page 187-197. ACM, (2018)Udapt: edapt extensions for industrial application., , , and . ITSLE@SPLASH, page 21-22. ACM, (2016)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)On Termination of Meta-Programs., and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 517-530. Springer, (2001)A software framework for automated verification., , , , , and . SAC, page 1031-1032. ACM, (2007)Process Discovery Using Integer Linear Programming., , , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 368-387. Springer, (2008)