![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
prof. RNDr. Ivana Černá, CSc.
vedoucí katedry – Katedra teorie programování
kancelář: A410
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3890 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 122
2003
-
Parallel Algorithms for Detection of Negative Cycles
Rok: 2003, počet stran: 14 s.
-
Parallel Algorithms for Detection of Negative Cycles
Proceedings of the 10th ParCo Conference, rok: 2003
-
Relating Hierarchy of Temporal Properties to Model Checking
Mathematical Foundations of Computer Science (MFCS 2003), rok: 2003
2002
-
Local Distributed Model Checking of RegCTL
PDMC 2002 Parallel and Distributed Model Checking, rok: 2002
-
Modifications of Expansion Trees for Weak Bisimulation in BPA
Verification of Infinite-State Systems Infinity'2002, rok: 2002
-
Property Driven Distribution of Nested DFS
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, rok: 2002
2001
-
Distributed LTL Model-Checking Based on Negative Cycle Detection
FST-TCS 2001, rok: 2001
-
How to Employ Reverse Search in Distributed Single-Source Shortest Paths
SOFSEM 2001, rok: 2001
-
Randomization Helps in LTL Model Checking
Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, rok: 2001
2000
-
Some Remarks on Weak Bisimilarity of BPA-Processes
Rok: 2000, počet stran: 26 s.