Yde Venema

Identifiers

• name variant Yde Venema 0.60 · backfill

Papers (11)

1. Completeness for Game Logic cs.LO · 2019 · author #5
2. Model Theory of Monadic Predicate Logic with the Infinity Quantifier cs.LO · 2018 · author #3
3. The Power of the Weak cs.LO · 2018 · author #3
4. Parity Games and Automata for Game Logic (Extended Version) cs.LO · 2017 · author #4
5. An expressive completeness theorem for coalgebraic modal mu-calculi cs.LO · 2017 · author #3
6. Uniform Interpolation for Coalgebraic Fixpoint Logic cs.LO · 2015 · author #3
7. Expressiveness of the modal mu-calculus on monotone neighborhood structures cs.LO · 2015 · author #3
8. Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras cs.LO · 2015 · author #3
9. Weak MSO: Automata and Expressiveness Modulo Bisimilarity cs.LO · 2014 · author #3
10. Generalized powerlocales via relation lifting cs.LO · 2012 · author #1
11. Completeness of Flat Coalgebraic Fixpoint Logics cs.LO · 2010 · author #2

Mentions

• 1503.02319 #3 · backfill · confidence 0.70 Yde Venema
• 1502.07889 #3 · backfill · confidence 0.70 Yde Venema
• 1501.07215 #3 · backfill · confidence 0.70 Yde Venema
• 1401.4374 #3 · backfill · confidence 0.70 Yde Venema
• 1202.3264 #1 · backfill · confidence 0.70 Yde Venema
• 1004.2717 #2 · backfill · confidence 0.70 Yde Venema

Frequent Coauthors

• Fatemeh Seifan 4 shared papers
• Sebastian Enqvist 4 shared papers
• Alessandro Facchini 3 shared papers
• Fabio Zanasi 3 shared papers
• Facundo Carreiro 3 shared papers
• Johannes Marti 3 shared papers
• Clemens Kupke 2 shared papers
• Helle Hvid Hansen 2 shared papers
• Jacob Vosmaer 1 shared papers
• Lutz Schr\"oder 1 shared papers
• Steve Vickers 1 shared papers