prof. RNDr. Jan Strejček, Ph.D.
profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
telefon: | 549 49 6941 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 86
2005
-
Linear Temporal Logic: Expressiveness and Model Checking
Rok: 2005, počet stran: 148 s.
-
Reachability Analysis of Multithreaded Software with Asynchronous Communication
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005
-
Reachability of Hennessy - Milner properties for weakly extended PRS
FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005
-
Refining Undecidability Border of Weak Bisimilarity.
BRICS Notes Series, rok: 2005, ročník: 2005, vydání: NS-05-4
-
Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
The stuttering principle revisited
Acta informatica, rok: 2005, ročník: 41, vydání: 7/8
2004
-
Extended Process Rewrite Systems: Expressiveness and Reachability
CONCUR 2004 - Concurrency Theory, rok: 2004
-
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, rok: 2004
-
On the Expressive Power of Extended Process Rewrite Systems
BRICS Report Series, rok: 2004, ročník: 2004, vydání: RS-04-7
2003
-
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), rok: 2003