Taming Selective Strictness. - Daniel Seidel; Janis Voigtländer (GI Jahrestagung, 2009)

Free theorems for functional logic programs: (abstract only). - Jan Christiansen; Daniel Seidel; Janis Voigtländer (ACM SIGPLAN Notices, 2009)

Automatically Generating Counterexamples to Naive Free Theorems. - Daniel Seidel; Janis Voigtländer (FLOPS, 2010)

Free theorems for functional logic programs. - Jan Christiansen; Daniel Seidel; Janis Voigtländer (PLPV, 2010)

Proving Properties about Functions on Lists Involving Element Tests. - Daniel Seidel; Janis Voigtländer (WADT, 2010)

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. - Jan Christiansen; Daniel Seidel; Janis Voigtländer (WFLP, 2010)

Strictification of circular programs. - João Paulo Fernandes; João Saraiva; Daniel Seidel; Janis Voigtländer (PEPM, 2011)

Minimally strict polymorphic functions. - Jan Christiansen; Daniel Seidel (PPDP, 2011)

Refined typing to localize the impact of forced strictness on free theorems. - Daniel Seidel; Janis Voigtländer (Acta Informatica, 2011)

Improvements for Free - Daniel Seidel; Janis Voigtländer (QAPL, 2011)

Countable homogeneous multipartite graphs. - Tristan Jenkinson; John Kenneth Truss; Daniel Seidel (Eur. J. Comb., 2012)

A semantics for weakly encapsulated search in functional logic programs. - Jan Christiansen; Michael Hanus; Fabian Reck 002; Daniel Seidel (PPDP, 2013)

Free theorems in languages with real-world programming features. - Daniel Seidel (2013)

Model-free path planning for redundant robots using sparse data from kinesthetic teaching. - Daniel Seidel; Christian Emmerich; Jochen J. Steil (IROS, 2014)

Parametricity and Proving Free Theorems for Functional-Logic Languages. - Stefan Mehner; Daniel Seidel; Lutz Straßburger; Janis Voigtländer (PPDP, 2014)

Targeted jumping of compliantly actuated hoppers based on discrete planning and switching control. - Dominic Lakatos; Daniel Seidel; Werner Friedl; Alin Albu-Schäffer (IROS, 2015)

Data-Driven Discrete Planning for Targeted Hopping of Compliantly Actuated Robotic Legs. - Daniel Seidel; Dominic Lakatos; Alin Albu-Schäffer (IROS, 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 001; Thomas Gumpert; Freia John; Torsten Bertram; Alin Albu-Schäffer (IEEE Robotics Autom. Lett., 2018)

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 001; Daniel Seidel; Alin Albu-Schäffer (ICRA, 2019)

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)

Planning Natural Locomotion for Articulated Soft Quadrupeds. - Mathew Jose Pollayil; Cosimo Della Santina; George Mesesan; Johannes Englsberger; Daniel Seidel; Manolo Garabini; Christian Ott 001; Antonio Bicchi; Alin Albu-Schäffer (ICRA, 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)

Mapping and Execution of Nested Loops on Processor Arrays: CGRAs vs. TCPAs. - Dominik Walter; Marita Halm; Daniel Seidel; Indrayudh Ghosh; Christian Heidorn; Frank Hannig; Jürgen Teich (CoRR, 2025)

Evaluation of CGRA Toolchains. - Dominik Walter; Marita Halm; Daniel Seidel; Indrayudh Ghosh; Christian Heidorn; Frank Hannig; Jürgen Teich (CoRR, 2025)