Benedikt Bollig (LSV

Identifiers

• name variant Benedikt Bollig (LSV 0.60 · backfill

Papers (2)

1. A Robust Class of Data Languages and an Application to Learning cs.LO · 2014 · author #1
2. Propositional Dynamic Logic for Message-Passing Systems cs.LO · 2010 · author #1

Mentions

• 1007.4764 #1 · backfill · confidence 0.70 Benedikt Bollig (LSV

Frequent Coauthors

• ENS Cachan 2 shared papers
• Belgium) 1 shared papers
• Benjamin Monmege (Universit\'e Libre de Bruxelles 1 shared papers
• CNRS) 1 shared papers
• CNRS & Inria 1 shared papers
• Dietrich Kuske (Institut f\"ur Informatik 1 shared papers
• France) 1 shared papers
• Germany) 1 shared papers
• Ingmar Meinecke (Institut f\"ur Informatik 1 shared papers
• Martin Leucker (ISP 1 shared papers
• Peter Habermehl (LIAFA University Paris Diderot 1 shared papers
• Universit\"at Leipzig) 1 shared papers
• University of L\"ubeck 1 shared papers