Skip to main content Skip to main navigation

Publications

Displaying results 611 to 620 of 14861.

  1. Leonard Frank Neis; André Antakli; Matthias Klusch

    CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  2. Fatemeh Shirinzadeh; Saeideh Nabipour; Kamalika Datta; Chandan Jha; Saeideh Shirinzadeh; Rolf Drechsler

    MAC-based Mapping of Adder Architectures to RRAM Crossbars

    In: 7th International Conference on Emerging Electronics (ICEE 2025). IEEE International Conference on Engineering and Emerging Technologies (ICEET), December 13-16, Bengaluru, India, 2025.

  3. Jan Zielasko; Rolf Drechsler

    Identifying Hardware Optimizations for Neural Network Inference using Virtual Prototypes

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  4. Anna Bernasconi; Valentina Ciriani; Gianmarco Cuciniello; Caroline Dominik; Rolf Drechsler

    Polynomial Verification of 2-Affine Spaces

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, o.A:, 2026.

  5. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-4, Pune, India, 2026.

  6. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution

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

  7. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  8. Martin Wittmaier; Sebastian Wolff; Marco Wöltje; Ole van Laaten; Thomas Vögele; Babu Ajish; Yuhan Jin; Yi-Ling Liu; Tim Tiedemann; Matthis Trost; Philipp Meyer; Timo Lange; Peter Schaeidt; Joschua Marquart

    Bauabfälle: Einsatz von Künstlicher Intelligenz und Robotik für eine nachhaltige Kreislaufwirtschaft

    Mineralische Nebenprodukt, TK Verlag, 6/2025.

  9. Maksim Lapin; Linar Mikeev; Verena Wolf

    SHAVE: stochastic hybrid analysis of markov population models

    In: HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago, IL, USA, Pages 311-312, ISBN 978-1-4503-0629-4, ACM, 4/2011.

  10. Tuğrul Dayar; Werner Sandmann; David Spieler; Verena Wolf

    Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics

    In: Advances in Applied Probability, Vol. 43, No. 4, Pages 1005-1026, Cambridge University Press, 12/2011.

Year

More options