Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Filip Stefanak · SciRah

Researcher profile · Semantic Scholar

Filip Stefanak

Share profile

Filip Stefanak — researcher profile on SciRah

h-index: 2
Works: 5
Citations: 22

Most-cited papers

Nash Equilibria in Concurrent Priced Games
Miroslav Klimos, K. Larsen, Filip Stefanak, Jeppe Thaarup
2012Language and Automata Theory and Applications17 citations
Semantic Scholar
Factorization for Component-Interaction Automata
N. Benes, I. Černá, Filip Stefanak
2012Conference on Current Trends in Theory and Practice of Informatics4 citations
Semantic Scholar
Space Effective Model Checking for Component-Interaction Automata
N. Benes, Milan Krivánek, Filip Stefanak
2009Doctoral Workshop on Mathematical and Engineering Methods in Computer Science1 citations
Semantic Scholar
Equilibria in non-zero-sum reachability games
Filip Stefanak
20120 citations
Semantic Scholar
Residue Component Synthesis for Handshake Composition
Filip Stefanak
20100 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

N. Benes×2
Invite
N. Benes — researcher profile on SciRah
Miroslav Klimos×1
Invite
Miroslav Klimos — researcher profile on SciRah
K. Larsen×1
Invite
K. Larsen — researcher profile on SciRah
Jeppe Thaarup×1
Invite
Jeppe Thaarup — researcher profile on SciRah

×1

Invite

I. Černá — researcher profile on SciRah

Milan Krivánek×1

Invite

Milan Krivánek — researcher profile on SciRah