Daniel Seidel

According to our database, Daniel Seidel authored at least 22 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Learning to Exploit Elastic Actuators for Quadruped Locomotion.

Antonin Raffin, Daniel Seidel, Jens Kober, Alin Albu-Schäffer, João Silvério, Freek Stulp

CoRR, 2022

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-Schäffer

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2021

Adapting Highly-Dynamic Compliant Movements to Changing Environments: A Benchmark Comparison of Reflex- vs. CPG-Based Control Strategies.

Annika Schmidt, Benedikt Feldotto, Thomas Gumpert, Daniel Seidel, Alin Albu-Schäffer, Philipp Stratmann

Frontiers Neurorobotics, 2021

2019

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-Schäffer

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Dynamic Locomotion Gaits of a Compliantly Actuated Quadruped With SLIP-Like Articulated Legs Embodied in the Mechanical Design.

Dominic Lakatos, Kai Ploeger, Florian Loeffl, Daniel Seidel, Florian Schmidt, Thomas Gumpert, Freia John, Torsten Bertram, Alin Albu-Schäffer

IEEE Robotics Autom. Lett., 2018

Data-Driven Discrete Planning for Targeted Hopping of Compliantly Actuated Robotic Legs.

Daniel Seidel, Dominic Lakatos, Alin Albu-Schäffer

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2015

Targeted jumping of compliantly actuated hoppers based on discrete planning and switching control.

Dominic Lakatos, Daniel Seidel, Werner Friedl, Alin Albu-Schäffer

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014

Parametricity and Proving Free Theorems for Functional-Logic Languages.

Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Model-free path planning for redundant robots using sparse data from kinesthetic teaching.

Daniel Seidel, Christian Emmerich, Jochen J. Steil

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

2013

Free theorems in languages with real-world programming features.

Daniel Seidel

PhD thesis, 2013

A semantics for weakly encapsulated search in functional logic programs.

Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Countable homogeneous multipartite graphs.

Tristan Jenkinson, John Kenneth Truss, Daniel Seidel

Eur. J. Comb., 2012

2011

Improvements for Free

Daniel Seidel, Janis Voigtländer

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Refined typing to localize the impact of forced strictness on free theorems.

Daniel Seidel, Janis Voigtländer

Acta Informatica, 2011

Minimally strict polymorphic functions.

Jan Christiansen, Daniel Seidel

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Strictification of circular programs.

João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry.

Jan Christiansen, Daniel Seidel, Janis Voigtländer

Proceedings of the Functional and Constraint Logic Programming, 2010

Proving Properties about Functions on Lists Involving Element Tests.

Daniel Seidel, Janis Voigtländer

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Free theorems for functional logic programs.

Jan Christiansen, Daniel Seidel, Janis Voigtländer

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

Automatically Generating Counterexamples to Naive Free Theorems.

Daniel Seidel, Janis Voigtländer

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Free theorems for functional logic programs: (abstract only).

Jan Christiansen, Daniel Seidel, Janis Voigtländer

ACM SIGPLAN Notices, 2009

Taming Selective Strictness.

Daniel Seidel, Janis Voigtländer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009