Daniel Seidel

ORCID

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 7

Top Venues

IROS

ICRA

PPDP

IEEE Robotics Autom. Lett.

University of Bonn (PHD)

Education History

University of Bonn

PHD

Publications

Mathew Jose Pollayil, Cosimo Della Santina, George Mesesan, Johannes Englsberger, Daniel Seidel, Manolo Garabini, Christian Ott, Antonio Bicchi, Alin Albu-Schäffer
Planning Natural Locomotion for Articulated Soft Quadrupeds. ICRA (2022)
Antonin Raffin, Daniel Seidel, Jens Kober, Alin Albu-Schäffer, João Silvério, Freek Stulp
Learning to Exploit Elastic Actuators for Quadruped Locomotion. CoRR (2022)
Annika Schmidt, Benedikt Feldotto, Thomas Gumpert, Daniel Seidel, Alin Albu-Schäffer, Philipp Stratmann
Adapting Highly-Dynamic Compliant Movements to Changing Environments: A Benchmark Comparison of Reflex- vs. CPG-Based Control Strategies. Frontiers Neurorobotics 15 (2021)
Dominic Lakatos, Yuri Federigi, Thomas Gumpert, Bernd Henze, Milan Hermann, Florian Loeffl, Florian Schmidt, Daniel Seidel, Alin Albu-Schäffer
A Coordinate-based Approach for Static Balancing and Walking Control of Compliantly Actuated Legged Robots. ICRA (2019)
Daniel Seidel, Dominic Lakatos, Alin Albu-Schäffer
Data-Driven Discrete Planning for Targeted Hopping of Compliantly Actuated Robotic Legs. IROS (2018)
Dominic Lakatos, Kai Ploeger, Florian Loeffl, Daniel Seidel, Florian Schmidt, Thomas Gumpert, Freia John, Torsten Bertram, Alin Albu-Schäffer
Dynamic Locomotion Gaits of a Compliantly Actuated Quadruped With SLIP-Like Articulated Legs Embodied in the Mechanical Design. IEEE Robotics Autom. Lett. 3 (4) (2018)
Dominic Lakatos, Daniel Seidel, Werner Friedl, Alin Albu-Schäffer
Targeted jumping of compliantly actuated hoppers based on discrete planning and switching control. IROS (2015)
Daniel Seidel, Christian Emmerich, Jochen J. Steil
Model-free path planning for redundant robots using sparse data from kinesthetic teaching. IROS (2014)
Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer
Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP (2014)
Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel
A semantics for weakly encapsulated search in functional logic programs. PPDP (2013)
Tristan Jenkinson, John Kenneth Truss, Daniel Seidel
Countable homogeneous multipartite graphs. Eur. J. Comb. 33 (1) (2012)
Daniel Seidel, Janis Voigtländer
Refined typing to localize the impact of forced strictness on free theorems. Acta Informatica 48 (3) (2011)
Jan Christiansen, Daniel Seidel
Minimally strict polymorphic functions. PPDP (2011)
Daniel Seidel, Janis Voigtländer
Improvements for Free QAPL (2011)
João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer
Strictification of circular programs. PEPM (2011)
Daniel Seidel, Janis Voigtländer
Automatically Generating Counterexamples to Naive Free Theorems. FLOPS (2010)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
Free theorems for functional logic programs. PLPV (2010)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP (2010)
Daniel Seidel, Janis Voigtländer
Proving Properties about Functions on Lists Involving Element Tests. WADT (2010)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
Free theorems for functional logic programs: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Daniel Seidel, Janis Voigtländer
Taming Selective Strictness. GI Jahrestagung (2009)

Daniel Seidel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Seidel