- Education and operation Software systems for Rally flying2012 | Publication without faculty affiliation
- Software Confederations and the Maintenance of Global Software Systems2002 | Publication without faculty affiliation
- Modern management depends on the modernity of architectures of software systems2003 | Faculty of Mathematics and Physics
- Validating Model-Driven Performance Predictions On Random Software Systems2010 | Faculty of Mathematics and Physics
- MINERVA API and plugins: opening molecular network analysis and visualization to the community2019 | Faculty of Mathematics and Physics
- The COMPASS Tokamak Plasma Control Software Performance2011 | Faculty of Mathematics and Physics
- Toolkit for Teaching Steering Behaviors for 3D Human-like Virtual Agents (Demonstration)2012 | Faculty of Mathematics and Physics
- Software Confederations and Manufacturing2003 | Faculty of Mathematics and Physics
- Systemic Issues of Software Confederations2002 | Publication without faculty affiliation
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework2010 | Faculty of Mathematics and Physics
- Towards Software Performance Engineering for Multicore and Manycore Systems2013 | Faculty of Mathematics and Physics
- Fifty years of programming languages2008 | Faculty of Mathematics and Physics
- Information Systems Development with the help of Petri Nets2020 | Faculty of Mathematics and Physics
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Faculty of Mathematics and Physics
- JPMF: Java Performance Measurement Framework (release 1.0)Publication without faculty affiliation
- Regression Algorithm for Identification of Biomarker Areas in SELDI-TOF Mass Spectra2014 | Faculty of Medicine in Hradec Králové
- Research into Practice - Reality and Gaps2010 | Faculty of Mathematics and Physics
- Separation of Concerns and Consistent Integration in Requirements Modelling2007 | Publication without faculty affiliation
- Resource Sharing in QPN-based Performance Models2008 | Faculty of Mathematics and Physics
- Usability Issues in Service-Oriented Architecture +22007 | Faculty of Mathematics and Physics
- Bridging the Component-Based and Service-Oriented Worlds2009 | Faculty of Mathematics and Physics
- Simplifying maintenance by application of architectural services2014 | Faculty of Mathematics and Physics, Central Library of Charles University
- Resource Sharing in Performance Models +12007 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- Transformation of Pipeline Stage Algorithms to Event-Driven Code2014 | Faculty of Mathematics and Physics
- Information Systems Development via Model Transformations2018 | Faculty of Mathematics and Physics
- Cache Sharing in Q-ImPrESS Performance Models2009 | Faculty of Mathematics and Physics