- Dynamic Complexity of Reachability: How Many Changes Can We Handle?2020 | Faculty of Mathematics and Physics
- Logspace reduction of directed reachability for bounded genus graphs to the planar case2010 | Faculty of Mathematics and Physics
- Solving reachability problems by a scalable constrained optimization method2020 | Faculty of Mathematics and Physics
- Property Directed Reachability for Automated Planning2014 | Faculty of Mathematics and Physics
- Reachability by paths of bounded curvature in convex polygons2000 | Faculty of Mathematics and Physics
- Reachability by paths of bounded curvature in a convex polygon2012 | Faculty of Mathematics and Physics
- Distributed Asynchronous Regular Path Queries (RPQs) on Graphs2023 | Faculty of Mathematics and Physics
- Static type checking of XSLT programs +12005 | Faculty of Mathematics and Physics
- Constraint Based Reasoning over Mutex Relations in Graphplan Algorithm2006 | Faculty of Mathematics and Physics
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Faculty of Mathematics and Physics
- Societies in the Times of Plague2021 | Faculty of Law
- Summarization of branching loops2022 | Faculty of Mathematics and Physics
- Being a patron of the intelligentsia in the provinces2014 | Faculty of Social Sciences
- Highly arc-transitive digraphs - structure and counterexamples2015 | Faculty of Mathematics and Physics
- Quantum ferromagnet in the proximity of the tricritical point2017 | Faculty of Mathematics and Physics
- Mutex reasoning in cooperative path finding modeled as propositional satisfiability2013 | Faculty of Mathematics and Physics
- Pressure induced superconductivity in a cerhsi3 single crystal - The high pressure study2020 | Faculty of Mathematics and Physics
- Decomposing Farkas Interpolants2019 | Faculty of Mathematics and Physics
- Enhanced Property Specification and Verification in BLAST2009 | Faculty of Mathematics and Physics
- Using linear algebra in decomposition of Farkas interpolants2022 | Faculty of Mathematics and Physics
- Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain2017 | Faculty of Mathematics and Physics
- PROMISE: high-level mission specification for multiple robots2020 | Faculty of Mathematics and Physics
- Split Transition Power Abstraction for Unbounded Safety2022 | Faculty of Mathematics and Physics
- Pressure induced superconductivity in a CeRhSi(3)single crystal-the high pressure study2021 | Faculty of Mathematics and Physics
- Can the Sacral Spongiosa Bleeding Cause Fatal Complications of Unstable Pelvic Fracture?2009 | Third Faculty of Medicine
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Perspectives: SARS-CoV-2 Spike Convergent Evolution as a Guide to Explore Adaptive Advantage2022 | Faculty of Science