- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- Všeobecná charakteristika novely občanského soudního řádu2000 | Právnická fakulta
- Automatické generování implementace z požadavků v přirozeném jazyce2011 | Matematicko-fyzikální fakulta
- Kodex správy a řízení společností ČR 20182018 | Právnická fakulta
- Vědecký komentářPublikace bez příslušnosti k fakultě
- Search for supersymmetry in events containing a same-flavour opposite-sign dilepton pair, jets, and large missing transverse momentum in root s=8TeV pp collisions with the ATLAS detector2015 | Matematicko-fyzikální fakulta
- Komentář k § 545 - 608 Nového občanského zákoníku2014 | Právnická fakulta
- Environment for Executing and Testing Communicating StatechartsPublikace bez příslušnosti k fakultě
- Na cestě k textu generujícímu templátovému jazyku pro Modelicu2009 | 1. lékařská fakulta
- Medicína a trestní právo2011 | 1. lékařská fakulta, Fakulta tělesné výchovy a sportu, Lékařská fakulta v Plzni, Lékařská fakulta v Hradci Králové
- GFE - Grafický editor stavových automatů pro paralelní běh2007 | Matematicko-fyzikální fakulta
- GFEPublikace bez příslušnosti k fakultě
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
- Physiomodel - An Integrative Physiology in Modelica2015 | 1. lékařská fakulta
- QRML: A Component Language and Toolset for Quality and Resource Management2020 | Matematicko-fyzikální fakulta
- Component-Oriented Development for Real-Time Java2012 | Matematicko-fyzikální fakulta
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta
- Apheresis data registration in WWA registry-10-year experience of our center2017 | Lékařská fakulta v Hradci Králové