Skip to main content Skip to main navigation

Publications

Displaying results 1881 to 1890 of 14400.

  1. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  2. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  3. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.

  4. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Maria Caropresse; Gillian Lovel; Daniel A Porto; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    SAT: Segment and Track Anything for Microscopy

    In: 17th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, SCITEPRESS Digital Library, 2/2025.

  5. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

  6. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  7. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  8. Aaron Witzki; K. Valeria Carl; Léon Dankert; Oliver Thomas; Oliver Hinz

    What Are Your Intentions with My Data? A Tool to Enhance Consumer Data Sovereignty in Digital Ecosystems

    In: Heiko Roßnagel; Christian H. Schunck; Daniela Pöhn (Hrsg.). Open Identity Summit 2025. Open Identity Summit (OID-2025), May 22-23, Neubiberg, Germany, Pages 13-28, Lecture Notes in Informatics (LNI), Vol. P-364, Gesellschaft für Informatik e.V. 5/2025.

  9. Frederic Theodor Stahl; Lars Nolle; Martin Maximilian Kumm; Christoph Tholen

    On The Optimisation Of Machine Learning Models For Predicting The Photosynthetically Available Radiation In The Water Column

    In: Marco Scarpa; Salvatore Cavalieri; Salvatore Serrano; Fabrizio De Vita (Hrsg.). Proceedings of the 39th ECMS International Conference on Modelling and Simulation ECMS 2025. International Conference on Modelling and Simulation (ECMS-2025), June 24-27, Catania, Italy, Pages 531-537, Communications of the ECMS, Vol. 39, No. 1, ISBN 978-3-937 436-86-9, ECMS, United Kingdom, 6/2025.

  10. Fabian Wildgrube; Pete Ehrett; Paul Trojahn; Richard Membarth; Bradford Beckmann; Dominik Baumeister; Matthäus Chajdas

    GPUs All Grown-Up: Fully Device-Driven SpMV Using GPU Work Graphs

    In: Proceedings of the 52nd Annual International Symposium on Computer Architecture (ISCA). International Symposium on Computer Architecture (ISCA-2025), June 21-25, Tokyo, Japan, Pages 1777-1791, ISBN 979-8-4007-1261-6, ACM, New York, NY, 6/2025.

Year

More options