Skip to main content Skip to main navigation

Publications

Displaying results 1821 to 1830 of 15217.

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

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

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

  4. Simon Kohaut; Benedict Flade; Julian Eggert; Kristian Kersting; Devendra Singh Dhami

    Reactive Knowledge Representation and Asynchronous Reasoning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2602.05625, Pages 1-18, arXiv, 2026.

  5. Jonas Knupp; Jan Hendrik Metzen; Jeremias Bohn; Georg Groh; Kristian Kersting

    Depth-Recurrent Attention Mixtures: Giving Latent Reasoning the Attention it Deserves

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2601.21582, Pages 1-13, arXiv, 2026.

  6. Jigao Luo; Qi Chen; Carsten Binnig

    Do GPUs Really Need New Tabular File Formats?

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2602.17335, Pages 1-3, arXiv, 2026.

  7. Gabriele Sanmartino; Matthias Urban; Paolo Papotti; Carsten Binnig

    The Stretto Execution Engine for LLM-Augmented Data Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2602.04430, Pages 1-13, arXiv, 2026.

  8. Uélison Santos; Alessandro Ferri; Szilárd Nistor; Riccardo Tommasini; Carsten Binnig; Manisha Luthra

    Towards Multimodal Stream Processing Systems

    In: Wolfgang Lehner; Vanessa Braganholo; Kostas Stefanidis; Zheying Zhang; Alexander Krause; Jo~ao Felipe Nicolaci Pimentel (Hrsg.). Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026. International Conference on Extending Database Technology (EDBT), Pages 627-633, OpenProceedings.org, 2026.

  9. Vashu Chauhan; Avinash Anand; Manisha Luthra; Uélison Santos; Carsten Binnig; Rajiv Ratn Shah

    IMPACT: Integrated Multimodal Pipeline for Rapid Accident Causality Tracking (Student Abstract)

    In: Sven Koenig; Chad Jenkins; Matthew E. Taylor (Hrsg.). Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026. AAAI Conference on Artificial Intelligence (AAAI), Pages 41159-41161, AAAI Press, 2026.

  10. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-like reasoning for Text-to-SQL with the human in the loop

    In: Information Systems (IS), Vol. 138, Pages 1-9, Information Systems, 2026.

Year

More options