- Domain Modeling for Planning as Logic Programming2016 | Faculty of Mathematics and Physics
- On verification of workflow and planning domain models using attribute grammars2017 | Faculty of Mathematics and Physics
- Recovering Traceability Links Between Code and Specification Through Domain Model Extraction2014 | Faculty of Mathematics and Physics
- Appropriate expressiveness of planning domain models: An urban traffic control case study2019 | Faculty of Mathematics and Physics
- The Effect of Domain Modelling on Efficiency of Planning: Lessons From the Nomystery Domain2015 | Faculty of Mathematics and Physics
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Faculty of Mathematics and Physics
- Time-domain modeling of global ocean tides generated by the full lunisolar potential2017 | Faculty of Mathematics and Physics
- On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods2023 | Faculty of Mathematics and Physics
- Electromagnetic induction and heterogeneous Earth's mantle : time-domain modellingPublication without faculty affiliation
- Crystal Structure of the ORP8 Lipid Transport ORD Domain: Model of Lipid Transport2023 | Central Library of Charles University
- On the robustness of domain-independent planning engines: The impact of poorly-engineered knowledge2019 | 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
- Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems2012 | Faculty of Mathematics and Physics
- Fundamentals of Mathematical Modeling of Chemicals Through QSPR/QSAR2023 | First Faculty of Medicine
- Elevational range size patterns of vascular plants in the Himalaya contradict Rapoport's rule2021 | Faculty of Science, Central Library of Charles University
- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Faculty of Mathematics and Physics
- CIEAEM Commission for the Study and Improvement of Mathematics TeachingPublication without faculty affiliation
- Automated Generation of Implementation from Textual System Requirements2011 | Faculty of Mathematics and Physics
- Correcting Hierarchical Plans by Action Deletion2021 | Faculty of Mathematics and Physics
- LOUGA: learning planning operators using genetic algorithms2018 | Faculty of Mathematics and Physics
- Validation of hierarchical plans via parsing of attribute grammars2018 | Faculty of Mathematics and Physics
- On the Impact of Grounding on HTN Plan Verification via Parsing2023 | Faculty of Mathematics and Physics
- Validation of Hierarchical Plans via Parsing of Attribute Grammars +12018 | Faculty of Mathematics and Physics
- The Benefit of Control Knowledge and Heuristics During Search in Planning2016 | Faculty of Mathematics and Physics
- On modeling planning problems in tabled logic programming2015 | Faculty of Mathematics and Physics
- Inner entanglements: Narrowing the search in classical planning by problem reformulation2019 | Faculty of Mathematics and Physics
- How to plan roadworks in urban regions? A principled approach based on AI planning2019 | Faculty of Mathematics and Physics
- Business cycle synchronization of the Visegrad Four and the European UnionPublication without faculty affiliation