Paul Molitor
Paul Molitor
Professor of Computer Science, Martin-Luther-University Halle-Wittenberg
Verified email at informatik.uni-halle.de - Homepage
Title
Cited by
Cited by
Year
Using Sifting for k-Layer Straightline Crossing Minimization
C Matuszewski, R Schönfeld, P Molitor
International Symposium on Graph Drawing, 217-224, 1999
951999
BDD minimization using symmetries
C Scholl, D Moller, P Molitor, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1999
761999
Limits of using signatures for permutation independent Boolean comparison
J Mohnke, P Molitor, S Malik
Formal Methods in System Design 21 (2), 167-191, 2002
69*2002
A pipelined architecture for partitioned DWT based lossy image compression using FPGA's
J Ritter, P Molitor
Proceedings of the 2001 ACM/SIGDA ninth international symposium on Field …, 2001
602001
Technische Informatik
B Becker, R Drechsler, P Molitor
Pearson Studium, 2005
51*2005
Hierarchical design based on a calculus of nets
B Becker, G Hotz, R Kolla, P Molitor, HG Osthof
Proceedings of the 24th ACM/IEEE Design Automation Conference, 649-653, 1987
50*1987
Communication based FPGA synthesis for multi-output Boolean functions
C Scholl, P Molitor
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair, 279-287, 1995
45*1995
Polynomial formal verification of multipliers
M Keim, R Drechsler, B Becker, M Martin, P Molitor
Formal Methods in System Design 22 (1), 39-58, 2003
41*2003
Equivalence checking of digital circuits: fundamentals, principles, methods
P Molitor, J Mohnke
Springer Science & Business Media, 2007
402007
Tolerances applied in combinatorial optimization
B Goldengorin, G Jäger, P Molitor
J. Comput. Sci 2 (9), 716-734, 2006
382006
Symmetry based variable ordering for ROBDDs
D Möller, P Molitor, R Drechsler
Logic and Architecture Synthesis, 70-81, 1995
371995
Exact algorithms and heuristics for the quadratic traveling salesman problem with an application in bioinformatics
A Fischer, F Fischer, G Jäger, J Keilwagen, P Molitor, I Grosse
Discrete Applied Mathematics 166, 97-114, 2014
352014
Algorithms and experimental study for the traveling salesman problem of second order
G Jäger, P Molitor
International Conference on Combinatorial Optimization and Applications …, 2008
34*2008
Least upper bounds for the size of OBDDs using symmetry properties
L Heinrich-Litan, P Molitor
IEEE Transactions on computers 49 (4), 360-368, 2000
30*2000
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries
C Scholl, S Melchior, G Hotz, P Molitor
Proceedings European Design and Test Conference. ED & TC 97, 229-234, 1997
301997
Einführung in den VLSI-Entwurf
R Kolla, P Molitor, HG Osthof
301989
A survey on wiring
P Molitor
Elektronische Informationsverarbeitung und Kybernetik 27 (1), 3-19, 1991
281991
On the generation of area-time optimal testable adders
B Becker, R Drechsler, P Molitor
IEEE transactions on computer-aided design of integrated circuits and …, 1995
27*1995
A Graphical System for Hierarchical Specifications and Checkups of VLSI Circuits’
G Hotz, B Becker, T Burch, P Molitor, D Kiel, R Kolla, U Sparmann, ...
The Proceedings of the European Design Automation Conference, 174, 1990
26*1990
Free net algebras in VLSI-theory
P Molitor
Fundamenta Informaticae 11 (3), 117-142, 1988
24*1988
The system can't perform the operation now. Try again later.
Articles 1–20