Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 14859.

  1. 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.

  2. 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.

  3. 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.

  4. Phuc Minh Nguyen; Ngoc-Hieu Nguyen; Ho Minh Duy Nguyen; Anji Liu; An Mai; Binh T. Nguyen; Daniel Sonntag; Khoa D. Doan

    Mitigating Reward Over-optimization in Direct Alignment Algorithms with Importance Sampling

    In: The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2025), December 2-12, USA, Advances in Neural Information Processing Systems, 2025.

  5. Tuan Tran; Ho Minh Duy Nguyen; Hoai-Chau Tran; Michael Barz; Khoa D. Doan; Roger Wattenhofer; Ngo Anh Vien; Mathias Niepert; Daniel Sonntag; Paul Swoboda

    How Many Tokens Do 3D Point Cloud Transformer Architectures Really Need?

    In: The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2025), December 2-12, USA, Advances in Neural Information Processing Systems, 12/2025.

  6. Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf

    Rule-based modelling and simulation of drug-administration policies

    In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.

  7. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

    Comparative branching-time semantics for Markov chains

    In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

  8. Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf

    Bounding the equilibrium distribution of Markov population models

    In: Numerical Linear Algebra with Applications, Vol. 18, No. 6, Pages 931-946, John Wiley & Sons, Ltd, England, 10/2011.

  9. Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Approximation of event probabilities in noisy cellular processes

    In: Theoretical Computer Science (TCS), Vol. 412, No. 21, Pages 2128-2141, Elsevier, Amsterdam, 5/2011.

  10. Hauke Busch; Werner Sandmann; Verena Wolf

    A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

    In: Corrado Priami (Hrsg.). Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy, Pages 298-311, Lecture Notes in Computer Science (LNCS), Vol. 4210, ISBN 9783540461678, Springer, Berlin, Heidelberg, 10/2006.

Year

More options