- Education and operation Software systems for Rally flying2012 | Publikace bez příslušnosti k fakultě
- Software Confederations and the Maintenance of Global Software Systems2002 | Publikace bez příslušnosti k fakultě
- Moderní management závisí na modernosti architektur softwarových systémů2003 | Matematicko-fyzikální fakulta
- Ověřování modelem řízených odhadů výkonnosti na náhodných softwarových systémech2010 | Matematicko-fyzikální fakulta
- MINERVA API and plugins: opening molecular network analysis and visualization to the community2019 | Matematicko-fyzikální fakulta
- The COMPASS Tokamak Plasma Control Software Performance2011 | Matematicko-fyzikální fakulta
- Toolkit for Teaching Steering Behaviors for 3D Human-like Virtual Agents (Demonstration)2012 | Matematicko-fyzikální fakulta
- Software Confederations and Manufacturing2003 | Matematicko-fyzikální fakulta
- Systemic Issues of Software Confederations2002 | Publikace bez příslušnosti k fakultě
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Towards Software Performance Engineering for Multicore and Manycore Systems2013 | Matematicko-fyzikální fakulta
- Půlstoletí programovacích jazyků. Zrání softwarových systémů2008 | Matematicko-fyzikální fakulta
- Information Systems Development with the help of Petri Nets2020 | Matematicko-fyzikální fakulta
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Matematicko-fyzikální fakulta
- JPMF: Framework pro měření výkonnosti v Java aplikacích (verze 1.0)Publikace bez příslušnosti k fakultě
- Regression Algorithm for Identification of Biomarker Areas in SELDI-TOF Mass Spectra2014 | Lékařská fakulta v Hradci Králové
- Research into Practice - Reality and Gaps2010 | Matematicko-fyzikální fakulta
- Oddělení zájmů a konzistentní integrace v modelování požadavků.2007 | Publikace bez příslušnosti k fakultě
- Sdílení prostředků v modelech výkonu založených na QPN2008 | Matematicko-fyzikální fakulta
- Problém použitelnosti v servisně orietované architektuře +22007 | Matematicko-fyzikální fakulta
- Bridging the Component-Based and Service-Oriented Worlds2009 | Matematicko-fyzikální fakulta
- Simplifying maintenance by application of architectural services2014 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Sdílení zdrojů v modelech výkonnosti +12007 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Transformation of Pipeline Stage Algorithms to Event-Driven Code2014 | Matematicko-fyzikální fakulta
- Information Systems Development via Model Transformations2018 | Matematicko-fyzikální fakulta
- Sdílení caches v modelech výkonnosti Q-ImPrESS2009 | Matematicko-fyzikální fakulta