- Displaying 3-D models and rays through the virtual reality modelling language2000 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Modelling language devices for the Czech reference level description at level C12011 | UNIVERZITA KARLOVA, Ústav jazykové a odborné přípravy
- Ke stratifikačnímu modelování jazyka2013 | Matematicko-fyzikální fakulta
- Funkční generativní popis jako funkčně motivovaný formalní model jazyka2012 | Matematicko-fyzikální fakulta
- An Empirical Investigation of Structured Output Modeling for Graph-based Neural Dependency ParsingPublikace bez příslušnosti k fakultě
- Jazyk OCL a modelem řízený vývoj2010 | Matematicko-fyzikální fakulta
- Creating Distributed Execution Plans with BobolangNG2016 | Matematicko-fyzikální fakulta
- Information Systems Development with the help of Petri Nets2020 | Matematicko-fyzikální fakulta
- On Modelling Planning and Scheduling Problems with Time and Resources2002 | Publikace bez příslušnosti k fakultě
- DeSpec: Modelování v prostředí Windows ovladačů2009 | Matematicko-fyzikální fakulta
- Model ECMO oxygenátoru2012 | 1. lékařská fakulta
- Transformace BPM modelu do aktivity diagramů UML pomocí XSLT2009 | Matematicko-fyzikální fakulta
- Jazykově managementový přístup k zachovávání a směně jazyka: studie z post-sovětského Běloruska2009 | Filozofická fakulta
- On Modeling Formalisms for Automated Planning2014 | Matematicko-fyzikální fakulta
- Deskripční Logika s Uspořádáním Konceptů a top-k Restrikcí2008 | Matematicko-fyzikální fakulta
- Rozsáhlý model fyziologických regulací v Modelice2010 | 1. lékařská fakulta
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Matematicko-fyzikální fakulta
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Publikace bez příslušnosti k fakultě
- Behavior assembly a skládání use case - UML 2.0 perspektiva2005 | Matematicko-fyzikální fakulta
- Simulace business procesů pomocí softwarových agentů2008 | Matematicko-fyzikální fakulta
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin2018 | Matematicko-fyzikální fakulta
- Experience with Teaching Different Modeling Techniques on the example of Glucose Insulin Regulation Model2020 | 1. lékařská fakulta
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Matematicko-fyzikální fakulta, UNIVERZITA KARLOVA
- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems2015 | Matematicko-fyzikální fakulta
- Physiological Model Creation and Sharing2011 | 1. lékařská fakulta
- Planning and Acting with Temporal and Hierarchical Decomposition Models2014 | Matematicko-fyzikální fakulta
- Chapter 5 - An integrated ontology for multi-paradigm modelling for cyber-physical systems2021 | Matematicko-fyzikální fakulta
- Logic-based modeling of information transfer in cyber-physical multi-agent systems2016 | Matematicko-fyzikální fakulta
- ASM-based formal design of an adaptivity component for a Cloud system2016 | Matematicko-fyzikální fakulta
- Lumped models of the cardiovascular system of various complexity2017 | 1. lékařská fakulta