Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mateusz Ujma
Map detail
Mateusz Ujma3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipMateusz UjmaAMateusz UjmaResearcherjpf-concurrent: An extension of Java PathFinder for java.util.concurrentWjpf-concurrent: An exte...preprint / 2012Verification of Markov Decision Processes using Learning AlgorithmsWVerification of Markov ...preprint / 2015
Person2 links

Mateusz Ujma

Researcher