Mateusz Ujma

Identifiers

• name variant Mateusz Ujma 0.60 · backfill

Papers (2)

1. Verification of Markov Decision Processes using Learning Algorithms cs.LO · 2014 · author #8
2. jpf-concurrent: An extension of Java PathFinder for java.util.concurrent cs.SE · 2012 · author #1

Mentions

• 1402.2967 #8 · backfill · confidence 0.70 Mateusz Ujma
• 1205.0042 #1 · backfill · confidence 0.70 Mateusz Ujma

Frequent Coauthors

• David Parker 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Marta Kwiatkowska 1 shared papers
• Martin Chmel\'ik 1 shared papers
• Nastaran Shafiei 1 shared papers
• Tom\'a\v{s} Br\'azdil 1 shared papers
• Vojt\v{e}ch Forejt 1 shared papers