BibTeX records: Ingo Schäfer

download as .bib file

@inproceedings{DBLP:conf/perdis/FischerGAPSTH14,
  author       = {Patrick Tobias Fischer and
                  Franziska Gerlach and
                  Jenny Gonzalez Acuna and
                  Daniel Pollack and
                  Ingo Sch{\"{a}}fer and
                  Josephine Trautmann and
                  Eva Hornecker},
  editor       = {Aaron J. Quigley and
                  Sebastian Boring and
                  Sven Gehring},
  title        = {Movable, Kick-/Flickable Light Fragments Eliciting Ad-hoc Interaction
                  in Public Space},
  booktitle    = {Proceedings of The International Symposium on Pervasive Displays,
                  PerDis 2014, Copenhagen, Denmark, June 3-4, 2014},
  pages        = {50--55},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2611009.2611027},
  doi          = {10.1145/2611009.2611027},
  timestamp    = {Tue, 06 Nov 2018 16:58:13 +0100},
  biburl       = {https://dblp.org/rec/conf/perdis/FischerGAPSTH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Schafer2007b,
  author       = {Ingo Sch{\"{a}}fer},
  title        = {Abstraktionsverfahren zur Eigenschaftspr{\"{u}}fung mit bounded
                  model checking},
  school       = {Darmstadt University of Technology},
  year         = {2007},
  url          = {https://d-nb.info/985693134},
  isbn         = {978-3-86624-279-1},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Schafer2007b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/KempfleSB01,
  author       = {Siegmar Kempfle and
                  Ingo Sch{\"{a}}fer and
                  Horst Beyer},
  title        = {Fractional differential equations and viscoelastic damping},
  booktitle    = {6th European Control Conference, {ECC} 2001, Porto, Portugal, September
                  4-7, 2001},
  pages        = {1738--1743},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.23919/ECC.2001.7076172},
  doi          = {10.23919/ECC.2001.7076172},
  timestamp    = {Mon, 15 Feb 2021 11:16:45 +0100},
  biburl       = {https://dblp.org/rec/conf/eucc/KempfleSB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HirzingerAHSS01,
  author       = {Gerd Hirzinger and
                  Alin Albu{-}Sch{\"{a}}ffer and
                  Matthias H{\"{a}}hnle and
                  Ingo Sch{\"{a}}fer and
                  Norbert Sporer},
  title        = {On a New Generation of Torque Controlled Light-Weight Robots},
  booktitle    = {Proceedings of the 2001 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2001, May 21-26, 2001, Seoul, Korea},
  pages        = {3356--3363},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/ROBOT.2001.933136},
  doi          = {10.1109/ROBOT.2001.933136},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HirzingerAHSS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/FreseBHSSHH01,
  author       = {Udo Frese and
                  Berthold B{\"{a}}uml and
                  Steffen Haidacher and
                  G{\"{u}}nter Schreiber and
                  Ingo Sch{\"{a}}fer and
                  Matthias H{\"{a}}hnle and
                  Gerd Hirzinger},
  title        = {Off-the-shelf vision for a robotic ball catcher},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2001: Expanding the Societal Role of Robotics in the the Next
                  Millennium, Maui, HI, USA, October 29 - November 3, 2001},
  pages        = {1623--1629},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/IROS.2001.977211},
  doi          = {10.1109/IROS.2001.977211},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/FreseBHSSHH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HirzingerBFGHLSS00,
  author       = {Gerd Hirzinger and
                  J{\"{o}}rg Butterfa{\ss} and
                  Max Fischer and
                  Markus Grebenstein and
                  Matthias H{\"{a}}hnle and
                  Hong Liu and
                  Ingo Sch{\"{a}}fer and
                  Norbert Sporer},
  title        = {A Mechatronics Approach to the Design of Light-Weight Arms and Multifingered
                  Hands},
  booktitle    = {Proceedings of the 2000 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
                  {USA}},
  pages        = {46--54},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ROBOT.2000.844038},
  doi          = {10.1109/ROBOT.2000.844038},
  timestamp    = {Tue, 22 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HirzingerBFGHLSS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/HirzingerBFGHLSSSK00,
  author       = {Gerd Hirzinger and
                  J{\"{o}}rg Butterfa{\ss} and
                  Max Fischer and
                  Markus Grebenstein and
                  Matthias H{\"{a}}hnle and
                  Hong Liu and
                  Ingo Sch{\"{a}}fer and
                  Norbert Sporer and
                  Markus Schedl and
                  Reinhard Koeppe},
  editor       = {Daniela Rus and
                  Sanjiv Singh},
  title        = {A new Generation of Light-Weight Robot Arms and Multifingered Hands},
  booktitle    = {Experimental Robotics {VII} {[ISER} 2000, Waikiki, Hawaii, USA, December
                  11-13, 2000]},
  series       = {Lecture Notes in Control and Information Sciences},
  volume       = {271},
  pages        = {569--570},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45118-8\_57},
  doi          = {10.1007/3-540-45118-8\_57},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iser/HirzingerBFGHLSSSK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/HirzingerFBKOGS99,
  author       = {Gerd Hirzinger and
                  Max Fischer and
                  Bernhard Brunner and
                  Ralf Koeppe and
                  Martin Otter and
                  Markus Grebenstein and
                  Ingo Sch{\"{a}}fer},
  title        = {Advances in Robotics: The {DLR} Experience},
  journal      = {Int. J. Robotics Res.},
  volume       = {18},
  number       = {11},
  pages        = {1064--1087},
  year         = {1999},
  url          = {https://doi.org/10.1177/02783649922067726},
  doi          = {10.1177/02783649922067726},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijrr/HirzingerFBKOGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/PerkowskiCSS95,
  author       = {Marek A. Perkowski and
                  Malgorzata Chrzanowska{-}Jeske and
                  Andisheh Sarabi and
                  Ingo Sch{\"{a}}fer},
  title        = {Multi-Level Logic Synthesis Based on Kronecker Decision Diagrams and
                  Boolean Ternary Decision Diagrams for Incompletely Specified Functions},
  journal      = {{VLSI} Design},
  volume       = {3},
  number       = {3-4},
  pages        = {301--313},
  year         = {1995},
  url          = {https://doi.org/10.1155/1995/24594},
  doi          = {10.1155/1995/24594},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlsi/PerkowskiCSS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SchaferP93,
  author       = {Ingo Sch{\"{a}}fer and
                  Marek A. Perkowski},
  title        = {Synthesis of multilevel multiplexer circuits for incompletely specified
                  multioutput Boolean functions with mapping to multiplexer based FPGA's},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {12},
  number       = {11},
  pages        = {1655--1664},
  year         = {1993},
  url          = {https://doi.org/10.1109/43.248076},
  doi          = {10.1109/43.248076},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/SchaferP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Chrzanowska-JeskeGS93,
  author       = {Malgorzata Chrzanowska{-}Jeske and
                  Steffen Goller and
                  Ingo Sch{\"{a}}fer},
  title        = {An Architecture-driven Approach for the Fitting Problem in an Application-specific
                  {EPLD}},
  booktitle    = {1993 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
                  1993, Chicago, Illinois, USA, May 3-6, 1993},
  pages        = {1782--1785},
  publisher    = {{IEEE}},
  year         = {1993},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscas/Chrzanowska-JeskeGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FalkowskiSP92,
  author       = {Bogdan J. Falkowski and
                  Ingo Sch{\"{a}}fer and
                  Marek A. Perkowski},
  title        = {Effective computer methods for the calculation of Rademacher-Walsh
                  spectrum for completely and incompletely specified Boolean functions},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {11},
  number       = {10},
  pages        = {1207--1226},
  year         = {1992},
  url          = {https://doi.org/10.1109/43.170986},
  doi          = {10.1109/43.170986},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/FalkowskiSP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/FalkowskiSP92,
  author       = {Bogdan J. Falkowski and
                  Ingo Sch{\"{a}}fer and
                  Marek A. Perkowski},
  editor       = {Gerald Musgrave},
  title        = {Calculation of the Rademacher-Walsh spectrum from a reduced representation
                  of Boolean functions},
  booktitle    = {Proceedings of the conference on European design automation, {EURO-DAC}
                  '92, Hamburg, Germany, September 7-10, 1992},
  pages        = {181--186},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1992},
  url          = {https://doi.org/10.1109/EURDAC.1992.246245},
  doi          = {10.1109/EURDAC.1992.246245},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/FalkowskiSP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/PerkowskiCSS92,
  author       = {Marek A. Perkowski and
                  Laszlo Csanky and
                  Andisheh Sarabi and
                  Ingo Sch{\"{a}}fer},
  title        = {Fast Minimization of Mixed-Polarity {AND/XOR} Canonical Networks},
  booktitle    = {Proceedings 1992 {IEEE} International Conference on Computer Design:
                  {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
                  USA, October 11-14, 1992},
  pages        = {33--36},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/ICCD.1992.276211},
  doi          = {10.1109/ICCD.1992.276211},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/PerkowskiCSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SchaferP91,
  author       = {Ingo Sch{\"{a}}fer and
                  Marek A. Perkowski},
  title        = {Multiple-Valued Generalized Reed-Muller Forms},
  booktitle    = {Proceedings of the 21st International Symposium on Multiple-Valued
                  Logic, {ISMVL} 1991, Victoria, BC, Canada, May 26-29, 1991},
  pages        = {40--48},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/ISMVL.1991.130703},
  doi          = {10.1109/ISMVL.1991.130703},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SchaferP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics