- Dynamic Complexity of Reachability: How Many Changes Can We Handle?2020 | Matematicko-fyzikální fakulta
- Logspace redukce problému orientované dosažitelnosti v grafech vyššího rodu na rovinný případ2010 | Matematicko-fyzikální fakulta
- Solving reachability problems by a scalable constrained optimization method2020 | Matematicko-fyzikální fakulta
- Property Directed Reachability for Automated Planning2014 | Matematicko-fyzikální fakulta
- Reachability by paths of bounded curvature in convex polygons2000 | Matematicko-fyzikální fakulta
- Reachability by paths of bounded curvature in a convex polygon2012 | Matematicko-fyzikální fakulta
- Distributed Asynchronous Regular Path Queries (RPQs) on Graphs2023 | Matematicko-fyzikální fakulta
- Statická typová kontrola XSLT programů +12005 | Matematicko-fyzikální fakulta
- Uvažování o relacích mutex v algoritmu Graphplan z pohledu omezujících podmínek2006 | Matematicko-fyzikální fakulta
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Matematicko-fyzikální fakulta
- Společnost v čase moru2021 | Právnická fakulta
- Summarization of branching loops2022 | Matematicko-fyzikální fakulta
- Být mecenášem vzdělance (na provincii)2014 | Fakulta sociálních věd
- Highly arc-transitive digraphs - structure and counterexamples2015 | Matematicko-fyzikální fakulta
- Quantum ferromagnet in the proximity of the tricritical point2017 | Matematicko-fyzikální fakulta
- Mutex reasoning in cooperative path finding modeled as propositional satisfiability2013 | Matematicko-fyzikální fakulta
- Pressure induced superconductivity in a cerhsi3 single crystal - The high pressure study2020 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Matematicko-fyzikální fakulta
- PROMISE: high-level mission specification for multiple robots2020 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta
- Pressure induced superconductivity in a CeRhSi(3)single crystal-the high pressure study2021 | Matematicko-fyzikální fakulta
- Může být krvácení ze spongiózy sakra fatální komplikací nestabilní zlomeniny pánve?2009 | 3. lékařská fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Perspectives: SARS-CoV-2 Spike Convergent Evolution as a Guide to Explore Adaptive Advantage2022 | Přírodovědecká fakulta