BibTeX records: Detlef Schmid

download as .bib file

@inproceedings{DBLP:conf/mbmv/ZillerS06,
  author       = {Roberto M. Ziller and
                  Detlef Schmid},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Erstellung korrekter Spezifikationen f{\"{u}}r diskrete Systeme},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {359--368},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Thu, 28 Jun 2012 09:12:11 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/ZillerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/insk/SchmidB00,
  author       = {Detlef Schmid and
                  Manfred Broy},
  title        = {. . . noch nicht zu sp{\"{a}}t! Das Walberberg-Memorandum zur
                  F{\"{o}}rderung der IT-Forschung},
  journal      = {Inform. Spektrum},
  volume       = {23},
  number       = {2},
  pages        = {109--117},
  year         = {2000},
  url          = {https://doi.org/10.1007/s002870050156},
  doi          = {10.1007/S002870050156},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/insk/SchmidB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/SchmidSHLS99,
  author       = {Detlef Schmid and
                  Klaus Schneider and
                  Michaela Huhn and
                  George Logothetis and
                  Viktor K. Sabelfeld},
  title        = {Formale Verifikation eingebetteter Systeme},
  journal      = {Informationstechnik Tech. Inform.},
  volume       = {41},
  number       = {2},
  pages        = {12--16},
  year         = {1999},
  url          = {https://doi.org/10.1524/itit.1999.41.2.12},
  doi          = {10.1524/ITIT.1999.41.2.12},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/SchmidSHLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/BlumenrohrES99,
  author       = {Christian Blumenr{\"{o}}hr and
                  Dirk Eisenbiegler and
                  Detlef Schmid},
  title        = {On the efficiency of formal synthesis-experimental results},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {18},
  number       = {1},
  pages        = {25--32},
  year         = {1999},
  url          = {https://doi.org/10.1109/43.739056},
  doi          = {10.1109/43.739056},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/BlumenrohrES99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ife/AntreichRRSW97,
  author       = {Kurt Antreich and
                  Franz J. Rammig and
                  Wolfgang Rosenstiel and
                  Detlef Schmid and
                  Klaus Waldschmidt},
  title        = {DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter
                  Systeme},
  journal      = {Inform. Forsch. Entwickl.},
  volume       = {12},
  number       = {4},
  pages        = {220--223},
  year         = {1997},
  url          = {https://doi.org/10.1007/s004500050090},
  doi          = {10.1007/S004500050090},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ife/AntreichRRSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/AntreichRRSW97,
  author       = {Kurt Antreich and
                  Franz J. Rammig and
                  Wolfgang Rosenstiel and
                  Detlef Schmid and
                  Klaus Waldschmidt},
  editor       = {Matthias Jarke and
                  Klaus Pasedach and
                  Klaus Pohl},
  title        = {DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter
                  Systeme},
  booktitle    = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
                  1997},
  series       = {Informatik Aktuell},
  pages        = {93--101},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/978-3-642-60831-5\_14},
  doi          = {10.1007/978-3-642-60831-5\_14},
  timestamp    = {Tue, 23 May 2017 01:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/AntreichRRSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/KumarBES96,
  author       = {Ramayya Kumar and
                  Christian Blumenr{\"{o}}hr and
                  Dirk Eisenbiegler and
                  Detlef Schmid},
  editor       = {Mandayam K. Srivas and
                  Albert John Camilleri},
  title        = {Formal Synthesis in Circuit Design - {A} Classification and Survey},
  booktitle    = {Formal Methods in Computer-Aided Design, First International Conference,
                  {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1166},
  pages        = {294--309},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0031817},
  doi          = {10.1007/BFB0031817},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/KumarBES96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/SchmidCR84,
  author       = {Detlef Schmid and
                  Raul Camposano and
                  Wolfgang Rosenstiel},
  editor       = {Hans{-}Dieter Ehrich},
  title        = {Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen
                  der Schaltungsfunktion},
  booktitle    = {{GI} - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {88},
  pages        = {391--406},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-662-07491-6\_25},
  doi          = {10.1007/978-3-662-07491-6\_25},
  timestamp    = {Tue, 23 May 2017 01:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SchmidCR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/SchmidS79,
  author       = {Detlef Schmid and
                  Thomas Schmitt},
  title        = {Vergleich und Bewertung einiger Registertransfersprachen},
  journal      = {Elektron. Rechenanlagen},
  volume       = {21},
  number       = {1},
  pages        = {7--12},
  year         = {1979},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/SchmidS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/SchmidS78,
  author       = {Detlef Schmid and
                  Thomas Schmitt},
  title        = {Beschreibung einiger Registertransfersprachen},
  journal      = {Elektron. Rechenanlagen},
  volume       = {20},
  number       = {6},
  pages        = {269--277},
  year         = {1978},
  url          = {https://doi.org/10.1524/itit.1978.20.16.269},
  doi          = {10.1524/ITIT.1978.20.16.269},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/SchmidS78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/Schmid72,
  author       = {Detlef Schmid},
  editor       = {Peter Deussen},
  title        = {Einige Untersuchungen zur Hardware-Realisierung von Software-Operatoren},
  booktitle    = {Gesellschaft f{\"{u}}r Informatik e.V., 2. Jahrestagung, Karlsruhe,
                  Deutschland, 2.-4. Oktober 1972},
  series       = {Lecture Notes in Economics and Mathematical Systems},
  volume       = {78},
  pages        = {360--369},
  publisher    = {Springer},
  year         = {1972},
  url          = {https://doi.org/10.1007/978-3-642-80732-9\_38},
  doi          = {10.1007/978-3-642-80732-9\_38},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Schmid72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/SchmidS66,
  author       = {Detlef Schmid and
                  Gerhard Schulze},
  title        = {Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen
                  Simulationsprogrammen},
  journal      = {Elektron. Rechenanlagen},
  volume       = {8},
  number       = {5},
  pages        = {232--237},
  year         = {1966},
  url          = {https://doi.org/10.1524/itit.1966.8.16.232},
  doi          = {10.1524/ITIT.1966.8.16.232},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/SchmidS66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.