- Automation in clinical biochemistry2013 | Publication without faculty affiliation
- Automated Proof Compression by Invention of New Definitions2010 | Faculty of Mathematics and Physics
- Automated Benchmarking and Analysis Tool2006 | Faculty of Mathematics and Physics
- Automated Benchmarking and Analysis ToolPublication without faculty affiliation
- Automated Search for Heuristic Functions2005 | Faculty of Mathematics and Physics
- Algorithms for automated logisticsPublication without faculty affiliation
- BEEN Automated Benchmarking Tool (release 1.0)Publication without faculty affiliation
- On Modeling Formalisms for Automated Planning2014 | Faculty of Mathematics and Physics
- Automated Theorem Proving in Loop Theory2008 | Faculty of Mathematics and Physics
- Automated deployment of hierarchical components2013 | Faculty of Mathematics and Physics
- Unclear boundaries of automated decision-making2023 | Faculty of Law
- Automated building simplification using recursive approach2009 | Faculty of Science
- Progress Towards Effective Automated Reasoning with World Knowledge2010 | Faculty of Mathematics and Physics
- Automated Classification of Bitmap Images Using Decision Trees2011 | Faculty of Mathematics and Physics
- Automated Evaluation Metric for Terminology Consistency in MT2022 | Faculty of Mathematics and Physics
- Automated Training Plan Generation for Athletes2018 | Faculty of Mathematics and Physics
- Automated Detection of Performance Regressions: The Mono Experience2005 | Faculty of Mathematics and Physics
- The variability of automated QRS duration measurement2017 | Faculty of Medicine in Pilsen, First Faculty of Medicine
- Evaluating and automating the annotation of a learner corpus2013 | Faculty of Mathematics and Physics, Faculty of Arts
- Automated Theorem Proving in Quasigroup and Loop Theory2010 | Faculty of Mathematics and Physics
- Where is the automated external defibrillator?2010 | Faculty of Medicine in Hradec Králové
- Automated Reasoning for Mizar: Artificial Intelligence through Knowledge ExchangePublication without faculty affiliation
- Uncertainty Issues in Automating Process Connecting Web and User2007 | Faculty of Mathematics and Physics
- Automated implementation process of machine translation system for related languages2016 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Optimization of prolog programs by fully automated transformation procedure2008 | Faculty of Mathematics and Physics
- Determination of drugs by automated flow methods using chemiluminescence detectionPublication without faculty affiliation
- Automated Evaluation of Regular Lab Assignments: A Bittersweet Experience?2013 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
- EVALD - a Pioneer Application for Automated Essay Scoring in Czech2019 | Faculty of Mathematics and Physics