Daniel Seidel

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