- Modeling Data Flow Constraints for Design-Time Confidentiality Analyses2021 | Faculty of Mathematics and Physics
- Data-flow Analysis of Programs with Associative Arrays2014 | Faculty of Mathematics and Physics
- Data-Flow Awareness in Parallel Data Processing2012 | Faculty of Mathematics and Physics
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Faculty of Mathematics and Physics
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications2016 | Faculty of Mathematics and Physics
- Model-based Confidentiality Analysis under Uncertainty2023 | Faculty of Mathematics and Physics
- Data Lineage Temporally Using a Graph Database2019 | Faculty of Mathematics and Physics
- Monads in Logic Programming2002 | Publication without faculty affiliation
- Intraday information flow on the European stock markets2009 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education
- University Institutional Repository and its Place in the University Information Infrastructure2014 | Faculty of Arts
- Space Law in a Networked World2023 | Faculty of Law
- CMS Data Processing Workflows during an Extended Cosmic Ray Run2010 | Faculty of Mathematics and Physics
- Development of information and management system for laboratory based on open source licensed software2015 | Publication without faculty affiliation
- Development of information and management system for laboratory based on open source licensed software with security logs extension2017 | Publication without faculty affiliation
- Image and Vector Processing FrameworkPublication without faculty affiliation
- University Open Access Initiatives: Institutional Repository in the University Information Infrastructure2013 | Faculty of Arts
- 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 | Faculty of Mathematics and Physics
- Bulk Evaluation of XQuery2012 | Faculty of Mathematics and Physics
- Bayesian ISOLA: new tool for automated centroid moment tensor inversion2017 | Faculty of Mathematics and Physics
- Modeling of Dynamic Trust Contracts for Industry 4.0 Systems2018 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Open University : The Role of the University Library and the Shifting in Scholarly Communication Paradigm2012 | Faculty of Arts
- Towards Efficient Software Comprehension with Code Analysis2022 | Faculty of Mathematics and Physics