Dirk Pattinson

Identifiers

• name variant Dirk Pattinson 0.60 · backfill

Papers (10)

1. A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic cs.LO · 2019 · author #3
2. A van Benthem Theorem for Quantitative Probabilistic Modal Logic cs.LO · 2018 · author #3
3. A van Benthem Theorem for Fuzzy Modal Logic cs.LO · 2018 · author #3
4. A New Foundation for Finitary Corecursion math.CT · 2016 · author #2
5. Simplified Coalgebraic Trace Equivalence cs.LO · 2014 · author #3
6. Coalgebraic Weak Bisimulation from Recursive Equations over Monads cs.LO · 2014 · author #2
7. Named Models in Coalgebraic Hybrid Logic cs.LO · 2010 · author #2
8. Representations of Stream Processors Using Nested Fixed Points cs.DS · 2009 · author #3
9. Strong Completeness of Coalgebraic Modal Logics cs.LO · 2009 · author #2
10. PSPACE Bounds for Rank-1 Modal Logics cs.LO · 2007 · author #2

Mentions

• 1410.2463 #3 · backfill · confidence 0.70 Dirk Pattinson
• 1404.1215 #2 · backfill · confidence 0.70 Dirk Pattinson
• 1001.0735 #2 · backfill · confidence 0.70 Dirk Pattinson
• 0905.4813 #3 · backfill · confidence 0.70 Dirk Pattinson
• 0902.2072 #2 · backfill · confidence 0.70 Dirk Pattinson
• 0706.4044 #2 · backfill · confidence 0.70 Dirk Pattinson

Frequent Coauthors

• Lutz Schr\"oder 6 shared papers
• Barbara K\"onig 3 shared papers
• Paul Wild 3 shared papers
• Stefan Milius 2 shared papers
• Alexander Kurz 1 shared papers
• Lutz Schroeder 1 shared papers
• Neil Ghani 1 shared papers
• Peter Hancock 1 shared papers
• Sergey Goncharov 1 shared papers
• Thorsten Wi{\ss}mann 1 shared papers