search result

Cover von Büchi Objectives in Countable MDPs

Büchi Objectives in Countable MDPs

Year: 2019
Media group: LIPIcs
Cover von Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

Year: 2019
Media group: LIPIcs
Cover von Transient Typechecks Are (Almost) Free

Transient Typechecks Are (Almost) Free

Year: 2019
Media group: LIPIcs
Cover von Modeling for Sustainability; 8
pp. 146-168
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von High-Performance Graph Algorithms; 6
pp. 19-39
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Volume XXX.; Transactions on Computational Collective Intelligence XXX
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Volume XXX.
Series: Lecture notes in computer science : Journal Subline; 11120
Media group: MONOGRAPHIE
Cover von Haplotype-aware graph indexes

Haplotype-aware graph indexes

Year: 2018
Media group: LIPIcs
Cover von Volume XXIX.; Transactions on Computational Collective Intelligence
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Volume XXIX.
Series: Lecture notes in computer science : Journal Subline; 10840
Media group: MONOGRAPHIE
Cover von Connecting Visualization and Data Management Research; 11
pp. 46-58
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von HMM Imaging; 10
Acquisition, Algorithms, and Applications : pp. 14-41
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0