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

    • Exact Design of Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Robert Wille, Rolf Drechsler
    • Advanced Logic Synthesis
      Autor: André Inácio Reis, Rolf Drechsler
    • Formal System Verification State-of the-Art and Future Trends
      Autor: Rolf Drechsler
  2. Buchbeiträge

    • 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

    • The complexity of error metrics
      Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
    • On the complexity of design tasks for Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
    • "Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
      Autor: Cornelia Große
  4. Konferenzen

    • Cell Library Design for Ultra-Low Power Internet-of-Things Applications
      Autor: M.L. Oliveira, K.S. Fernandes, F. Sill Torres
    • Reliable Integration of Thermal Flow Sensors into Air Data Systems
      Autor: F. A. B. Viana, F. Sill Torres
    • Design criteria of a thermal mass flow sensor for aircraft air data applications
      Autor: L.C. Ribeiro, R.A. Souza, M.L. Oliveira, S.P.L. Vieira, W.O. Avelino, C.F.R. Oliveira, D.W. de Lima Monteiro, F.Sill Torres, R.M.O. Hansen
  5. Workshops

    • Improving SAT solving using Monte Carlo Tree Search-based Clause Learning
      Autor: Oliver Keszöcze, Kenneth Schmitz, Jens Schloeter, Rolf Drechsler
    • ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
      Autor: Kenneth Schmitz, Oliver Keszöcze, Jil Tietjen and Rolf Drechsler
    • Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
      Autor: Rolf Drechsler, Christoph Lüth, Goerschwin Fey, Tim Güneysu

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