- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- Mechatronics, part 1 Programming and debugging microcontroller projects2022 | Faculty of Mathematics and Physics
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Faculty of Mathematics and Physics
- Scratch programming for advanced - projects for lower secondary schoolPublication without faculty affiliation
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Faculty of Mathematics and Physics
- AskTheCodePublication without faculty affiliation
- Software Confederations and the Maintenance of Global Software Systems2002 | Publication without faculty affiliation
- Pogamut 2Publication without faculty affiliation
- MIVE DebuggerPublication without faculty affiliation
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics, Central Library of Charles University
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Faculty of Mathematics and Physics
- Performance Improvements of Behavior Protocol Checking +12005 | Faculty of Mathematics and Physics
- The JVM is not observable enough (and what to do about it)2012 | Faculty of Mathematics and Physics
- A Standardised Polarisation Visualisation for Images2010 | Faculty of Mathematics and Physics
- UnifiedViews: An ETL Framework for Sustainable RDF Data Processing2014 | Faculty of Mathematics and Physics
- Practical 3D Tracking Using Low-Cost Cameras2016 | Faculty of Mathematics and Physics
- Processing RDF Data in UnifiedViews2014 | Faculty of Mathematics and Physics
- UnifiedViews: Towards ETL Tool for Simple yet Powerfull RDF Data Management2015 | Faculty of Mathematics and Physics
- UnifiedViews: An ETL Tool for RDF Data Management2018 | Faculty of Mathematics and Physics
- Emohawk: Learning Virtual Characters by Doing.2010 | Faculty of Mathematics and Physics
- TabGenie: A Toolkit for Table-to-Text Generation2023 | Faculty of Mathematics and Physics
- Preserving Intentions in SOA Business Process Development +12008 | Faculty of Mathematics and Physics
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Faculty of Mathematics and Physics
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- Robust partial-load experiments with Showstopper2016 | Faculty of Mathematics and Physics
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Faculty of Mathematics and Physics
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublication without faculty affiliation
- Database of medicines in the paediatric population CzechPharmPedPublication without faculty affiliation