Follow
Paul Molitor
Paul Molitor
Martin Luther University Halle-Wittenberg, Institute for Computer Science
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
Graph Drawing: 7th International Symposium, GD’99 Štiřín Castle, Czech …, 1999
1021999
BDD minimization using symmetries
C Scholl, D Moller, P Molitor, R Drechsler
IEEE transactions on computer-aided design of integrated circuits and …, 1999
931999
Limits of using signatures for permutation independent Boolean comparison
J Mohnke, P Molitor, S Malik
Formal Methods in System Design 21, 167-191, 2002
72*2002
Equivalence checking of digital circuits: fundamentals, principles, methods
P Molitor, J Mohnke
Springer Science & Business Media, 2007
712007
Polynomial formal verification of multipliers
M Keim, R Drechsler, B Becker, M Martin, P Molitor
Formal Methods in System Design 22, 39-58, 2003
69*2003
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
652001
Technische Informatik
B Becker, R Drechsler, P Molitor
Pearson Studium, 2005
54*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
53*1987
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
452014
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
44*2008
Tolerances applied in combinatorial optimization
B Goldengorin, G Jäger, P Molitor
J. Comput. Sci 2 (9), 716-734, 2006
442006
Symmetry based variable ordering for ROBDDs
D Möller, P Molitor, R Drechsler
Logic and Architecture Synthesis: State-of-the-art and novel approaches, 70-81, 1995
431995
A survey on wiring
P Molitor
Elektronische Informationsverarbeitung und Kybernetik 27 (1), 3-19, 1991
381991
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
371997
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
34*2000
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
341995
Einführung in den VLSI-Entwurf
R Kolla, P Molitor, HG Osthof
321989
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
28*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
28*1990
SPIHT implemented in a XC4000 device
J Ritter, G Fey, P Molitor
The 2002 45th Midwest Symposium on Circuits and Systems, 2002. MWSCAS-2002 …, 2002
252002
The system can't perform the operation now. Try again later.
Articles 1–20