ℹ️
🇬🇧
Search
Search for people relevant for "ANALYZE"
ANALYZE
Person
Class
Person
Publication
Programmes
RNDr. Filip Zavoral Ph.D.
Academic staff at Faculty of Mathematics and Physics
11 classes
128 publications
Classes
class
Design Patterns
NPRG024 |
Faculty of Mathematics and Physics
class
Individual Software Project
NPRG045 |
Faculty of Mathematics and Physics
class
Software Project
NPRG069 |
Faculty of Mathematics and Physics
class
Research Project
NPRG070 |
Faculty of Mathematics and Physics
class
Company Project
NPRG071 |
Faculty of Mathematics and Physics
class
Increased project scope
NPRG072 |
Faculty of Mathematics and Physics
class
International research project
NPRG081 |
Faculty of Mathematics and Physics
class
Principles of Distributed Systems
NSWI035 |
Faculty of Mathematics and Physics
class
Cloud Application Development
+1
NSWI152 |
Faculty of Mathematics and Physics
class
Security of Software Systems in Practice
NSWI202 |
Faculty of Mathematics and Physics
Load more classes (1)
Publications
publication
Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics
2014 |
Faculty of Mathematics and Physics
publication
Resistance Against Malicious Collectives in BubbleTrust
2011 |
Faculty of Mathematics and Physics
publication
BUXT Engine in Xord: Fragment Buffers for Streaming XSLT Transformations
+1
2008 |
Faculty of Mathematics and Physics
publication
Slicito: Using Computational Notebooks for Program Comprehension
2023 |
Faculty of Mathematics and Physics
publication
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
2022 |
Faculty of Mathematics and Physics
publication
PeachPie: Mature PHP to CLI Compiler
2022 |
Faculty of Mathematics and Physics
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Faculty of Mathematics and Physics
publication
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations
2020 |
Faculty of Mathematics and Physics
publication
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
2019 |
Faculty of Mathematics and Physics
publication
Source Code Assertion Verification Using Backward Symbolic Execution
2019 |
Faculty of Mathematics and Physics
Load more publications (118)
Loading network view...