- Technological leadership and persistence of monopoly under endogenous entry: static versus dynamic analysis2010 | Publication without faculty affiliation
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics
- The foot dynamics analysis in vertical jumpPublication without faculty affiliation
- Foot dynamics analysis with comparison to other parametersPublication without faculty affiliation
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- A programming model and framework for comprehensive dynamic analysis on Android2015 | Faculty of Mathematics and Physics
- Kinematic and dynamic analysis of the wide-radius turns in snowbiking2000 | First Faculty of Medicine
- Dynamical analysis of a first order theory of bulk viscosity2018 | Faculty of Mathematics and Physics
- Dynamical analysis approaches in spatially curved FRW spacetimes2020 | Faculty of Mathematics and Physics
- DiSL ShadowVM preview-1Publication without faculty affiliation
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Faculty of Mathematics and Physics
- Technological leadership and persistence of monopoly under endogenous entry : static versus dynamic analysis2009 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education
- Technological leadership and persistence of monopoly under endogenous entry: static versus dynamic analysis2010 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education
- JPF-staticPublication without faculty affiliation
- PandaPublication without faculty affiliation
- Explaining the striking difference in twist-stretch coupling between DNA and RNA: A comparative molecular dynamics analysis2015 | Faculty of Science
- Renal Proteomic Responses to Severe Sepsis and Surgical Trauma: Dynamic Analysis of Porcine Tissue Biopsies2016 | Faculty of Medicine in Pilsen
- DiSL rev 488Publication without faculty affiliation
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | 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
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- The JVM is not observable enough (and what to do about it)2012 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- Characterisation and mitigation of beam-induced backgrounds observed in the ATLAS detector during the 2011 proton-proton run2013 | Faculty of Mathematics and Physics
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublication without faculty affiliation
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Faculty of Mathematics and Physics
