BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
2 × USA
Collaborated with:
C.Baier N.Bertrand P.R.D'Argenio P.Bouyer T.Brihaye
Talks about:
probabilist (3) automata (3) time (2) regular (1) problem (1) partial (1) languag (1) infinit (1) reduct (1) recogn (1)

Person: Marcus Größer

DBLP DBLP: Gr=ouml==szlig=er:Marcus

Contributed to:

FoSSaCS 20082008
LICS 20082008
LICS 20052005
QAPL 20052006

Wrote 4 papers:

FoSSaCS-2008-BaierBG #automaton #on the #probability #problem
On Decision Problems for Probabilistic Büchi Automata (CB, NB, MG), pp. 287–301.
LICS-2008-BaierBBBG #automaton #infinity #model checking
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (CB, NB, PB, TB, MG), pp. 217–226.
LICS-2005-BaierG #automaton #probability #regular expression
Recognizing ω-regular Languages with Probabilistic Automata (CB, MG), pp. 137–146.
QAPL-2005-BaierDG06 #branch #partial order #probability #reduction
Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.