Concepedia

Jan Strejček

JS

Statistics

Publications

6

Citations

145

H-Index

6

Active since

2004

Affiliations

Masaryk University(Current)

Jan Strejček is an author at Masaryk University specializing in computer science, computing, and algorithms.

Publications per year

2004–2019

6

Publications

6

LTL to Büchi Automata Translation: Fast and More Deterministic

Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák et al. · arXiv (Cornell University) · 2012 · 39 citations · Full text

Computing, Computer Science, Algorithms +12

The stuttering principle revisited

Antonı́n Kučera, Jan Strejček · Acta Informatica · 2005 · 33 citations

Health Professions, Speech-language Pathology, Fluency Disorders +2

Abstracting path conditions

Jan Strejček, Marek Trtík · 2012 · 31 citations

Computing, Computer Science, Algorithms +16

Reachability Analysis of Multithreaded Software with Asynchronous Communication

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon et al. · Lecture notes in computer science · 2005 · 19 citations · Full text

Computing, Computer Engineering, Computer Science +13

On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

Mojmı́r Křetı́nský, Vojtěch Řehák, Jan Strejček · Electronic Notes in Theoretical Computer Science · 2004 · 12 citations · Full text

Computing, Computer Science, Formal Methods +14

1–5 of 6