Heinz Riener - Wissenschaftliche Veröffentlichungen

(1 - 8 von 9

)

dblp: Heinz Riener

dblp.uni-trier.de

List of computer science publications by Heinz Riener

Heinz Riener - DBLPdblp.org › Persons

dblp.org

· Siang-Yun Lee, Heinz Riener, Giovanni De Micheli: Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition.

AGRA | Team Detail - uni-bremen.de

agra.informatik.uni-bremen.de

Autor: Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey Zeitschrift: International Journal of Software Tools for Technology Transfer Details: 19(5): , DOI s Link (2017)

AGRA - Publikationen - Mitarbeiterpublikationen

www.informatik.uni-bremen.de

Equivalence Checking on System Level using A Priori Knowledge. Autor: Niels Thole, Heinz Riener, Görschwin Fey. Konferenz: IEEE International Symposium ...

AGRA - Publications - Personal Publicationswww.informatik.uni-bremen.de › agra › eng › pub

www.informatik.uni-bremen.de

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey. Journal: International Journal of Software Tools ...

Search results for "ASP-DAC" - Faceted DBLPdblp.l3s.de › Venues › ASP-DAC

dblp.l3s.de

1, Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli · Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis.

AGRA - Publications - Personal Publications

www.informatik.uni-bremen.de

» Test Case Generation from Mutants using Model Checking Techniques: Author: Heinz Riener, Roderick Bloem, Görschwin Fey: Workshop: IEEE Fourth International

AG RA - Lehre - Studentische Projekte

www.informatik.uni-bremen.de

Betreuer: Rolf Drechsler, Görschwin Fey, Daniel Große und Heinz Riener. QBit. Projektstart: In [QBit] sollen Algorithmen zum Entwurf von ...

Verwandte Suchanfragen zu Heinz Riener

Mathias Soeken
Roderick Bloem
Rüdiger Ehlers

Daniel Große
Franz Röck
Rolf Drechsler

Gianluca Martino
Martin Stadler
Ronald Machner

Person "Riener" (2)
Vorname "Heinz" (38121)
Name "Riener" (130)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Heinz Riener