- Displaying 3-D models and rays through the virtual reality modelling language2000 | Faculty of Mathematics and Physics, Central Library of Charles University
- Modelling language devices for the Czech reference level description at level C12011 | Charles University, Institute for Language and Preparatory Studies
- On stratificational modelling of language2013 | Faculty of Mathematics and Physics
- The Functional Generative Description as a functionally motivated formal model of language2012 | Faculty of Mathematics and Physics
- An Empirical Investigation of Structured Output Modeling for Graph-based Neural Dependency ParsingPublication without faculty affiliation
- OCL Language and Model Driven Development2010 | Faculty of Mathematics and Physics
- Creating Distributed Execution Plans with BobolangNG2016 | Faculty of Mathematics and Physics
- Information Systems Development with the help of Petri Nets2020 | Faculty of Mathematics and Physics
- On Modelling Planning and Scheduling Problems with Time and Resources2002 | Publication without faculty affiliation
- DeSpec: Modeling the Windows Driver Environment2009 | Faculty of Mathematics and Physics
- ECMO OXYGENATOR MODEL2012 | First Faculty of Medicine
- The BPM to UML Activity Diagram Transformation Using XSLT2009 | Faculty of Mathematics and Physics
- A language management approach to language maintenance and shift: A study from post-Soviet Belarus2009 | Faculty of Arts
- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- A description Logic with Concept Ordering and top-k Restriction2008 | Faculty of Mathematics and Physics
- Integrative model of physiological regulations in Modelica2010 | First Faculty of Medicine
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Publication without faculty affiliation
- Agent-Based Simulation of Business Processes in a Virtual World2008 | Faculty of Mathematics and Physics
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Faculty of Mathematics and Physics
- Experience with Teaching Different Modeling Techniques on the example of Glucose Insulin Regulation Model2020 | First Faculty of Medicine
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Faculty of Mathematics and Physics, Charles University
- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems2015 | Faculty of Mathematics and Physics
- Physiological Model Creation and Sharing2011 | First Faculty of Medicine
- Planning and Acting with Temporal and Hierarchical Decomposition Models2014 | Faculty of Mathematics and Physics
- Chapter 5 - An integrated ontology for multi-paradigm modelling for cyber-physical systems2021 | Faculty of Mathematics and Physics
- Logic-based modeling of information transfer in cyber-physical multi-agent systems2016 | Faculty of Mathematics and Physics
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Faculty of Mathematics and Physics
- Lumped models of the cardiovascular system of various complexity2017 | First Faculty of Medicine