- DiSL rev 488Publication without faculty affiliation
- DiSL ShadowVM preview-1Publication without faculty affiliation
- Introduction to dynamic program analysis with DiSL +12013 | Faculty of Mathematics and Physics
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- Productive Development of Dynamic Program Analysis Tools with DiSL2013 | Faculty of Mathematics and Physics
- Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation2012 | Faculty of Mathematics and Physics
- DiSL: an extensible language for efficient and comprehensive dynamic program analysisPublication without faculty affiliation
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis2012 | Faculty of Mathematics and Physics
- The JVM is not observable enough (and what to do about it)2012 | Faculty of Mathematics and Physics
- Holocaust of Slovak Jews : interpretation in Slovak historiography2006 | Faculty of Mathematics and Physics
- Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance2014 | Faculty of Mathematics and Physics
- Supporting Performance Awareness in Autonomous Ensembles2015 | Faculty of Mathematics and Physics
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics