Paul Molitor

De **Paul Molitor**, gebuer de 26. Dezember 1959 zu Lëtzebuerg, ass Universitéitsprofesser fir Informatik op der Martin-Luther-Universitéit Halle-Wittenberg an Däitschland.

No senger Première 1978 am Jongelycée um Lampertsbierg huet hien zu Saarbrécken op der Uni studéiert, wo hien 1982 resp. 1986 säin Diplom a säin Doktorat beim Professer Günter Hotz gemaach huet. Dunn huet hien als Wëssenschaftler bis 1993 am Sonnerfuerschungsberäich "VLSI-Entwurfsmethoden und Parallelität" vun der däitscher Fuerschungsfondatioun (DFG) geschafft.

De Paul Molitor hat 1993 eng Gaaschtprofessur fir Rechnerarchitektur zu Freiburg im Breisgau. Am Wantersemester 1993/94 hat hien eng Assistenzprofessur fir Schaltungstechnik op der Humboldt Universitéit zu Berlin. Hien ass zanter Abrëll 1994 Universitéitsprofesser op der Martin-Luther-Universitéit zu Halle, wou hien d'Institut fir Informatik opgebaut huet.

Hie leet verschidde Fuerschungsprojeten, dorënner e puer am Domän *Digital Humanities*. Fréier huet hien am Domän *Synthesis and Formal Verification of integrated Circuits* wéi och um *Problem vum Reesende* *fir ganz grouss Instanzen* geschafft. Hie war vun 2003 bis 2018 a vun 2021 bis 2023 den Haaptediteur vun der Zäitschrift *Information Technology* vum De Gruyter Wëssenschaftsverlag.

De Paul Molitor ass de Jong vum Robert Molitor, fréiere Generaldirekter vun der CFL, an de Papp vun zwee Kanner.

## Publikatiounen (Auswiel)
* M. Pöckelmann, A. Medek, J. Ritter, and P. Molitor*. LERA - An interactive platform for synoptical representations of multiple text witnesses.* in: Digital Scholarship in the Humanities, Volume 38, Issue 1, pp.&nbsp;330–346. Oxford University Press 2023. Published online June 30 2022: https://doi.org/10.1093/llc/fqac021
* T. K. H. Luu, M. Pöckelmann, J. Ritter, and P. Molitor. *Applying LERA for collating witnesses of The Tale of Kiêu, a Vietnamese poem written in Nôm script.* Digital Humanities 2022 (DH2022), 25-29 July 2022, Tokyo, Japan.
* J. Dähne, M. Pöckelmann, J. Ritter, and P. Molitor*. Putting collation of text witnesses on a formal basis.* In: Digital Scholarship in the Humanities, 37(2):375-390. Oxford University Press 2022. Published online October 14 2021: https://doi.org/10.1093/llc/fqab058   
* M. Pöckelmann, J. Dähne, J. Ritter, and P. Molitor. *Fast paraphrase extraction in Ancient Greek literature*. In: Special Issue "Digital Tools form Intertexuality Studies", * - Information Technology*, 62(2):75-89, de Gruyter 2020. https://doi.org/10.1515/itit-2019-0042   
* P. Molitor, G. Necker, M. Pöckelmann, B. Rebiger und J. Ritter. *Keter Shem Ṭov ‒ Prozessualisierung eines Editionsprojekts mit 100 Textzeugen.*Poster auf der 7. Jahrestagung des Verbandes Digital Humanities im deutschsprachigen Raum (DHd 2020), Paderborn, March 2-6, 2020
* M. Pfuhl, J. Ritter, and P. Molitor. Finding the redundant gates in reversible circuits. In: Proceedings of the 10th Conference on Reversible Computation (RC 2018), LNCS 11106, pp.&nbsp;205–219, Leicester, UK, September 13-14, 2018.
* H. Strack, S. Wefel, P. Molitor, M. Räckers, J. Becker, J. Dittmann, R. Altschaffel, J. M. Gómez, N. Brehm, and A. Dieckmann. eID & eIDAS at University Management - Chances and Changes for Security and Legally Binding in Cross Boarder Electronization. Annual Congress of the European University Information Systems Organization, EUNIS'2017, Münster, June 2017.
* T. Bremer, P. Molitor, M. Pöckelmann, J. Ritter, und S. Schütz. Zum Einsatz digitaler Methoden bei der Erstellung und Nutzung genetischer Editionen gedruckter Texte mit verschiedenen Fassungen – Das Fallbeispiel der Histoire philosophique des deux Indes von Guillaume Thomas Raynal. In: Editio, Internationales Jahrbuch für Editionswissenschaften, Band 29, Heft 1, S. 29-51, de Gruyter, 2015. http://dx.doi.org/10.1515/editio-2015-004 
* A. Medek, J. Ritter, P. Molitor, and S. Koesser. Interactive Similarity Analysis of Early New High German Text Variants. Digital Humanities, DH2015, Sydney, Australia, 29.6.-3.7.2015.
* M. Pöckelmann, A. Medek, P. Molitor, and J. Ritter. CATview_ - Supporting The Investigation Of Text Genesis Of Large Manuscripts By An Overall Interactive Visualization Tool. Digital Humanities, DH2015, Sydney, Australia, 29.6.-3.7.2015.
* A. Fischer, F. Fischer, G. Jäger, J. Keilwagen, P. Molitor, and I. Grosse. Computational Recognition of RNA Splice Sites by Exact Algorithms for the Quadratic Traveling Salesman Problem. Computation 2015:3(2):285-298, Special Issue „Genomes and Evolution: Computational Approaches“, edited by R. Breitling and M. Medema, June 2015. https://www.mdpi.com/2079-3197/3/2/285
* Ch. Dong, B. Goldengorin, G. Jäger, P. Molitor, and P. Molitor. A Backbone Based TSP Heuristic for Large Instances. In: Journal of Heuristics 20:107-124, 2014.
* A. Fischer, F. Fischer, G. Jäger, J. Keilwagen, P. Molitor, and I. Große. Exact Algorithms and Heuristics for the Quadratic Traveling Salesman Problem with an Application in Bioinformatics.In: Discrete Applied Mathematics, vol. 166, pp.&nbsp;97–144, 2014. 
* A. Medek, M. Pöckelmann, T. Bremer, H.-J. Solms, P. Molitor und J. Ritter. Differenzanalyse komplexer Textvarianten - Diskussion und Werkzeuge. In "Informationsmanagement für Digital Humanities", Hrsg. G. Heyer und A. Henrich. Datenbank-Spektrum, 15(1):25-31, Springer Verlag, 2015. https://link.springer.com/article/10.1007%2Fs13222-014-0173-y 
* M. Kaufmann and P. Molitor. Minimal stretching of a layout to ensure 2-layer wirability. In: INTEGRATION, the VLSI journal, 12:339-352, 1991.
* G. Hotz, P. Molitor, and W. Zimmer. On the construction of very large integer multipliers. In: Proceedings of EURO-ASIC, pp.&nbsp;266–269, Paris, France, May 1991.
* P. Molitor. A survey on wiring. In: EIK Journal of Information Processing and Cybernetics, EIK 27(1):3-19, 1991.
* R. Kolla and P. Molitor. A note on hierarchical layer assignment. In: INTEGRATION, the VLSI journal, 7:213-230, 1989.
* P. Molitor. Free net algebras in VLSI-theory. In: Fundamenta Informaticae, Annales Societatis Mathematicae Polonae XI:117-142, 1988.
* G. Hotz, R. Kolla, P. Molitor, and B. Becker. On network algebras and recursive equations. In: Proceedings of the 3rd International Workshop on Graph Grammars and their Applications to Computer Science (GRAGRA), Lecture Notes in Computer Science LNCS291: 250-261, Warrenton 1987.
* P. Molitor. On the contact minimization problem. In: Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS). Lecture Notes in Computer Science LNCS247:420-431, Passau, Germany, February 1987.
* B. Becker, G. Hotz, R. Kolla, P. Molitor, and H.-G. Osthof. Hierarchical design based on an calculus of nets. In: Proceedings of the 24th Design Automation Conference (DAC), pp.&nbsp;649–653, Miami, Florida, June 1987.
* G. Hotz, B. Becker, R. Kolla und P. Molitor. Ein logischer Kalkül zur Konstruktion von integrierten Schaltkreisen. In: Informatik: Forschung und Entwicklung, 1(1,2):38-47,72-82, 1986.
* P. Molitor. Layer assignment by simulated annealing. In: The EuroMicro Journal, Microprocessing and Microprogramming, 16:245-350, 1985.

## Seng Bicher
* P. Molitor und J. Ritter. Kompaktkurs VHDL mit vielen anschaulichen Beispielen. Oldenbourg Wissenschaftsverlag München 2013, ISBN 978-3-486-71292-6.
* B. Becker und P. Molitor: Technische Informatik - Eine einführende Darstellung. Oldenbourg Wissenschaftsverlag München 2008, ISBN 978-3-486-58650-3
* B. Becker, R. Drechsler und P. Molitor: Technische Informatik - Eine Einführung. Pearson Studium München, 2005, ISBN 3-8273-7092-2
* P. Molitor und J. Ritter: VHDL - Eine Einführung. Pearson Studium München, 2004, ISBN 3-8273-7047-6
* P. Molitor and J. Mohnke: Equivalence Checking of Digital Circuits. Kluwer Academic Publishers, Boston / Dordrecht / London, 2004, ISBN 1-4020-7725-4
* P. Molitor und Chr. Scholl. Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen. B. G. Teubner, Stuttgart / Leipzig 1999, ISBN 3-519-02945-6
* R. Kolla, P. Molitor und H.-G. Osthof. Einführung in den VLSI-Entwurf. B. G. Teubner, Stuttgart 1989, ISBN 3-519-02273-7

## Um Spaweck
* Seng Säit bei der Uni Halle
* Seng Säit bei der DBLP
* Paul Molitor mat deem Mathematics Genealogy Project