search result

Cover von Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata

Year: 2023
Media group: LIPIcs
Cover von On Hashing-Based Approaches to Approximate DNF-Counting

On Hashing-Based Approaches to Approximate DNF-Counting

Year: 2018
Media group: LIPIcs
Cover von Regular Queries on Graph Databases

Regular Queries on Graph Databases

Year: 2015
Media group: LIPIcs
Cover von Unifying Büchi Complementation Constructions

Unifying Büchi Complementation Constructions

Year: 2011
Media group: LIPIcs
Cover von Dagstuhl Manifesto : Publication Culture; 3
pp. 330-333 : article
Search for this author
Year: 2013
Publisher: Berlin, Springer
Informatik Spektrum
Count: 3
Media group: ARTICLE
Cover von Publication Culture in Computing Research; 11
pp. 20-44
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Reasoning About Strategies

Reasoning About Strategies

Year: 2010
Media group: ARTICLE
Cover von Exploration of large state spaces
04.11. - 09.11.01, Seminar Nr. 01451
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 326
Media group: DAGSTUHL-SEMINAR-REP
Cover von Probabilistic methods in verification
30.04. - 05.05.00, Seminar Nr. 00181
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 273
Media group: DAGSTUHL-SEMINAR-REP
Cover von Reasoning about knowledge
Search for this author
Year: 2003
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
OPEN V 11.1.0.0