ADVANCED BDD OPTIMIZATION (HB)

ADVANCED BDD OPTIMIZATION (PB)

ADVANCED FORMAL VERIFICATION (HB)

ADVANCED FORMAL VERIFICATION (PB)

ADVANCED LOGIC SYNTHESIS (HB)

AUTOMATED ANALYSIS OF VIRTUAL PROTOTYPES AT THE ELECTRONIC SYSTEM LEVEL

AUTOMATED ANALYSIS OF VIRTUAL PROTOTYPES AT THE ELECTRONIC SYSTEM LEVEL (HB)

AUTOMATED VALIDATION & VERIFICATION OF UML/OCL MODELS USING SATISFIABILITY SOLVERS

AUTOMATED VALIDATION & VERIFICATION OF UML/OCL MODELS USING SATISFIABILITY SOLVERS (HB)

AUTOMATIC METHODS FOR THE REFINEMENT OF SYSTEM MODELS (PB)

BINARY DECISION DIAGRAMS (HB)

BINARY DECISION DIAGRAMS (PB)

COMPACT REPRESENTATIONS FOR THE DESIGN OF QUANTUM LOGIC (PB)

COMPUTER (PB)

DEBUGGING AT THE ELECTRONIC SYSTEM LEVEL (HB)

DEBUGGING AT THE ELECTRONIC SYSTEM LEVEL (PB)

DESIGN AUTOMATION FOR FIELD-COUPLED NANOTECHNOLOGIES

DESIGN AUTOMATION TECHNIQUES FOR APPROXIMATION CIRCUITS (HB)

DESIGN AUTOMATION TECHNIQUES FOR APPROXIMATION CIRCUITS (PB)

DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY

DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY (HB)

DESIGNING DROPLET MICROFLUIDIC NETWORKS

DESIGNING DROPLET MICROUIDIC NETWORKS (HB)

EFFICIENT IMPLEMENTATION OF QUANTUM CIRCUIT SIMULATION WITH DECISION DIAGRAMS (HB)

ENHANCED VIRTUAL PROTOTYPING

ENHANCED VIRTUAL PROTOTYPING (HB)

ENHANCED VIRTUAL PROTOTYPING FOR HETEROGENEOUS SYSTEMS (HB)

EVOLUTIONARY ALGORITHMS FOR EMBEDDED SYSTEM DESIGN (HB)

EVOLUTIONARY ALGORITHMS FOR EMBEDDED SYSTEM DESIGN (PB)

EVOLUTIONARY ALGORITHMS FOR VLSI CAD (HB)

EVOLUTIONARY ALGORITHMS FOR VLSI CAD (PB)

EXACT DESIGN OF DIGITAL MICROFLUIDIC BIOCHIPS (HB)

EXACT DESIGN OF DIGITAL MICROFLUIDIC BIOCHIPS (PB)

FORMAL MODELING AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS (PB)

FORMAL SPECIFICATION LEVEL (HB)

FORMAL SPECIFICATION LEVEL (PB)

FORMAL SYSTEM VERIFICATION (HB)

FORMAL VERIFICATION OF CIRCUITS (HB)

FORMAL VERIFICATION OF CIRCUITS (PB)

FORMAL VERIFICATION OF STRUCTURALLY COMPLEX MULTIPLIERS

FORMAL VERIFICATION OF STRUCTURALLY COMPLEX MULTIPLIERS (HB)

GRAPHENBASIERTE FUNKTIONSDARSTELLUNG

HIGH PERFORMANCE SIMULATION FOR INDUSTRIAL PAINT SHOP APPLICATIONS

HIGH PERFORMANCE SIMULATION FOR INDUSTRIAL PAINT SHOP APPLICATIONS (HB)

HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (HB)

HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABILITY (PB)

IN-MEMORY COMPUTING (HB)

INTRODUCING DESIGN AUTOMATION FOR QUANTUM COMPUTING

INTRODUCING DESIGN AUTOMATION FOR QUANTUM COMPUTING (HB)

INTRODUCTION TO REVERSIBLE AND QUANTUM CIRCUITS (HB)

LANGUAGES, DESIGN METHODS, AND TOOLS FOR (PB)

LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN (HB)

LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN (HB)

LEBENSLANGES LERNEN IM SOZIALSTRUKTURELLEN WANDEL

METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN (PB)

NOCH ANALOG ODER LEBST DU SCHON?

QUALITY-DRIVEN SYSTEMC DESIGN (HB)

QUALITY-DRIVEN SYSTEMC DESIGN (PB)

REVERSIBLE AND QUANTUM CIRCUITS (HB)

REVERSIBLE COMPUTATION (PB)

ROBUSTNESS AND USABILITY IN MODERN DESIGN FLOWS (HB)

ROBUSTNESS AND USABILITY IN MODERN DESIGN FLOWS (PB)

SPECTRAL TECHNIQUES IN VLSI CAD (HB)

SPECTRAL TECHNIQUES IN VLSI CAD (PB)

STANDORTFINDUNG IM HANDELSGEWERBE. PROBLEME, ZIELSETZUNG, ENTSCHEIDUNG (PB)

TEST PATTERN GENERATION USING BOOLEAN PROOF ENGINES (HB)

TEST PATTERN GENERATION USING BOOLEAN PROOF ENGINES (PB)

TOWARDS A DESIGN FLOW FOR REVERSIBLE LOGIC (HB)

TOWARDS A DESIGN FLOW FOR REVERSIBLE LOGIC (PB)

TOWARDS ONE-PASS SYNTHESIS (HB)

TOWARDS ONE-PASS SYNTHESIS (HB)

TOWARDS ONE-PASS SYNTHESIS (PB)

TOWARDS ONE-PASS SYNTHESIS (PB)