Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Paul Molitor, Prof. Dr. Paul Molitor, Prof. Dr.
Adresse Lehrstuhl für Technische Informatik
Institut für Informatik
Martin-Luther-Universität Halle-Wittenberg
06099 Halle an der Saale
Germany
Telefon +49 345 5524710
Fax + 49 (345) 55-2 70 09
eMail molitor@informatik.uni-halle.de
Website http://nirvana.informatik.uni-halle.de/~molitor/

Paul Molitor

Jahre: 2008 | 2003 | 2000 | 1999 | 1997 | 1994 | 1993 | 1992 | 1987 | 1986

    2008

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Paul Molitor
      Technische Informatik: Eine einführende Darstellung
      Oldenbourg Wissenschaftsverlag, 2008

    2003

    Icon: top nach oben zur Jahresübersicht
    • Martin Keim, M. Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
      Polynomial Formal Verification of Multipliers
      2003 Formal Methods in System Design, Band: 22, Nummer: 1, Seiten: 39 - 58

    2000

    Icon: top nach oben zur Jahresübersicht
    • Wolfgang Günther, R. Schönfeld, Bernd Becker, Paul Molitor
      k-Layer Straightline Crossing Minimization by Speeding up Sifting
      2000 Graph Drawing Conf., Springer Verlag, Band: 1984, Seiten: 253 - 258

    1999

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      1999 IEEE Trans. on CAD, Band: 18, Nummer: 2, Seiten: 81 - 100
    • Paul Molitor, Christoph Scholl
      Datenstrukturen und effiziente Algorithmen fuer die Logiksynthese kombinatorischer Schaltungen
      B.G. Teubner, 1999

    1997

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
      BDD Minimization Using Symmetries
      , 1997
    • Martin Keim, M. Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
      Polynomial Formal Verification of Multipliers
      1997 VLSI Test Symp., Seiten: 150 - 155

    1994

    Icon: top nach oben zur Jahresübersicht
    • D. Möller, Paul Molitor, Rolf Drechsler
      Symmetry based Variable Ordering for ROBDDs
      1994 IFIP Workshop on Logic and Architecture Synthesis, Grenoble, Seiten: 47 - 53

    1993

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Rolf Drechsler, Paul Molitor
      On Generation of Area-Time Optimal Testable Adders
      1993 Technical Report 3/93

    1992

    Icon: top nach oben zur Jahresübersicht
    • Rolf Drechsler, Bernd Becker, Paul Molitor
      A Performance Oriented Generator for Robust Path-Delay-Fault Testable Adders
      1992 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Bernd Becker, Rolf Drechsler, Paul Molitor
      On the Implementation of an Efficient Performance Driven Generator for Conditional-Sum-Adders.
      1992 Technical Report 2/93

    1987

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, G. Hotz, R. Kolla, Paul Molitor, H. G. Osthof
      CADIC - Ein System zum hierarchischen Entwurf integrierter Schaltungen
      1987 E.I.S.-Workshop, Seiten: 235 - 245

    1986

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, G. Hotz, R. Kolla, Paul Molitor
      Ein logisch-topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen
      1986 INFORMATIK Forschung und Entwicklung 1, Seite: 38--47,72-