- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- Mechatronika, část 1 Programování a ladění projektů s mikrokontroléry2022 | Matematicko-fyzikální fakulta
- Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio2012 | Matematicko-fyzikální fakulta
- Programování ve Scratch pro pokročilé - projekty pro 2. stupeň základní školyPublikace bez příslušnosti k fakultě
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta
- AskTheCodePublikace bez příslušnosti k fakultě
- Software Confederations and the Maintenance of Global Software Systems2002 | Publikace bez příslušnosti k fakultě
- Pogamut 2Publikace bez příslušnosti k fakultě
- MIVE DebuggerPublikace bez příslušnosti k fakultě
- Model Checking of Component Behavior Specification: A Real Life Experience2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Automatické ověřování specifikace chování komponenty: praktické poznatky2005 | Matematicko-fyzikální fakulta
- Performance Improvements of Behavior Protocol Checking2005 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta
- The JVM is not observable enough (and what to do about it)2012 | Matematicko-fyzikální fakulta
- A Standardised Polarisation Visualisation for Images2010 | Matematicko-fyzikální fakulta
- UnifiedViews: An ETL Framework for Sustainable RDF Data Processing2014 | Matematicko-fyzikální fakulta
- Practical 3D Tracking Using Low-Cost Cameras2016 | Matematicko-fyzikální fakulta
- Processing RDF Data in UnifiedViews2014 | Matematicko-fyzikální fakulta
- UnifiedViews: Towards ETL Tool for Simple yet Powerfull RDF Data Management2015 | Matematicko-fyzikální fakulta
- UnifiedViews: An ETL Tool for RDF Data Management2018 | Matematicko-fyzikální fakulta
- Emohawk - praktická výuka virtuálních postav2010 | Matematicko-fyzikální fakulta
- TabGenie: A Toolkit for Table-to-Text Generation2023 | Matematicko-fyzikální fakulta
- Zachování záměrů při vývoji SOA business procesů +12008 | Matematicko-fyzikální fakulta
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine2013 | Matematicko-fyzikální fakulta
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- Robust partial-load experiments with Showstopper2016 | Matematicko-fyzikální fakulta
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
- Databáze léčiv v dětské populaci CzechPharmPedPublikace bez příslušnosti k fakultě