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

    • 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
    • Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016
      Autor: Edgar E. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu
  2. Buchbeiträge

    • Logic Synthesis for Majority based In-Memory Computing
      Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
    • Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
      Autor: Hoang M. Le
    • Formal Verification of SystemC-based Cyber Components
      Autor: Daniel Große, Hoang M. Le, Rolf Drechsler
  3. Zeitschriften

    • Logic synthesis for RRAM-based in-memory computing
      Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
    • Synthesis of optical circuits using binary decision diagrams
      Autor: Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler
    • A PLiM computer for the IoT
      Autor: Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
  4. Konferenzen

    • Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
    • Revealing Properties of Structural Materials by Combining Regression-based Algorithms and Nano Indentation Measurements
      Autor: Sebastian Huhn, Heike Sonnenberg, Stephan Eggersglüß, Brigitte Clausen, Rolf Drechsler
    • Approximation-aware Testing for Approximate Circuits
      Autor: Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler
  5. Workshops

    • A Lightweight Method for Transient Test Power Pattern Analysis for Pattern Selection
      Autor: Harshad Dhotre, Stephan Eggersglüß
    • Making Waveforms Great Again
      Autor: Jannis Stoppe and Rolf Drechsler
    • A Human-Centered Approach to Routing for Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Andre Pols and 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