Did you mean: schröder

search result

Cover von Relational Connectors and Heterogeneous Simulations
article in Foundations of Software Science and Computation Structures 2025
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 15691 : article
Media group: ARTICLE
Cover von The Bend Number of Cocomparability Graphs

The Bend Number of Cocomparability Graphs

Year: 2025
Media group: LIPIcs
Cover von Nash Flows Over Time with Tolls
Search for this author
Year: 2025
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Identity-Preserving Lax Extensions and Where to Find Them

Identity-Preserving Lax Extensions and Where to Find Them

Year: 2025
Media group: LIPIcs
Cover von Quantitative Graded Semantics and Spectra of Behavioural Metrics

Quantitative Graded Semantics and Spectra of Behavioural Metrics

Year: 2025
Media group: LIPIcs
Cover von Holes in Convex and Simple Drawings

Holes in Convex and Simple Drawings

Year: 2024
Media group: LIPIcs
Cover von Linear Size Universal Point Sets for Classes of Planar Graphs

Linear Size Universal Point Sets for Classes of Planar Graphs

Year: 2023
Media group: LIPIcs
Cover von Efficient Minimum Weight Vertex Cover Heuristics Using Graph Neural Networks

Efficient Minimum Weight Vertex Cover Heuristics Using Graph Neural Networks

Year: 2022
Media group: LIPIcs
Cover von Nominal Büchi Automata with Name Allocation

Nominal Büchi Automata with Name Allocation

Year: 2021
Media group: LIPIcs
Cover von Efficient Coalgebraic Partition Refinement

Efficient Coalgebraic Partition Refinement

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0