- Technological leadership and persistence of monopoly under endogenous entry: static versus dynamic analysis2010 | Publikace bez příslušnosti k fakultě
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Matematicko-fyzikální fakulta
- The foot dynamics analysis in vertical jumpPublikace bez příslušnosti k fakultě
- Foot dynamics analysis with comparison to other parametersPublikace bez příslušnosti k fakultě
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- A programming model and framework for comprehensive dynamic analysis on Android2015 | Matematicko-fyzikální fakulta
- Kinematic and dynamic analysis of the wide-radius turns in snowbiking2000 | 1. lékařská fakulta
- Dynamical analysis of a first order theory of bulk viscosity2018 | Matematicko-fyzikální fakulta
- Dynamical analysis approaches in spatially curved FRW spacetimes2020 | Matematicko-fyzikální fakulta
- DiSL ShadowVM preview-1Publikace bez příslušnosti k fakultě
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Matematicko-fyzikální fakulta
- Technological leadership and persistence of monopoly under endogenous entry : static versus dynamic analysis2009 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- Technological leadership and persistence of monopoly under endogenous entry: static versus dynamic analysis2010 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- JPF-staticPublikace bez příslušnosti k fakultě
- PandaPublikace bez příslušnosti k fakultě
- Explaining the striking difference in twist-stretch coupling between DNA and RNA: A comparative molecular dynamics analysis2015 | Přírodovědecká fakulta
- Renal Proteomic Responses to Severe Sepsis and Surgical Trauma: Dynamic Analysis of Porcine Tissue Biopsies2016 | Lékařská fakulta v Plzni
- DiSL rev 488Publikace bez příslušnosti k fakultě
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | 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
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- The JVM is not observable enough (and what to do about it)2012 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Characterisation and mitigation of beam-induced backgrounds observed in the ATLAS detector during the 2011 proton-proton run2013 | Matematicko-fyzikální fakulta
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublikace bez příslušnosti k fakultě
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Matematicko-fyzikální fakulta
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Matematicko-fyzikální fakulta