Daniel Seidel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2009–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICRA | Planning Natural Locomotion for Articulated Soft Quadrupeds. | Mathew Jose Pollayil, Cosimo Della Santina, George Mesesan, Johannes Englsberger, Daniel Seidel, Manolo Garabini, Christian Ott, Antonio Bicchi, Alin Albu-Schffer |
| 2019 | ICRA | A Coordinate-based Approach for Static Balancing and Walking Control of Compliantly Actuated Legged Robots. | Dominic Lakatos, Yuri Federigi, Thomas Gumpert, Bernd Henze, Milan Hermann, Florian Loeffl, Florian Schmidt, Daniel Seidel, Alin Albu-Schffer |
| 2018 | IROS | Data-Driven Discrete Planning for Targeted Hopping of Compliantly Actuated Robotic Legs. | Daniel Seidel, Dominic Lakatos, Alin Albu-Schffer |
| 2015 | IROS | Targeted jumping of compliantly actuated hoppers based on discrete planning and switching control. | Dominic Lakatos, Daniel Seidel, Werner Friedl, Alin Albu-Schffer |
| 2014 | IROS | Model-free path planning for redundant robots using sparse data from kinesthetic teaching. | Daniel Seidel, Christian Emmerich, Jochen J. Steil |
| 2014 | PPDP | Parametricity and Proving Free Theorems for Functional-Logic Languages. | Stefan Mehner, Daniel Seidel, Lutz Straburger, Janis Voigtlnder |
| 2013 | PPDP | A semantics for weakly encapsulated search in functional logic programs. | Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel |
| 2011 | PEPM | Strictification of circular programs. | Joo Paulo Fernandes, Joo Saraiva, Daniel Seidel, Janis Voigtlnder |
| 2011 | PPDP | Minimally strict polymorphic functions. | Jan Christiansen, Daniel Seidel |
| 2010 | FLOPS | Automatically Generating Counterexamples to Naive Free Theorems. | Daniel Seidel, Janis Voigtlnder |
| 2009 | GI | Taming Selective Strictness. | Daniel Seidel, Janis Voigtlnder |