Kontakt | Impressum | English Englisch
Zur Startseite der Universität Bremen






Foto Drechsler

Herr
Prof. Dr. Rolf Drechsler

Fachbereich 03
Mathematik/Informatik Mathematik/Informatik

E-Mail: drechsler@uni-bremen.de

Zugehörigkeiten | Forschungsthemen | Kooperationen | Projekte | Wissenschaftliche Aktivitäten | Ressourcen


Zugehörigkeiten

Zugehörigkeit zu einem Wissenschaftsschwerpunkt der Universität Bremen
» Minds Media Machines


Graduiertenprogramme
» Graduiertenkolleg System Design (SyDe)
» Doktorandenkolleg "Eingebettete Systeme" (GESy)


Zugehörigkeit zu einem außer-universitären Institut
» Deutsches Forschungszentrum für Künstliche Intellingenz - DFKI Bremen


Zugehörigkeit zur Arbeitsgruppe/zur Professur
Kürzel Bezeichnung deutsch Bezeichnung englisch Fachbereich Schlagwörter deutsch Schlagwörter englisch
AGRA  AG Rechnerarchitektur  Group of Computer Architecture  FB03  Schaltungs- und Systembeschreibung, Algorithmen und Datenstrukturen, Verifikation, Testen  Circuits and System Descriptions, Algorithms and Data Structures, Verification, Test Pattern Gerneration 




Forschungsthemen
Ingenieurwissenschaften
» Informatik
» Rechnerarchitekturen und eingebettete Systeme


Kooperationen


Projekte

Projekte (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/projekt.php http://www.informatik.uni-bremen.de/agra/ger/projekt.php


Mittelgeber der letzten fünf Jahre (Öffentliche Einrichtungen und Stiftungen)
» Universität Bremen/Zentrale Forschungsförderung
» DFG
» BMBF
» BMWi
» EU (7. RP)
» DAAD



Wissenschaftliche Aktivitäten


Publikationen (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/pub.php?search=Rolf%20Drechsler http://www.informatik.uni-bremen.de/agra/ger/pub.php?search=Rolf%20Drechsler


Bedeutendste Publikationen
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
Art
Autor/enRobert Wille, Oliver Keszocze, Rolf Drechsler, Tobias Boehnisch, Alexander Kroker
Jahr2015
InIEEE Design & Test
Jahrgang2015
Heft32(6)
Seiten41-50
Zeitschriftenaufsatz
 
Verifying SystemC using stateful symbolic simulation
Art
Autor/enVladimir Herdt, Hoang M. Le, Rolf Drechsler
Jahr2015
InDAC
Jahrgang2015
Seiten49:1-49:6
Konferenzbeitrag
 
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
Art
Autor/enDaniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Jahr2009
InIEEE Trans. on CAD of Integrated Circuits and Systems
Jahrgang2009
Heft28(5)
Seiten703-715
Zeitschriftenaufsatz
 
BDD-based synthesis of reversible logic for large functions
Art
Autor/enRobert Wille, Rolf Drechsler
Jahr2009
InDAC 2009
Jahrgang2009
Seiten270-275
Konferenzbeitrag
 
On Acceleration of SAT-Based ATPG for Industrial Designs
Art
Autor/enRolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel, Daniel Tille
Jahr2008
InIEEE Trans. on CAD of Integrated Circuits and Systems
Jahrgang2008
Heft27(7)
Seiten1329-1333
Zeitschriftenaufsatz
 


 

Promotionen (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/promotion.php http://www.informatik.uni-bremen.de/agra/ger/promotion.php



Selbst ausgerichtete Tagungen in den letzten fünf Jahren

Titel Jahr Hyperlink
ISMVL 2014 Link (extern): http://www.informatik.uni-bremen.de/ismvl2014/ http://www.informatik.uni-bremen.de/ismvl2014/ 
ZuE 2012 Link (extern): http://conference.vde.com/zue2012/Pages/Startseite.aspx http://conference.vde.com/zue2012/Pages/Startseite.aspx 
CPMNS 2011 Link (extern): http://www.informatik.uni-bremen.de/cpmns11/cms/ http://www.informatik.uni-bremen.de/cpmns11/cms/ 




Ressourcen
 




« zurück