Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paul Molitor
@article{DBLP:journals/it/ArndtMU23,
author = {Natanael Arndt and
Paul Molitor and
Ricardo Usbeck},
title = {Machine learning applications},
journal = {it Inf. Technol.},
volume = {65},
number = {4-5},
pages = {139--141},
year = {2023},
url = {https://doi.org/10.1515/itit-2023-0109},
doi = {10.1515/ITIT-2023-0109},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/ArndtMU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/PockelmannMRM23,
author = {Marcus P{\"{o}}ckelmann and
Andr{\'{e}} Medek and
J{\"{o}}rg Ritter and
Paul Molitor},
title = {{LERA} - an interactive platform for synoptical representations of
multiple text witnesses},
journal = {Digit. Scholarsh. Humanit.},
volume = {38},
number = {1},
pages = {330--346},
year = {2023},
url = {https://doi.org/10.1093/llc/fqac021},
doi = {10.1093/LLC/FQAC021},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/PockelmannMRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/DahnePRM22,
author = {Janis D{\"{a}}hne and
Marcus P{\"{o}}ckelmann and
J{\"{o}}rg Ritter and
Paul Molitor},
title = {Putting collation of text witnesses on a formal basis},
journal = {Digit. Scholarsh. Humanit.},
volume = {37},
number = {2},
pages = {375--390},
year = {2022},
url = {https://doi.org/10.1093/llc/fqab058},
doi = {10.1093/LLC/FQAB058},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/DahnePRM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor020,
author = {Paul Molitor and
J{\"{o}}rg Ritter},
title = {Digital methods for intertextuality studies},
journal = {it Inf. Technol.},
volume = {62},
number = {2},
pages = {49--51},
year = {2020},
url = {https://doi.org/10.1515/itit-2020-0006},
doi = {10.1515/ITIT-2020-0006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Molitor020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/PockelmannD0M20,
author = {Marcus P{\"{o}}ckelmann and
Janis D{\"{a}}hne and
J{\"{o}}rg Ritter and
Paul Molitor},
title = {Fast paraphrase extraction in Ancient Greek literature},
journal = {it Inf. Technol.},
volume = {62},
number = {2},
pages = {75--89},
year = {2020},
url = {https://doi.org/10.1515/itit-2019-0042},
doi = {10.1515/ITIT-2019-0042},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/PockelmannD0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dhd/MolitorNPRR20,
author = {Paul Molitor and
Gerold Necker and
Marcus P{\"{o}}ckelmann and
Bill Rebiger and
J{\"{o}}rg Ritter},
editor = {Christof Sch{\"{o}}ch and
Patrick Helling},
title = {Keter Shem {\unicode{7788}}ov - Prozessualisierung eines Editionsprojekts
mit 100 Textzeugen},
booktitle = {7. Tagung des Verbands Digital Humanities im deutschsprachigen Raum,
DHd 2020, Paderborn, Germany, March 2 - 6, 2020},
year = {2020},
url = {https://doi.org/10.5281/zenodo.4621883},
doi = {10.5281/ZENODO.4621883},
timestamp = {Fri, 21 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dhd/MolitorNPRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/gidiss/2018,
editor = {Sven Apel and
Abraham Bernstein and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Bj{\"{o}}rn Scheuermann and
Nicole Schweikardt and
Myra Spiliopoulou and
Sabine S{\"{u}}sstrunk and
Klaus Wehrle},
title = {Ausgezeichnete Informatikdissertationen 2018},
series = {{LNI}},
volume = {{D-19}},
publisher = {{GI}},
year = {2019},
url = {https://dl.gi.de/handle/20.500.12116/36723},
isbn = {978-3-88579-977-1},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/gidiss/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/PfuhlRM18,
author = {Matthias Pfuhl and
J{\"{o}}rg Ritter and
Paul Molitor},
editor = {Jarkko Kari and
Irek Ulidowski},
title = {Finding the Redundant Gates in Reversible Circuits},
booktitle = {Reversible Computation - 10th International Conference, {RC} 2018,
Leicester, UK, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11106},
pages = {205--219},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99498-7\_14},
doi = {10.1007/978-3-319-99498-7\_14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/PfuhlRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2017diss,
editor = {Sven Apel and
Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Bj{\"{o}}rn Scheuermann and
Myra Spiliopoulou and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2017},
series = {{LNI}},
volume = {{D-18}},
publisher = {{GI}},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/19456},
isbn = {978-3-88579-977-1},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2017diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2016diss,
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2016},
series = {{LNI}},
volume = {{D-17}},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/19926},
isbn = {978-3-88579-976-4},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2016diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2015diss,
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2015},
series = {{LNI}},
volume = {{D-16}},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/4410},
isbn = {978-3-88579-975-7},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2015diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/FischerFJKMG15,
author = {Anja Fischer and
Frank Fischer and
Gerold J{\"{a}}ger and
Jens Keilwagen and
Paul Molitor and
Ivo Grosse},
title = {Computational Recognition of {RNA} Splice Sites by Exact Algorithms
for the Quadratic Traveling Salesman Problem},
journal = {Comput.},
volume = {3},
number = {2},
pages = {285--298},
year = {2015},
url = {https://doi.org/10.3390/computation3020285},
doi = {10.3390/COMPUTATION3020285},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/FischerFJKMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/MedekPBSMR15,
author = {Andr{\'{e}} Medek and
Marcus P{\"{o}}ckelmann and
Thomas Bremer and
Hans{-}Joachim Solms and
Paul Molitor and
J{\"{o}}rg Ritter},
title = {Differenzanalyse komplexer Textvarianten - Diskussion und Werkzeuge},
journal = {Datenbank-Spektrum},
volume = {15},
number = {1},
pages = {25--31},
year = {2015},
url = {https://doi.org/10.1007/s13222-014-0173-y},
doi = {10.1007/S13222-014-0173-Y},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dbsk/MedekPBSMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/HildenbrandtKMR15,
author = {Vera Hildenbrandt and
Roland S. Kamzelak and
Paul Molitor and
J{\"{o}}rg Ritter},
title = {"im Zentrum eines Netzes {[...]} geistiger F{\"{a}}den".
Erschlie{\ss}ung und Erforschung thematischer Zusammenh{\"{a}}nge
in heterogenen Briefkorpora},
journal = {Datenbank-Spektrum},
volume = {15},
number = {1},
pages = {49--55},
year = {2015},
url = {https://doi.org/10.1007/s13222-014-0177-7},
doi = {10.1007/S13222-014-0177-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dbsk/HildenbrandtKMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor15,
author = {Paul Molitor},
title = {Reviewers 2013-2014},
journal = {it Inf. Technol.},
volume = {57},
number = {2},
pages = {144--145},
year = {2015},
url = {https://doi.org/10.1515/itit-2015-5000},
doi = {10.1515/ITIT-2015-5000},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/Molitor15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lalc/AndertBMR15,
author = {Martin Andert and
Frank Berger and
Paul Molitor and
J{\"{o}}rg Ritter},
title = {An optimized platform for capturing metadata of historical correspondence},
journal = {Digit. Scholarsh. Humanit.},
volume = {30},
number = {4},
pages = {471--480},
year = {2015},
url = {https://doi.org/10.1093/llc/fqu027},
doi = {10.1093/LLC/FQU027},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lalc/AndertBMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2014diss,
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2014},
series = {{LNI}},
volume = {{D-15}},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/4412},
isbn = {978-3-88579-419-6},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2014diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/FischerFJKMG14,
author = {Anja Fischer and
Frank Fischer and
Gerold J{\"{a}}ger and
Jens Keilwagen and
Paul Molitor and
Ivo Grosse},
title = {Exact algorithms and heuristics for the Quadratic Traveling Salesman
Problem with an application in bioinformatics},
journal = {Discret. Appl. Math.},
volume = {166},
pages = {97--114},
year = {2014},
url = {https://doi.org/10.1016/j.dam.2013.09.011},
doi = {10.1016/J.DAM.2013.09.011},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/FischerFJKMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/JagerDGMR14,
author = {Gerold J{\"{a}}ger and
Changxing Dong and
Boris Goldengorin and
Paul Molitor and
Dirk Richter},
title = {A backbone based {TSP} heuristic for large instances},
journal = {J. Heuristics},
volume = {20},
number = {1},
pages = {107--124},
year = {2014},
url = {https://doi.org/10.1007/s10732-013-9233-y},
doi = {10.1007/S10732-013-9233-Y},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/heuristics/JagerDGMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor14,
author = {Paul Molitor},
title = {Preface},
journal = {it Inf. Technol.},
volume = {56},
number = {4},
pages = {147},
year = {2014},
url = {https://doi.org/10.1515/itit-2014-1040},
doi = {10.1515/ITIT-2014-1040},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/Molitor14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dihu/GiesslerRMAKL14,
author = {Andr{\'{e}} Gie{\ss}ler and
J{\"{o}}rg Ritter and
Paul Molitor and
Martin Andert and
Sylwia K{\"{o}}sser and
Aletta Leipold},
title = {User-friendly lemmatization and morphological annotation of Early
New High German manuscripts},
booktitle = {9th Annual International Conference of the Alliance of Digital Humanities
Organizations, {DH} 2014, Lausanne, Switzerland, 8-12 July 2014, Conference
Abstracts},
publisher = {Alliance of Digital Humanities Organizations {(ADHO)}},
year = {2014},
url = {http://dharchive.org/paper/DH2014/Poster-146.xml},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dihu/GiesslerRMAKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2013diss,
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2013},
series = {{LNI}},
volume = {{D-14}},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/4409},
isbn = {978-3-88579-418-9},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2013diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dihu/AndertRM13,
author = {Martin Andert and
J{\"{o}}rg Ritter and
Paul Molitor},
title = {Optimized platform for capturing metadata of historical correspondences},
booktitle = {8th Annual International Conference of the Alliance of Digital Humanities
Organizations, {DH} 2013, Lincoln, NE, USA, July 16-19, 2013, Conference
Abstracts},
pages = {88},
publisher = {Alliance of Digital Humanities Organizations {(ADHO)}},
year = {2013},
url = {http://dh2013.unl.edu/abstracts/ab-246.html},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dihu/AndertRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GiesslerRM13,
author = {Andr{\'{e}} Gie{\ss}ler and
J{\"{o}}rg Ritter and
Paul Molitor},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Model Checking for {PLC} based Railway Interlocking Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {71--82},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/GiesslerRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2011diss,
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2011},
series = {{LNI}},
volume = {{D-12}},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/4411},
isbn = {978-3-88579-416-5},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2011diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2012diss,
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Ausgezeichnete Informatikdissertationen 2012},
series = {{LNI}},
volume = {{D-13}},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/4408},
isbn = {978-3-88579-417-2},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2012diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor11,
author = {Paul Molitor},
title = {Reviewer Thanks},
journal = {it Inf. Technol.},
volume = {53},
number = {1},
pages = {44},
year = {2011},
url = {https://doi.org/10.1524/itit.2011.0624},
doi = {10.1524/ITIT.2011.0624},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/Molitor11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GiesslerRM11,
author = {Andr{\'{e}} Gie{\ss}ler and
J{\"{o}}rg Ritter and
Paul Molitor},
editor = {Frank Oppenheimer},
title = {BDD-based Analysis of Test Cases for PLC-based Railway Interlocking
Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {133--143},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/GiesslerRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2010diss,
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2010},
series = {{LNI}},
volume = {{D-11}},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/4407},
isbn = {978-3-88579-415-8},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2010diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/ErnstDJRM10,
author = {Christian Ernst and
Changxing Dong and
Gerold J{\"{a}}ger and
Dirk Richter and
Paul Molitor},
editor = {Bo Chen},
title = {Finding Good Tours for Huge Euclidean {TSP} Instances by Iterative
Backbone Contraction},
booktitle = {Algorithmic Aspects in Information and Management, 6th International
Conference, {AAIM} 2010, Weihai, China, July 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6124},
pages = {119--130},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14355-7\_13},
doi = {10.1007/978-3-642-14355-7\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/ErnstDJRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2009diss,
editor = {Abraham Bernstein and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2009},
series = {{LNI}},
volume = {{D-10}},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/4406},
isbn = {978-3-88579-414-1},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2009diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2008diss,
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2008},
series = {{LNI}},
volume = {{D-9}},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/4405},
isbn = {978-3-88579-413-4},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2008diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/DongJRM09,
author = {Changxing Dong and
Gerold J{\"{a}}ger and
Dirk Richter and
Paul Molitor},
editor = {Andrew V. Goldberg and
Yunhong Zhou},
title = {Effective Tour Searching for {TSP} by Contraction of Pseudo Backbone
Edges},
booktitle = {Algorithmic Aspects in Information and Management, 5th International
Conference, {AAIM} 2009, San Francisco, CA, USA, June 15-17, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5564},
pages = {175--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02158-9\_16},
doi = {10.1007/978-3-642-02158-9\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/DongJRM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognetwente/DongEJRM09,
author = {Changxing Dong and
Christian Ernst and
Gerold J{\"{a}}ger and
Dirk Richter and
Paul Molitor},
editor = {Sonia Cafieri and
Antonio Mucherino and
Giacomo Nannicini and
Fabien Tarissan and
Leo Liberti},
title = {Effective Heuristics for Large Euclidean {TSP} Instances Based on
Pseudo Backbones},
booktitle = {Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial
Optimization, {CTW} 2009, Paris, France, June 2-4 2009},
pages = {3--6},
year = {2009},
url = {http://www.lix.polytechnique.fr/ctw09/ctw09-proceedings.pdf\#page=15},
timestamp = {Thu, 12 Mar 2020 11:34:41 +0100},
biburl = {https://dblp.org/rec/conf/colognetwente/DongEJRM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020251,
author = {Bernd Becker and
Paul Molitor},
title = {Technische Informatik - eine einf{\"{u}}hrende Darstellung},
publisher = {Oldenbourg},
year = {2008},
isbn = {978-3-486-58650-3},
timestamp = {Fri, 20 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0020251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor08,
author = {Paul Molitor},
title = {Gutachter 2008},
journal = {it Inf. Technol.},
volume = {50},
number = {6},
pages = {410},
year = {2008},
url = {https://doi.org/10.1524/itit.2008.0512},
doi = {10.1524/ITIT.2008.0512},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Molitor08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoa/JagerM08,
author = {Gerold J{\"{a}}ger and
Paul Molitor},
editor = {Boting Yang and
Ding{-}Zhu Du and
Cao An Wang},
title = {Algorithms and Experimental Study for the Traveling Salesman Problem
of Second Order},
booktitle = {Combinatorial Optimization and Applications, Second International
Conference, {COCOA} 2008, St. John's, NL, Canada, August 21-24, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5165},
pages = {211--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85097-7\_20},
doi = {10.1007/978-3-540-85097-7\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cocoa/JagerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2007diss,
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2007},
series = {{LNI}},
volume = {{D-8}},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/4403},
isbn = {978-3-88579-412-7},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2007diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caan/RichterGJM07,
author = {Dirk Richter and
Boris Goldengorin and
Gerold J{\"{a}}ger and
Paul Molitor},
editor = {Jeannette C. M. Janssen and
Pawel Pralat},
title = {Improving the Efficiency of Helsgaun's Lin-Kernighan Heuristic for
the Symmetric {TSP}},
booktitle = {Combinatorial and Algorithmic Aspects of Networking, 4th Workshop,
{CAAN} 2007, Halifax, Canada, August 14, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4852},
pages = {99--111},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77294-1\_10},
doi = {10.1007/978-3-540-77294-1\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/caan/RichterGJM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccta/DongM07,
author = {Changxing Dong and
Paul Molitor},
title = {What Graphs can be Efficiently Represented by BDDs?},
booktitle = {2007 International Conference on Computing: Theory and Applications
{(ICCTA} 2007), 5-7 March 2007, Kolkata, India},
pages = {128--134},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICCTA.2007.133},
doi = {10.1109/ICCTA.2007.133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccta/DongM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor06,
author = {Paul Molitor},
title = {...was wird mit {\"{u}}brigens?},
journal = {it Inf. Technol.},
volume = {48},
number = {4},
pages = {247},
year = {2006},
url = {https://doi.org/10.1524/itit.2006.48.4.247},
doi = {10.1524/ITIT.2006.48.4.247},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Molitor06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/GoldengorinJM06,
author = {Boris Goldengorin and
Gerold J{\"{a}}ger and
Paul Molitor},
editor = {Siu{-}Wing Cheng and
Chung Keung Poon},
title = {Some Basics on Tolerances},
booktitle = {Algorithmic Aspects in Information and Management, Second International
Conference, {AAIM} 2006, Hong Kong, China, June 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4041},
pages = {194--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11775096\_19},
doi = {10.1007/11775096\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/GoldengorinJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caan/GoldengorinJM06,
author = {Boris Goldengorin and
Gerold J{\"{a}}ger and
Paul Molitor},
editor = {Thomas Erlebach},
title = {Tolerance Based Contract-or-Patch Heuristic for the Asymmetric {TSP}},
booktitle = {Combinatorial and Algorithmic Aspects of Networking, Third Workshop,
{CAAN} 2006, Chester, UK, July 2, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4235},
pages = {86--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11922377\_8},
doi = {10.1007/11922377\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/caan/GoldengorinJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2005diss,
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2005},
series = {{LNI}},
volume = {{D-6}},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/4401},
isbn = {978-3-88579-410-3},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2005diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0012343,
author = {Bernd Becker and
Rolf Drechsler and
Paul Molitor},
title = {Technische Informatik - eine Einf{\"{u}}hrung},
series = {Pearson Studium},
publisher = {Pearson Education},
year = {2005},
isbn = {978-3-8273-7092-1},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0012343.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor05,
author = {Paul Molitor},
title = {Gutachter 2005},
journal = {it Inf. Technol.},
volume = {47},
number = {6},
pages = {366},
year = {2005},
url = {https://doi.org/10.1524/itit.2005.47.6.366},
doi = {10.1524/ITIT.2005.47.6.366},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Molitor05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/gi/2004diss,
editor = {Thomas Dreier and
Oliver G{\"{u}}nther and
Steffen H{\"{o}}lldobler and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Dorothea Wagner},
title = {Ausgezeichnete Informatikdissertationen 2004},
series = {{LNI}},
volume = {{D-5}},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/4400},
isbn = {3-88579-409-8},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2004diss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0010724,
author = {Paul Molitor and
J{\"{o}}rg Ritter},
title = {{VHDL} - eine Einf{\"{u}}hrung},
publisher = {Pearson Studium},
year = {2004},
url = {http://www.pearson-studium.de/main/main.asp?page=bookdetails\&\#38;ProductID=13685},
isbn = {978-3-8273-7047-1},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0010724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Molitor04,
author = {Paul Molitor},
title = {Gutachter 2004},
journal = {it Inf. Technol.},
volume = {46},
number = {6},
pages = {360},
year = {2004},
url = {https://doi.org/10.1524/itit.46.6.360.54689},
doi = {10.1524/ITIT.46.6.360.54689},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Molitor04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KeimDBMM03,
author = {Martin Keim and
Rolf Drechsler and
Bernd Becker and
Michael Martin and
Paul Molitor},
title = {Polynomial Formal Verification of Multipliers},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {1},
pages = {39--58},
year = {2003},
url = {https://doi.org/10.1023/A:1021752130394},
doi = {10.1023/A:1021752130394},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KeimDBMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Oldenbourg03,
author = {Heinz Zemanek and
Johannes Oldenbourg and
Paul Molitor and
Klaus K{\"{u}}spert and
Kurt Rothermel},
title = {Zum neuen Jahrgang},
journal = {it Inf. Technol.},
volume = {45},
number = {1},
pages = {3--5},
year = {2003},
url = {https://doi.org/10.1524/itit.45.1.3.19026},
doi = {10.1524/ITIT.45.1.3.19026},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Oldenbourg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MohnkeMM02,
author = {Janett Mohnke and
Paul Molitor and
Sharad Malik},
title = {Limits of Using Signatures for Permutation Independent Boolean Comparison},
journal = {Formal Methods Syst. Des.},
volume = {21},
number = {2},
pages = {167--191},
year = {2002},
url = {https://doi.org/10.1023/A:1016091418702},
doi = {10.1023/A:1016091418702},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/MohnkeMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apccas/SchonfeldM02,
author = {Robby Sch{\"{o}}nfeld and
Paul Molitor},
title = {What are the samples for learning efficient routing heuristics? {[MCM}
routing]},
booktitle = {{IEEE} Asia Pacific Conference on Circuits and Systems 2002, {APCCAS}
2002, Singapore, 16-18 December 2002},
pages = {267--272},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/APCCAS.2002.1114951},
doi = {10.1109/APCCAS.2002.1114951},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apccas/SchonfeldM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MohnkeMM01,
author = {Janett Mohnke and
Paul Molitor and
Sharad Malik},
title = {Application of BDDs in Boolean matching techniques for formal logic
combinational verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {2},
pages = {207--216},
year = {2001},
url = {https://doi.org/10.1007/s100090100039},
doi = {10.1007/S100090100039},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MohnkeMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/RitterM01,
author = {J{\"{o}}rg Ritter and
Paul Molitor},
editor = {Scott Hauck and
Martine D. F. Schlag and
Russell Tessier},
title = {A pipelined architecture for partitioned {DWT} based lossy image compression
using FPGA's},
booktitle = {Proceedings of the {ACM/SIGDA} International Symposium on Field Programmable
Gate Arrays, {FPGA} 2001, Monterey, CA, USA, February 11-13, 2001},
pages = {201--206},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360276.360350},
doi = {10.1145/360276.360350},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fpga/RitterM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Heinrich-LitanM00,
author = {Laura Heinrich{-}Litan and
Paul Molitor},
title = {Least Upper Bounds for the Size of OBDDs Using Symmetry Properties},
journal = {{IEEE} Trans. Computers},
volume = {49},
number = {4},
pages = {360--368},
year = {2000},
url = {https://doi.org/10.1109/12.844348},
doi = {10.1109/12.844348},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/Heinrich-LitanM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ForthM00,
author = {Riccardo Forth and
Paul Molitor},
title = {An efficient heuristic for state encoding minimizing the {BDD} representations
of the transistion relations of finite state machines},
booktitle = {Proceedings of {ASP-DAC} 2000, Asia and South Pacific Design Automation
Conference 2000, Yokohama, Japan},
pages = {61--66},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/368434.368519},
doi = {10.1145/368434.368519},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/ForthM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/RitterM00,
author = {Joerg Ritter and
Paul Molitor},
title = {A partitioned wavelet-based approach for image compression using FPGA's},
booktitle = {Proceedings of the {IEEE} 2000 Custom Integrated Circuits Conference,
{CICC} 2000, Orlando, FL, USA, May 21-24, 2000},
pages = {547--550},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CICC.2000.852727},
doi = {10.1109/CICC.2000.852727},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cicc/RitterM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/GuntherSBM00,
author = {Wolfgang G{\"{u}}nther and
Robby Sch{\"{o}}nfeld and
Bernd Becker and
Paul Molitor},
editor = {Joe Marks},
title = {\emph{k}-Layer Straightline Crossing Minimization by Speeding Up Sifting},
booktitle = {Graph Drawing, 8th International Symposium, {GD} 2000, Colonial Williamsburg,
VA, USA, September 20-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1984},
pages = {253--258},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44541-2\_24},
doi = {10.1007/3-540-44541-2\_24},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gd/GuntherSBM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/WefelM00,
author = {Sandro Wefel and
Paul Molitor},
editor = {Majid Sarrafzadeh and
Prithviraj Banerjee and
Kaushik Roy},
title = {Prove that a faulty multiplier is faulty!?},
booktitle = {Proceedings of the 10th {ACM} Great Lakes Symposium on {VLSI} 2000,
Chicago, Illinois, USA, March 2-4, 2000},
pages = {43--46},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/330855.330957},
doi = {10.1145/330855.330957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/WefelM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/ForthM00,
author = {Riccardo Forth and
Paul Molitor},
editor = {Klaus Waldschmidt and
Christoph Grimm},
title = {Permutation Independent Comparison of Pseudo Boolean Functions},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
28 - March 1, 2000},
pages = {79--88},
publisher = {{VDE}},
year = {2000},
timestamp = {Mon, 22 Dec 2014 14:03:11 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/ForthM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0096390,
author = {Paul Molitor and
Christoph Scholl},
title = {Datenstrukturen und effiziente Algorithmen f{\"{u}}r die Logiksynthese
kombinatorischer Schaltungen},
publisher = {Teubner},
year = {1999},
isbn = {978-3-519-02945-8},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0096390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/MohnkeMM99,
author = {Janett Mohnke and
Paul Molitor and
Sharad Malik},
title = {Establishing latch correspondence for sequential circuits using distinguishing
signatures},
journal = {Integr.},
volume = {27},
number = {1},
pages = {33--46},
year = {1999},
url = {https://doi.org/10.1016/S0167-9260(98)00014-5},
doi = {10.1016/S0167-9260(98)00014-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/integration/MohnkeMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SchollMMD99,
author = {Christoph Scholl and
Dirk M{\"{o}}ller and
Paul Molitor and
Rolf Drechsler},
title = {{BDD} minimization using symmetries},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {2},
pages = {81--100},
year = {1999},
url = {https://doi.org/10.1109/43.743706},
doi = {10.1109/43.743706},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SchollMMD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/MatuszewskiSM99,
author = {Christian Matuszewski and
Robby Sch{\"{o}}nfeld and
Paul Molitor},
editor = {Jan Kratochv{\'{\i}}l},
title = {Using Sifting for k -Layer Straightline Crossing Minimization},
booktitle = {Graph Drawing, 7th International Symposium, GD'99, Stir{\'{\i}}n
Castle, Czech Republic, September 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1731},
pages = {217--224},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46648-7\_22},
doi = {10.1007/3-540-46648-7\_22},
timestamp = {Sun, 13 Nov 2022 09:57:36 +0100},
biburl = {https://dblp.org/rec/conf/gd/MatuszewskiSM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Heinrich-LitanFSMR98,
author = {Laura Heinrich{-}Litan and
Ursula Fissgus and
St. Sutter and
Paul Molitor and
Thomas Rauber},
editor = {David J. Pritchard and
Jeff Reeve},
title = {Modeling the Communication Behavior of Distributed Memory Machines
by Genetic Programming},
booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
Southampton, UK, September 1-4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1470},
pages = {273--278},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057862},
doi = {10.1007/BFB0057862},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europar/Heinrich-LitanFSMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchollMHM97,
author = {Christoph Scholl and
S. Melchior and
G{\"{u}}nter Hotz and
Paul Molitor},
title = {Minimizing {ROBDD} sizes of incompletely specified Boolean functionsby
exploiting strong symmetries},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {229--234},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582364},
doi = {10.1109/EDTC.1997.582364},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/SchollMHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/KeimMBDM97,
author = {Martin Keim and
Michael Martin and
Bernd Becker and
Rolf Drechsler and
Paul Molitor},
title = {Polynomial Formal Verification of Multipliers},
booktitle = {15th {IEEE} {VLSI} Test Symposium (VTS'97), April 27-May 1, 1997,
Monterey, California, {USA}},
pages = {150--157},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/VTEST.1997.599468},
doi = {10.1109/VTEST.1997.599468},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/KeimMBDM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/Heinrich-LitanMM96,
author = {Laura Heinrich{-}Litan and
Paul Molitor and
Dirk M{\"{o}}ller},
title = {Least Upper Bounds on the Sizes of Symmetric Variable Order based
OBDDs},
booktitle = {6th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '96), March 22-23,
1996, Ames, IA, {USA}},
pages = {126},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/GLSV.1996.497607},
doi = {10.1109/GLSV.1996.497607},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/Heinrich-LitanMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/AsverenM96,
author = {Tolga Asveren and
Paul Molitor},
editor = {Hans{-}Michael Voigt and
Werner Ebeling and
Ingo Rechenberg and
Hans{-}Paul Schwefel},
title = {New Crossover Methods For Sequencing Problems},
booktitle = {Parallel Problem Solving from Nature - {PPSN} IV, International Conference
on Evolutionary Computation. The 4th International Conference on Parallel
Problem Solving from Nature, Berlin, Germany, September 22-26, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1141},
pages = {290--299},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61723-X\_993},
doi = {10.1007/3-540-61723-X\_993},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ppsn/AsverenM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BeckerDM95,
author = {Bernd Becker and
Rolf Drechsler and
Paul Molitor},
title = {On the generation of area-time optimal testable adders},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {14},
number = {9},
pages = {1049--1066},
year = {1995},
url = {https://doi.org/10.1109/43.406707},
doi = {10.1109/43.406707},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/BeckerDM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MohnkeMM95,
author = {Janett Mohnke and
Paul Molitor and
Sharad Malik},
editor = {Isao Shirakawa},
title = {Limits of using signatures for permutation independent Boolean comparison},
booktitle = {Proceedings of the 1995 Conference on Asia Pacific Design Automation,
Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224818.224955},
doi = {10.1145/224818.224955},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MohnkeMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SchollM95,
author = {Christoph Scholl and
Paul Molitor},
editor = {Isao Shirakawa},
title = {Communication based {FPGA} synthesis for multi-output Boolean functions},
booktitle = {Proceedings of the 1995 Conference on Asia Pacific Design Automation,
Makuhari, Massa, Chiba, Japan, August 29 - September 1, 1995},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224818.224910},
doi = {10.1145/224818.224910},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/SchollM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/PetersM95,
author = {Ines Peters and
Paul Molitor},
title = {Priority driven channel pin assignment},
booktitle = {5th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '95), March 16-18,
1995, The State University of New York at Buffalo, {USA}},
pages = {132},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/GLSV.1995.516039},
doi = {10.1109/GLSV.1995.516039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/PetersM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/MolitorS94,
author = {Paul Molitor and
Christoph Scholl},
title = {Communication based multilevel synthesis for multi-output Boolean
functions},
booktitle = {Fourth Great Lakes Symposium on Design Automation of High Performance
{VLSI} Systems, {GLSV} '94, Notre Dame, IN, USA, March 4-5, 1994},
pages = {101--104},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/GLSV.1994.289987},
doi = {10.1109/GLSV.1994.289987},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/MolitorS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/MolitorSW94,
author = {Paul Molitor and
Uwe Sparmann and
Dorothea Wagner},
title = {Two-Layer Wiring with Pin Preassignments is Easier if the Power Supply
Nets are Already Generated},
booktitle = {Proceedings of the Seventh International Conference on {VLSI} Design,
{VLSI} Design 1994, Calcutta, India, January 5-8, 1994},
pages = {149--154},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICVD.1994.282674},
doi = {10.1109/ICVD.1994.282674},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/MolitorSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/Molitor93,
author = {Paul Molitor},
title = {A hierarchy preserving hierarchical bottom-up 2-layer wiring algorithm
with respect to via minimization},
journal = {Integr.},
volume = {15},
number = {1},
pages = {73--95},
year = {1993},
url = {https://doi.org/10.1016/0167-9260(93)90005-W},
doi = {10.1016/0167-9260(93)90005-W},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/Molitor93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BeckerDM93,
author = {Bernd Becker and
Rolf Drechsler and
Paul Molitor},
title = {On the implementation of an efficient performance driven generator
for conditional-sum-adders},
booktitle = {Proceedings of the European Design Automation Conference 1993, {EURO-DAC}
'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993},
pages = {402--407},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/EURDAC.1993.410668},
doi = {10.1109/EURDAC.1993.410668},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/BeckerDM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BeckerM92,
author = {Bernd Becker and
Paul Molitor},
editor = {Gerald Musgrave},
title = {A performance driven generator for efficient testable conditional-sum-adders},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'92, Hamburg, Germany, September 7-10, 1992},
pages = {370--375},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {https://doi.org/10.1109/EURDAC.1992.246217},
doi = {10.1109/EURDAC.1992.246217},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/BeckerM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KaufmannMV92,
author = {Michael Kaufmann and
Paul Molitor and
Wolfgang Vogelgesang},
editor = {Alain Finkel and
Matthias Jantzen},
title = {Performance Driven k-Layer Wiring},
booktitle = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
Science, Cachan, France, February 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {577},
pages = {489--500},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55210-3\_207},
doi = {10.1007/3-540-55210-3\_207},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/KaufmannMV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/92/Molitor92,
author = {Paul Molitor},
editor = {Johannes Buchmann and
Harald Ganzinger and
Wolfgang J. Paul},
title = {A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm
with Respect to Via Minimization},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
series = {Teubner-Texte zur Informatik},
volume = {1},
pages = {333--348},
publisher = {Teubner / Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-322-95233-2\_19},
doi = {10.1007/978-3-322-95233-2\_19},
timestamp = {Tue, 16 Jul 2019 08:16:16 +0200},
biburl = {https://dblp.org/rec/books/sp/92/Molitor92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Molitor91,
author = {Paul Molitor},
title = {A Survey on Wiring},
journal = {J. Inf. Process. Cybern.},
volume = {27},
number = {1},
pages = {3--19},
year = {1991},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Molitor91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/KaufmannM91,
author = {Michael Kaufmann and
Paul Molitor},
title = {Minimal stretching of a layout to ensure 2-layer wirability},
journal = {Integr.},
volume = {12},
number = {3},
pages = {339--352},
year = {1991},
url = {https://doi.org/10.1016/0167-9260(91)90029-K},
doi = {10.1016/0167-9260(91)90029-K},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/KaufmannM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Molitor90,
author = {Paul Molitor},
title = {Constrained via minimization for systolic arrays},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {9},
number = {5},
pages = {537--542},
year = {1990},
url = {https://doi.org/10.1109/43.55183},
doi = {10.1109/43.55183},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/Molitor90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BeckerBHKKMOPS90,
author = {Bernd Becker and
Thomas Burch and
G{\"{u}}nter Hotz and
D. Kiel and
Reiner Kolla and
Paul Molitor and
Hans{-}Georg Osthof and
Gisela Pitsch and
Uwe Sparmann},
editor = {Gordon Adshead and
Jochen A. G. Jess},
title = {A graphical system for hierarchical specifications and checkups of
{VLSI} circuits},
booktitle = {European Design Automation Conference, {EURO-DAC} 1990, Glasgow, Scotland,
UK, March 12-15, 1990},
pages = {174--179},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/EDAC.1990.136640},
doi = {10.1109/EDAC.1990.136640},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/BeckerBHKKMOPS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068123,
author = {Reiner Kolla and
Paul Molitor and
Hans{-}Georg Osthof},
title = {Einf{\"{u}}hrung in den VLSI-Entwurf},
series = {Leitf{\"{a}}den und Monographien der Informatik},
publisher = {Teubner},
year = {1989},
isbn = {978-3-519-02273-2},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/KollaM89,
author = {Reiner Kolla and
Paul Molitor},
title = {A note on hierarchical layer-assignment},
journal = {Integr.},
volume = {7},
number = {3},
pages = {213--230},
year = {1989},
url = {https://doi.org/10.1016/0167-9260(89)90002-3},
doi = {10.1016/0167-9260(89)90002-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/KollaM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BeckerHKMO87,
author = {Bernd Becker and
G{\"{u}}nter Hotz and
Reiner Kolla and
Paul Molitor and
Hans{-}Georg Osthof},
editor = {A. O'Neill and
D. Thomas},
title = {Hierarchical Design Based on a Calculus of Nets},
booktitle = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
Beach, FL, USA, June 28 - July 1, 1987},
pages = {649--653},
publisher = {{IEEE} Computer Society Press / {ACM}},
year = {1987},
url = {https://doi.org/10.1145/37888.37992},
doi = {10.1145/37888.37992},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BeckerHKMO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Molitor87,
author = {Paul Molitor},
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {On the Contact-Minimization-Problem},
booktitle = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
pages = {420--431},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039624},
doi = {10.1007/BFB0039624},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Molitor87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Molitor86,
author = {Paul Molitor},
title = {{\"{U}}ber die Bikategorie der logisch-topologischen Netze und
ihre Semantik},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {1986},
url = {https://d-nb.info/870758748},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Molitor86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HotzBKM86,
author = {G{\"{u}}nter Hotz and
Bernd Becker and
Reiner Kolla and
Paul Molitor},
title = {Ein logisch-topologischer Kalk{\"{u}}l zur Konstruktion integrierter
Schaltkreise, Teil {I}},
journal = {Inform. Forsch. Entwickl.},
volume = {1},
number = {1},
pages = {38--47},
year = {1986},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/HotzBKM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HotzBKM86a,
author = {G{\"{u}}nter Hotz and
Bernd Becker and
Reiner Kolla and
Paul Molitor},
title = {Ein logisch-topologischer Kalk{\"{u}}l zur Konstruktion integrierter
Schaltkreise, Teil {II}},
journal = {Inform. Forsch. Entwickl.},
volume = {1},
number = {2},
pages = {72--82},
year = {1986},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/HotzBKM86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HotzKM86,
author = {G{\"{u}}nter Hotz and
Reiner Kolla and
Paul Molitor},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg and
Azriel Rosenfeld},
title = {On Network Algebras and Recursive Equations},
booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International
Workshop, Warrenton, Virginia, USA, December 2-6, 1986},
series = {Lecture Notes in Computer Science},
volume = {291},
pages = {250--261},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18771-5\_57},
doi = {10.1007/3-540-18771-5\_57},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/HotzKM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-02 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
