Concepedia
Statistics
Publications
2
Citations
59
H-Index
Active since
2018
Affiliations
TU Wien(Current)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Université de Lorraine
Centre National de la Recherche Scientifique
Computer Algorithms for Medicine
Jure Kukovec is an author at TU Wien specializing in model checking, computer science, and finite state machine modeling.
Publications per year
2018–2019
TLA+ model checking made symbolic
Igor Konnov, Jure Kukovec, Thanh-Hai Tran · Proceedings of the ACM on Programming Languages · 2019 · 48 citations · Full text
Computing, Computer Science, Computer Systems +10
Reachability in Parameterized Systems: All Flavors of Threshold Automata
Jure Kukovec, Igor Konnov, Josef Widder · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 11 citations · Full text
Computing, Computer Science, Distributed Systems +15
1–2 of 2