Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Zeitschriften

Sortieren nach: [ Titel ] [ Autor ] [ Zeitschrift ] [ Jahr ]
Suche nach:



» Near Zero-Energy Computation Using Quantum-dot Cellular Automata







Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Jahr:


2019






» Designing Partially Reversible Field-Coupled Nanocomputing Circuits
[Link zur Zeitschriften-Homepage]







Autor:

Jeferson Figueiredo Chaves, Marco Ribeiro, Frank Sill Torres, Omar Paranaiba Vilela Neto
Zeitschrift:
IEEE Transactions on Nanotechnology
Details:
Volume 18, Issue: 1,pages 589-597, December 2019 DOI: 10.1109/TNANO.2019.2918057
Jahr:


2019






» Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
[Link zur Zeitschriften-Homepage]







Autor:

Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661
Jahr:


2019






» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
[Link zur Zeitschriften-Homepage]







Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Zeitschrift:
International Journal of Software Tools for Technology Transfer (STTT)
Details:
21(5):545-565. doi.org/10.1007/s10009-019-00507-5
Jahr:


2019






» Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
[Link zur Zeitschriften-Homepage]







Autor:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details:
accepted
Jahr:


2019






» Automated Non-intrusive Analysis of Electronic System Level Designs
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Automated Non-intrusive Analysis of Electronic System Level Designs





Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2019






» Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
[Link zur Zeitschriften-Homepage]







Autor:

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
IEEE Transactions On Very Large Scale Integration (VLSI) Systems
Details:
Volume 27, Number 4, Pages. 875-887, April 2019. DOI: 10.1109/TVLSI.2018.2890601
Jahr:


2019






» The complexity of error metrics
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: The complexity of error metrics





Autor:

Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details:
Volume 139, (November 2018), pp. 1-7. DOI: 10.1016/j.ipl.2018.06.010
Jahr:


2018






» On the complexity of design tasks for Digital Microfluidic Biochips
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: On the complexity of design tasks for Digital Microfluidic Biochips





Autor:

Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
Zeitschrift:
Microelectronics Journal
Details:
Volume 78, Pages 35-45
Jahr:


2018






» Measurement and evaluation of calorimetric descriptors for the suitability for evolutionary high-throughput material development
[Link zur Zeitschriften-Homepage]







Autor:

Anastasiya Toenjes, Heike Sonnenberg, Christina Plump, Rolf Drechsler, Axel von Hehl
Zeitschrift:
Metals
Details:
Volume 9 (2), 149;
Jahr:


2019






» Evaluation of (power) side-channels in cryptographic implementations
[Link zur Zeitschriften-Homepage]







Autor:

Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, and Rolf Drechsler
Zeitschrift:
it – Information Technology
Details:
Jahr:


2019






» "Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
[Link zur Zeitschriften-Homepage]







Autor:

Cornelia Große
Zeitschrift:
Learning and Instruction
Details:
Volume 58, pp. 173-181
Jahr:


2018






» Arduinos in der Schule - Lernen mit Mikrocontrollern
[Link zur Zeitschriften-Homepage]







Autor:

Cornelia Große, Claudia Sobich, Sebastian Huhn, Markus Leuschner, Rolf Drechsler, Lutz Mädler
Zeitschrift:
Computer + Unterricht
Details:
Volume 110, May 2018, Pages 43-45
Jahr:


2018






» Analysis of Total Ionizing Dose effects for highly scaled CMOS devices in Low Earth Orbit
[Link zur Zeitschriften-Homepage]







Autor:

Muhammad Sajida, Nikolay Chechenin, Frank Sill Torres, Muhammad Nabeel Hanif, Usman Ali Gulzari, Shakaib Arslan, Ehsan Ullah Khan
Zeitschrift:
Nuclear Instruments & Methods in Physics Research Section B-Beam Interactions with Materials and Atoms
Details:
Volume 428, August 2018, Pages 30-37, DOI: 10.1016/j.nimb.2018.05.014
Jahr:


2018






» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation





Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Details:
38(7):1359-1372. doi.org/10.1109/TCAD.2018.2846638
Jahr:


2018






» Logic synthesis for RRAM-based in-memory computing
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Logic synthesis for RRAM-based in-memory computing





Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
vol. 37, no. 7, pp. 1422-1435, July 2018. DOI: 10.1109/TCAD.2017.2750064
Jahr:


2018






» Behaviour Driven Development for Hardware Design
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Behaviour Driven Development for Hardware Design





Autor:

Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler
Zeitschrift:
IPSJ Transactions on System LSI Design Methodology
Details:
vol. 11, pp. 29-45
PDF Download
Jahr:


2018






» An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs





Autor:

Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift:
Journal of Low Power Electronics
Details:
Volume 13, Number 4, Pages 633-641
Jahr:


2017






» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata





Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
vol. 37, no. 12, pp. 3031-3041, December 2018.
DOI: 10.1109/TCAD.2018.2789782
Jahr:


2018






» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements





Autor:

Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Zeitschrift:
Computer Languages, Systems & Structures
Details:
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002
Jahr:


2018








ältere Einträge im Archiv







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt