Ingo Schäfer

Ingo Schäfer: Abstraktionsverfahren zur Eigenschaftsprüfung mit bounded model checking. Darmstadt University of Technology 2007, isbn 978-3-86624-279-1, pp. 1-137

Gerd Hirzinger, Alin Albu-Schäffer, Matthias Hähnle, Ingo Schäfer, Norbert Sporer: On a New Generation of Torque Controlled Light-Weight Robots. ICRA 2001: 3356-3363

Gerd Hirzinger, Jörg Butterfaß, Max Fischer, Markus Grebenstein, Matthias Hähnle, Hong Liu, Ingo Schäfer, Norbert Sporer: A Mechatronics Approach to the Design of Light-Weight Arms and Multifingered Hands. ICRA 2000: 46-54

Gerd Hirzinger, Jörg Butterfaß, Max Fischer, Markus Grebenstein, Matthias Hähnle, Hong Liu, Ingo Schäfer, Norbert Sporer, Markus Schedl, Reinhard Koeppe: A new Generation of Light-Weight Robot Arms and Multifingered Hands. ISER 2000: 569-570

Gerd Hirzinger, Max Fischer, Bernhard Brunner, Ralf Koeppe, Martin Otter, Markus Grebenstein, Ingo Schäfer: Advances in Robotics: The DLR Experience. I. J. Robotic Res. 18(11): 1064-1087 (1999)

Ingo Schäfer, Marek A. Perkowski: Synthesis of multilevel multiplexer circuits for incompletely specified multioutput Boolean functions with mapping to multiplexer based FPGA's. IEEE Trans. on CAD of Integrated Circuits and Systems 12(11): 1655-1664 (1993)

Bogdan J. Falkowski, Ingo Schäfer, Marek A. Perkowski: Effective computer methods for the calculation of Rademacher-Walsh spectrum for completely and incompletely specified Boolean functions. IEEE Trans. on CAD of Integrated Circuits and Systems 11(10): 1207-1226 (1992)

Marek A. Perkowski, Laszlo Csanky, Andisheh Sarabi, Ingo Schäfer: Fast Minimization of Mixed-Polarity AND/XOR Canonical Networks. ICCD 1992: 33-36

Ingo Schäfer, Marek A. Perkowski: Multiple-Valued Generalized Reed-Muller Forms. ISMVL 1991: 40-48