Molitor, Paul, 1959-
Molitor, Paul
Paul Molitor Informaticien luxembourgeois et professeur à l'université Martin Luther de Halle-Wittenberg
VIAF ID: 71652102 ( Personal )
Permalink: http://viaf.org/viaf/71652102
Preferred Forms
-
-
- 100 1 _ ‡a Molitor, Paul
- 100 1 _ ‡a Molitor, Paul ‡d 1959-
- 100 1 _ ‡a Molitor, Paul ‡d 1959-
- 100 1 _ ‡a Molitor, Paul ‡d 1959-
-
- 100 0 _ ‡a Paul Molitor ‡c Informaticien luxembourgeois et professeur à l'université Martin Luther de Halle-Wittenberg
4xx's: Alternate Name Forms (10)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Abschlußbericht des DFG-Forschungsprojektes Logische Synthese und Optimierung kleiner Schaltungen | |
Beiträge zur Informatik Herrn apl. Prof. Karl-Heinz Rauchhaus zum 60. Geburtstag gewidmet | |
Communication based multilevel synthesis for multi-output boolean functions | |
coverage measure for bounded model checking | |
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen | |
efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines | |
Einführung in den VLSI-Entwurf mit zahlreichen Abbildungen und Beispielen | |
Equivalence checking of digital circuits fundamentals, principles, methods | |
Establishing latch correspondence for sequential circuits using distinguishing signatures | |
Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz | |
Kompaktkurs VDHL mit vielen anschaulichen Beispielen | |
Least upper bounds on the sizes of symmetric variable order based binary decision diagrams | |
New crossover methods for sequencing problems this paper will appear in the proceedings of the 4th International Conference on Parallel Problem Solving from Nature, held in Berlin, September 1996 | |
Platon digital Tradition und Rezeption | |
Prove that a faulty multiplier is faulty!? | |
Technische Informatik eine einführende Darstellung | |
Using sifting for k-layer straightline crossing minimization | |
VERTICAL FLOATING PINS IN OTC ROUTING | |
VHDL eine Einführung | |
What graphs can be efficiently represented by BDDs? |