Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen auf einen Blick
Übersicht der AGRA-Publikationen
  1. Bücher

  2. Buchbeiträge

  3. Zeitschriften

  4. Konferenzen

  5. Workshops



Sehen Sie zur Übersicht die jüngsten 3 Publikationen...
  1. Bücher

    • Advanced Logic Synthesis
      Autor: André Inácio Reis, Rolf Drechsler
    • Formal System Verification State-of the-Art and Future Trends
      Autor: Rolf Drechsler
    • Computer: Wie funktionieren Smartphone, Tablet & Co.?
      Autor: Rolf Drechsler, Andrea Fink, Jannis Stoppe
  2. Buchbeiträge

    • On the Computational Complexity of Error Metrics in Approximate Computing
      Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
    • On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • Logic Synthesis for Majority based In-Memory Computing
      Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
  3. Zeitschriften

    • "Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
      Autor: Cornelia Große
    • On the complexity of design tasks for Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
    • Arduinos in der Schule - Lernen mit Mikrocontrollern
      Autor: Cornelia Große, Claudia Sobich, Sebastian Huhn, Markus Leuschner, Rolf Drechsler, Lutz Mädler
  4. Konferenzen

    • BEESM, a Block-Based Educational Programming Tool for End Users
      Autor: Mazyar Seraj, Serge Autexier, Jan Janssen
    • Extensible and Configurable RISC-V based Virtual Prototype
      Autor: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
    • PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers
      Autor: Alireza Mahzoon, Daniel Große, Rolf Drechsler
  5. Workshops

    • Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
      Autor: Rolf Drechsler, Christoph Lüth, Goerschwin Fey, Tim Güneysu
    • Evaluation of Power State Cross Coverage in Firmware-Based Power Management
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • Towards Automated Refinement of TLM Properties to RTL
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Wussten Sie, dass wir einen regelmäßigen Newsletter versenden? Melden Sie sich gerne an, wenn Sie alle Themen rund um die Arbeitsgruppen interessiert. Auch interessant könnte für Sie der @agra_uni_bremen oder @Rolf_Drechsler -Account bei twitter sein!
Wir freuen uns über Ihren Besuch!



















Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt