- Modeling Data Flow Constraints for Design-Time Confidentiality Analyses2021 | Matematicko-fyzikální fakulta
- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Data-Flow Awareness in Parallel Data Processing2012 | Matematicko-fyzikální fakulta
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications2016 | Matematicko-fyzikální fakulta
- Model-based Confidentiality Analysis under Uncertainty2023 | Matematicko-fyzikální fakulta
- Data Lineage Temporally Using a Graph Database2019 | Matematicko-fyzikální fakulta
- Monads in Logic Programming2002 | Publikace bez příslušnosti k fakultě
- Intraday information flow on the European stock markets2009 | Matematicko-fyzikální fakulta, Fakulta sociálních věd, Centrum pro ekonomický výzkum a doktorské studium
- University Institutional Repository and its Place in the University Information Infrastructure2014 | Filozofická fakulta
- Space Law in a Networked World2023 | Právnická fakulta
- Zpracování dat registrovaných v CMS během dlouhodobého experimentu s kosmickým zářením.2010 | Matematicko-fyzikální fakulta
- Development of information and management system for laboratory based on open source licensed software2015 | Publikace bez příslušnosti k fakultě
- Development of information and management system for laboratory based on open source licensed software with security logs extension2017 | Publikace bez příslušnosti k fakultě
- Komponentový rámec pro zpracování obrazu a vektorůPublikace bez příslušnosti k fakultě
- University Open Access Initiatives: Institutional Repository in the University Information Infrastructure2013 | Filozofická fakulta
- On Interdisciplinary Intersection of Unconventional Algorithms and Big Data Processing in Real World Problems.: A real world example based on Ho Chi Minh City Traffic2017 | Matematicko-fyzikální fakulta
- Bulk Evaluation of XQuery2012 | Matematicko-fyzikální fakulta
- Bayesian ISOLA: new tool for automated centroid moment tensor inversion2017 | Matematicko-fyzikální fakulta
- Modeling of Dynamic Trust Contracts for Industry 4.0 Systems2018 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Otevřená univerzita: Role vysokoškolské knihovny ve změně paradigmatu vědecké komunikace2012 | Filozofická fakulta
- Towards Efficient Software Comprehension with Code Analysis2022 | Matematicko-fyzikální fakulta