Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(231)
Bernd Becker
90
Gorschwin Fey (Görschwin Fey)
83
Daniel Grosse (Daniel Große)
53
Robert Wille
45
Wolfgang Gunther (Wolfgang Günther)
44
Conferences
(61)
ISMVL
44
DATE
27
ASP-DAC
23
ISCAS
23
DSD
13
Journals
(25)
TCAD
21
Integration
7
TC
6
IT
6
IEE PROC-COMPUT DIG TECH
6
Keywords
(452)
Embed
Subscribe
Academic
Authors
Rolf Drechsler
Edit
Rolf Drechsler
University of Bremen
Publications: 482
|
Citations: 3244
|
G-Index: 38
|
H-Index: 26
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Hardware & Architecture
,
Artificial Intelligence
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
231 co-authors
from 1992 to 2011
; Cited by
1747 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(482)
BibTeX
|
RIS
|
RefWorks
Download
Synthesis of quantum circuits for linear nearest neighbor architectures
(
Citations: 3
)
Mehdi Saeedi
,
Robert Wille
,
Rolf Drechsler
Published in 2011.
Determining the minimal number of lines for large reversible circuits
(
Citations: 2
)
Robert Wille
,
Oliver Keszocze
,
Rolf Drechsler
Published in 2011.
Verifying Dynamic Aspects of UML Models
(
Citations: 1
)
Mathias Soeken
,
Robert Wille
,
Rolf Drechsler
Conference:
Design, Automation, and Test in Europe - DATE
, pp. 1-6, 2011
Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application
(
Citations: 1
)
Stephan Eggersgluss
,
Rolf Drechsler
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - TCAD
, vol. 30, no. 9, pp. 1411-1415, 2011
Designing a RISC CPU in Reversible Logic
Robert Wille
,
Mathias Soeken
,
Daniel Grosse
,
Eleonora Schonborn
,
Rolf Drechsler
Conference:
IEEE International Symposium on Multiple-Valued Logic - ISMVL
, pp. 170-175, 2011
Order by:
Citations
(3244 times by 1685 publications)
Diversity Management in Evolutionary Many-Objective Optimization
(
Citations: 2
)
Salem F. Adra
,
Peter J. Fleming
Journal:
IEEE Transactions on Evolutionary Computation - TEC
, vol. 15, no. 2, pp. 183-195, 2011
Synthesis of quantum circuits for linear nearest neighbor architectures
(
Citations: 3
)
Mehdi Saeedi
,
Robert Wille
,
Rolf Drechsler
Published in 2011.
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
(
Citations: 1
)
Jan Peleska
,
Elena Vorobev
,
Florian Lapschies
Published in 2011.
Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates
(
Citations: 2
)
D. Michael Miller
,
Robert Wille
,
Zahra Sasanian
Conference:
IEEE International Symposium on Multiple-Valued Logic - ISMVL
, pp. 288-293, 2011
A formal approach for the construction and verification of railway control systems
(
Citations: 1
)
Anne Elisabeth Haxthausen
,
Jan Peleska
,
Sebastian Kinder
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 2, pp. 191-219, 2011
Comments