doc. Mgr. Radek Pelánek, Ph.D.

2003

• Relating Hierarchy of Temporal Properties to Model Checking

  ČERNÁ Ivana PELÁNEK Radek

  Stať ve sborníku

  Mathematical Foundations of Computer Science (MFCS 2003), rok: 2003

• To Store or Not To Store

  BEHRMANN Gerd LARSEN Kim G. PELÁNEK Radek

  Stať ve sborníku

  Computer Aided Verification (CAV 2003), rok: 2003

2001

• Distributed LTL Model-Checking Based on Negative Cycle Detection

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Stať ve sborníku

  FST-TCS 2001, rok: 2001

• How to Employ Reverse Search in Distributed Single-Source Shortest Paths

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Stať ve sborníku

  SOFSEM 2001, rok: 2001