Paul Molitor - RankMe

93 papers A* 1A 5C 6Misc 2Journal 34Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Improving text collations by local text resegmentation. Digit. Scholarsh. Humanit. Janis Dähne, Jörg Ritter, Paul Molitor
2023	J	`jnl`	LERA - an interactive platform for synoptical representations of multiple text witnesses. Digit. Scholarsh. Humanit. Marcus Pöckelmann, André Medek, Jörg Ritter, Paul Molitor
2023	J	`jnl`	Machine learning applications. it Inf. Technol. Natanael Arndt, Paul Molitor, Ricardo Usbeck
2022	J	`jnl`	Putting collation of text witnesses on a formal basis. Digit. Scholarsh. Humanit. Janis Dähne, Marcus Pöckelmann, Jörg Ritter, Paul Molitor
2020	J	`jnl`	Digital methods for intertextuality studies. it Inf. Technol. Paul Molitor, Jörg Ritter
2020	J	`jnl`	Fast paraphrase extraction in Ancient Greek literature. it Inf. Technol. Marcus Pöckelmann, Janis Dähne, Jörg Ritter, Paul Molitor
2020	—	`conf`	Keter Shem Ṭov - Prozessualisierung eines Editionsprojekts mit 100 Textzeugen. DHd Paul Molitor, Gerold Necker, Marcus Pöckelmann, Bill Rebiger, Jörg Ritter
2019	—	`book`	Ausgezeichnete Informatikdissertationen 2018. Ausgezeichnete Informatikdissertationen Sven Apel, Abraham Bernstein, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Björn Scheuermann, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk, Klaus Wehrle
2018	—	`book`	Ausgezeichnete Informatikdissertationen 2017 Ausgezeichnete Informatikdissertationen Sven Apel, Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Björn Scheuermann, Myra Spiliopoulou, Sabine Süsstrunk
2018	C	`conf`	Finding the Redundant Gates in Reversible Circuits. RC Matthias Pfuhl, Jörg Ritter, Paul Molitor
2017	—	`book`	Ausgezeichnete Informatikdissertationen 2016 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Sabine Süsstrunk
2016	—	`book`	Ausgezeichnete Informatikdissertationen 2015 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2015	J	`jnl`	"im Zentrum eines Netzes [...] geistiger Fäden". Erschließung und Erforschung thematischer Zusammenhänge in heterogenen Briefkorpora. Datenbank-Spektrum Vera Hildenbrandt, Roland S. Kamzelak, Paul Molitor, Jörg Ritter
2015	J	`jnl`	An optimized platform for capturing metadata of historical correspondence. Digit. Scholarsh. Humanit. Martin Andert, Frank Berger, Paul Molitor, Jörg Ritter
2015	—	`book`	Ausgezeichnete Informatikdissertationen 2014 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Felix C. Freiling, Steffen Hölldobler, Hans-Peter Lenhof, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2015	J	`jnl`	Computational Recognition of RNA Splice Sites by Exact Algorithms for the Quadratic Traveling Salesman Problem. Comput. Anja Fischer, Frank Fischer, Gerold Jäger, Jens Keilwagen, Paul Molitor, Ivo Grosse
2015	J	`jnl`	Differenzanalyse komplexer Textvarianten - Diskussion und Werkzeuge. Datenbank-Spektrum André Medek, Marcus Pöckelmann, Thomas Bremer, Hans-Joachim Solms, Paul Molitor, Jörg Ritter
2015	J	`jnl`	Reviewers 2013-2014. it Inf. Technol. Paul Molitor
2014	J	`jnl`	A backbone based TSP heuristic for large instances. J. Heuristics Gerold Jäger, Changxing Dong, Boris Goldengorin, Paul Molitor, Dirk Richter
2014	—	`book`	Ausgezeichnete Informatikdissertationen 2013 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Steffen Hölldobler, Hans-Peter Lenhof, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2014	J	`jnl`	Exact algorithms and heuristics for the Quadratic Traveling Salesman Problem with an application in bioinformatics. Discret. Appl. Math. Anja Fischer, Frank Fischer, Gerold Jäger, Jens Keilwagen, Paul Molitor, Ivo Grosse
2014	J	`jnl`	Preface. it Inf. Technol. Paul Molitor
2014	—	`conf`	User-friendly lemmatization and morphological annotation of Early New High German manuscripts. DH André Gießler, Jörg Ritter, Paul Molitor, Martin Andert, Sylwia Kösser, Aletta Leipold
2013	—	`conf`	Model Checking for PLC based Railway Interlocking Systems. MBMV André Gießler, Jörg Ritter, Paul Molitor
2013	—	`conf`	Optimized platform for capturing metadata of historical correspondences. DH Martin Andert, Jörg Ritter, Paul Molitor
2012	—	`book`	Ausgezeichnete Informatikdissertationen 2011 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2012	—	`book`	Ausgezeichnete Informatikdissertationen 2012 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Wolfgang Effelsberg, Steffen Hölldobler, Hans-Peter Lenhof, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk
2011	—	`book`	Ausgezeichnete Informatikdissertationen 2010 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2011	—	`conf`	BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. MBMV André Gießler, Jörg Ritter, Paul Molitor
2011	J	`jnl`	Reviewer Thanks. it Inf. Technol. Paul Molitor
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2008 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2009 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	C	`conf`	Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction. AAIM Christian Ernst, Changxing Dong, Gerold Jäger, Dirk Richter, Paul Molitor
2009	C	`conf`	Effective Heuristics for Large Euclidean TSP Instances Based on Pseudo Backbones. CTW Changxing Dong, Christian Ernst, Gerold Jäger, Dirk Richter, Paul Molitor
2009	C	`conf`	Effective Tour Searching for TSP by Contraction of Pseudo Backbone Edges. AAIM Changxing Dong, Gerold Jäger, Dirk Richter, Paul Molitor
2008	C	`conf`	Algorithms and Experimental Study for the Traveling Salesman Problem of Second Order. COCOA Gerold Jäger, Paul Molitor
2008	—	`book`	Ausgezeichnete Informatikdissertationen 2007 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2008	J	`jnl`	Gutachter 2008. it Inf. Technol. Paul Molitor
2008	—	`book`	Technische Informatik - eine einführende Darstellung. Bernd Becker, Paul Molitor
2007	—	`conf`	Improving the Efficiency of Helsgaun's Lin-Kernighan Heuristic for the Symmetric TSP. CAAN Dirk Richter, Boris Goldengorin, Gerold Jäger, Paul Molitor
2007	—	`conf`	What Graphs can be Efficiently Represented by BDDs? ICCTA Changxing Dong, Paul Molitor
2006	J	`jnl`	...was wird mit übrigens? it Inf. Technol. Paul Molitor
2006	—	`book`	Ausgezeichnete Informatikdissertationen 2005 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Dorothea Wagner
2006	C	`conf`	Some Basics on Tolerances. AAIM Boris Goldengorin, Gerold Jäger, Paul Molitor
2006	—	`conf`	Tolerance Based Contract-or-Patch Heuristic for the Asymmetric TSP. CAAN Boris Goldengorin, Gerold Jäger, Paul Molitor
2005	—	`book`	Ausgezeichnete Informatikdissertationen 2004 Ausgezeichnete Informatikdissertationen Thomas Dreier, Oliver Günther, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Rüdiger Reischuk, Dietmar Saupe, Dorothea Wagner
2005	J	`jnl`	Gutachter 2005. it Inf. Technol. Paul Molitor
2005	—	`book`	Technische Informatik - eine Einführung. Bernd Becker, Rolf Drechsler, Paul Molitor
2004	J	`jnl`	Gutachter 2004. it Inf. Technol. Paul Molitor
2004	—	`book`	VHDL - eine Einführung. Paul Molitor, Jörg Ritter
2003	J	`jnl`	Polynomial Formal Verification of Multipliers. Formal Methods Syst. Des. Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
2003	J	`jnl`	Zum neuen Jahrgang. it Inf. Technol. Heinz Zemanek, Johannes Oldenbourg, Paul Molitor, Klaus Küspert, Kurt Rothermel
2002	J	`jnl`	Limits of Using Signatures for Permutation Independent Boolean Comparison. Formal Methods Syst. Des. Janett Mohnke, Paul Molitor, Sharad Malik
2002	—	`conf`	What are the samples for learning efficient routing heuristics? [MCM routing]. APCCAS (1) Robby Schönfeld, Paul Molitor
2001	A	`conf`	A pipelined architecture for partitioned DWT based lossy image compression using FPGA's. FPGA Jörg Ritter, Paul Molitor
2001	J	`jnl`	Application of BDDs in Boolean matching techniques for formal logic combinational verification. Int. J. Softw. Tools Technol. Transf. Janett Mohnke, Paul Molitor, Sharad Malik
2000	—	`conf`	A partitioned wavelet-based approach for image compression using FPGA's. CICC Joerg Ritter, Paul Molitor
2000	—	`conf`	An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines. ASP-DAC Riccardo Forth, Paul Molitor
2000	J	`jnl`	Least Upper Bounds for the Size of OBDDs Using Symmetry Properties. IEEE Trans. Computers Laura Heinrich-Litan, Paul Molitor
2000	—	`conf`	Permutation Independent Comparison of Pseudo Boolean Functions. MBMV Riccardo Forth, Paul Molitor
2000	—	`conf`	Prove that a faulty multiplier is faulty!? ACM Great Lakes Symposium on VLSI Sandro Wefel, Paul Molitor
1999	J	`jnl`	BDD minimization using symmetries. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler
1999	—	`book`	Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen. Paul Molitor, Christoph Scholl
1999	J	`jnl`	Establishing latch correspondence for sequential circuits using distinguishing signatures. Integr. Janett Mohnke, Paul Molitor, Sharad Malik
1999	A	`conf`	Using Sifting for k -Layer Straightline Crossing Minimization. GD Christian Matuszewski, Robby Schönfeld, Paul Molitor
1998	—	`conf`	Modeling the Communication Behavior of Distributed Memory Machines by Genetic Programming. Euro-Par Laura Heinrich-Litan, Ursula Fissgus, St. Sutter, Paul Molitor, Thomas Rauber
1997	—	`conf`	Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. ED&TC Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor
1997	Misc	`conf`	Polynomial Formal Verification of Multipliers. VTS Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
1996	—	`conf`	Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs. Great Lakes Symposium on VLSI Laura Heinrich-Litan, Paul Molitor, Dirk Möller
1996	A	`conf`	New Crossover Methods For Sequencing Problems. PPSN Tolga Asveren, Paul Molitor
1995	—	`conf`	Communication based FPGA synthesis for multi-output Boolean functions. ASP-DAC Christoph Scholl, Paul Molitor
1995	—	`conf`	Limits of using signatures for permutation independent Boolean comparison. ASP-DAC Janett Mohnke, Paul Molitor, Sharad Malik
1995	J	`jnl`	On the generation of area-time optimal testable adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bernd Becker, Rolf Drechsler, Paul Molitor
1995	—	`conf`	Priority driven channel pin assignment. Great Lakes Symposium on VLSI Ines Peters, Paul Molitor
1994	—	`conf`	Communication based multilevel synthesis for multi-output Boolean functions. Great Lakes Symposium on VLSI Paul Molitor, Christoph Scholl
1994	Misc	`conf`	Two-Layer Wiring with Pin Preassignments is Easier if the Power Supply Nets are Already Generated. VLSI Design Paul Molitor, Uwe Sparmann, Dorothea Wagner
1993	J	`jnl`	A hierarchy preserving hierarchical bottom-up 2-layer wiring algorithm with respect to via minimization. Integr. Paul Molitor
1993	—	`conf`	On the implementation of an efficient performance driven generator for conditional-sum-adders. EURO-DAC Bernd Becker, Rolf Drechsler, Paul Molitor
1992	—	`ch.`	A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization. Informatik Paul Molitor
1992	—	`conf`	A performance driven generator for efficient testable conditional-sum-adders. EURO-DAC Bernd Becker, Paul Molitor
1992	A	`conf`	Performance Driven k-Layer Wiring. STACS Michael Kaufmann, Paul Molitor, Wolfgang Vogelgesang
1991	J	`jnl`	A Survey on Wiring. J. Inf. Process. Cybern. Paul Molitor
1991	J	`jnl`	Minimal stretching of a layout to ensure 2-layer wirability. Integr. Michael Kaufmann, Paul Molitor
1990	—	`conf`	A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann
1990	J	`jnl`	Constrained via minimization for systolic arrays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Paul Molitor
1989	J	`jnl`	A note on hierarchical layer-assignment. Integr. Reiner Kolla, Paul Molitor
1989	—	`book`	Einführung in den VLSI-Entwurf. Reiner Kolla, Paul Molitor, Hans-Georg Osthof
1987	A*	`conf`	Hierarchical Design Based on a Calculus of Nets. DAC Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof
1987	A	`conf`	On the Contact-Minimization-Problem. STACS Paul Molitor
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	—	`conf`	On Network Algebras and Recursive Equations. Graph-Grammars and Their Application to Computer Science Günter Hotz, Reiner Kolla, Paul Molitor
1986	—	`—`	Über die Bikategorie der logisch-topologischen Netze und ihre Semantik. Paul Molitor