Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 31 to 40 of 598.
  1. Filip Fatz; Philip Hake; Peter Fettke

    Blockchain-based Decentralized Validation of Tax Processes

    In: Judith Michael; Dominik Bork (Hrsg.). Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with …

  2. Adrian Rebmann; Alexander Beuther; Steffen Schuhmann; Peter Fettke

    Hands-on Process Discovery with Python - Utilizing Jupyter Notebook for the Digital Assistance in Higher Education

    In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für …

  3. Mathias Jenny; Niels Will; Gerd Dellbrügge; Antonia Meißner; Anna Lena Nowak; Andreas Kruse; Sebastian Glende

    Perspektiven der Künstlichen Intelligenz für den Einzelhandel in Deutschland

    Studie im Auftrag des Bundesministeriums für Wirtschaft und Energie, 1/2020.

  4. Christos Kotselidis; Sotiris Diamantopoulos; Orestis Akrivopoulos; Viktor Rosenfeld; Katerina DOka; Hazeef Mohammed; Georgios Mylonas; Vassilis Spitadakis; Will Morgan; Juan Fumero; Foivos S. Zakkak; Michail Papadimitriou; Maria Xekalaki; Nikos Foutris; Athanasios Stratikopoulos; Nectarios Koziris; Ioannis Konstantinou; Ioannis Mytilinis; Constatinos Bitsakos; Christos Tsalidis; Christos Tselios; Nikolaos Kanakis; Clemens Lutz; Sebastian Breß; Volker Markl

    Efficient Compilation and Execution of JVM-Based Data Processing Frameworks on Heterogeneous Co-Processors

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.

  5. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  6. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  7. André Müller; Bertil Schmidt; Andreas Hildebrandt; Richard Membarth; Roland Leißa; Matthis Kruse; Sebastian Hack

    AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation

    In: Proceedings of the 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE International Parallel & Distributed …

  8. Philipp Woock; Nina F. Heide; Daniel Kuehn

    Robotersysteme für die Dekontamination in menschenfeindlichen Umgebungen

    In: Proceeding at Leipziger Deponiefachtagung 2020. Leipziger Deponiefachtagung (LDFT-2020), March 3-4, Leipzig, Germany, n.n. 2020.

  9. Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler

    Verification for Field-coupled Nanocomputing Circuits

    In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  10. Saman Fröhlich; Lucas Klemmer; Daniel Große; Rolf Drechsler

    ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks

    In: 50th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2020), May 20-22, …