Did you mean: schröder

search result

Cover von Visual informatics
Bridging Research and Practice : First International Visual Informatics Conference, Kuala Lumpur, Malaysia, November 11 - 13, 2009 Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5857
Media group: MONOGRAPHIE
Cover von Ordinary and prophet planning under uncertainty in Bernoulli congestion games
Search for this author
Year: 2025
Publisher: Catonsville, MD, INFORMS Institute for Operations Research
Series: Operations Research; 73. 2025, 2 : article
Media group: ARTICLE
Cover von The Density Formula

The Density Formula

One Lemma to Bound Them All
Author: Ueckerdt, Torsten
Year: 2024
Media group: LIPIcs
Cover von Higher-Order Mathematical Operational Semantics (Early Ideas)

Higher-Order Mathematical Operational Semantics (Early Ideas)

Year: 2023
Media group: LIPIcs
Cover von Quantitative Hennessy-Milner Theorems via Notions of Density

Quantitative Hennessy-Milner Theorems via Notions of Density

Year: 2023
Media group: LIPIcs
Cover von Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming

Year: 2022
Media group: LIPIcs
Cover von Stateful Structural Operational Semantics

Stateful Structural Operational Semantics

Year: 2022
Media group: LIPIcs
Cover von Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming
Search for this author
Year: 2022
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Expressive Quantale-Valued Logics for Coalgebras

Expressive Quantale-Valued Logics for Coalgebras

An Adjunction-Based Approach
Author: Schröder, Lutz; Wild, Paul
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0