Solving Difficult Problems by Viewing them as Structured Dense Graphs. - Pavel Surynek; Lukás Chrpa; Jirí Vyskocil (IICAI, 2007)

Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. - Jirí Vyskocil; Petr Stepánek (MICAI, 2007)

Encoding of Planning Problems and Their Optimizations in Linear Logic. - Lukás Chrpa; Pavel Surynek; Jirí Vyskocil (INAP/WLP, 2007)

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. - Josef Urban; Geoff Sutcliffe; Petr Pudlák; Jirí Vyskocil (IJCAR, 2008)

Automated Proof Compression by Invention of New Definitions. - Jirí Vyskocil; David Stanovský; Josef Urban (LPAR (Dakar), 2010)

MaLeCoP Machine Learning Connection Prover. - Josef Urban; Jirí Vyskocil; Petr Stepánek (TABLEAUX, 2011)

Theorem Proving in Large Formal Mathematics as an Emerging AI Field. - Josef Urban; Jirí Vyskocil (Automated Reasoning and Mathematics, 2013)

Machine Learner for Automated Reasoning 0.4 and 0.5. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (PAAR@IJCAR, 2014)

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil; Herman Geuvers (CICM, 2014)

System Description: E.T. 0.1. - Cezary Kaliszyk; Stephan Schulz 001; Josef Urban; Jirí Vyskocil (CADE, 2015)

Certified Connection Tableaux Proofs for HOL Light and TPTP. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (CPP, 2015)

Lemmatization for Stronger Reasoning in Large Theories. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (FroCos, 2015)

Efficient Semantic Features for Automated Reasoning over Large Theories. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (IJCAI, 2015)

Learning to Parse on Aligned Corpora (Rough Diamond). - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (ITP, 2015)

Improving Statistical Linguistic Algorithms for Parsing Mathematics. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (IWIL@LPAR, 2015)

Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (CoRR, 2016)

Automating Formalization by Statistical and Semantic Parsing of Mathematics. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (ITP, 2017)

System Description: Statistical Parsing of Informalized Mizar Formulas. - Cezary Kaliszyk; Josef Urban; Jirí Vyskocil (SYNASC, 2017)

Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering. - Petr Novák; Jirí Vyskocil; Petr Kadera; Lukas Kathrein; Kristof Meixner; Dietmar Winkler 001; Stefan Biffl (ETFA, 2019)

Plan Executor MES: Manufacturing Execution System Combined with a Planner for Industry 4.0 Production Systems. - Petr Novák; Jirí Vyskocil; Petr Kadera (HoloMAS, 2019)

Production Planning with IEC 62264 and PDDL. - Bernhard Wally; Jirí Vyskocil; Petr Novák; Christian Huemer; Radek Sindelár; Petr Kadera; Alexandra Mazak; Manuel Wimmer (INDIN, 2019)

Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL. - Bernhard Wally; Jirí Vyskocil; Petr Novák; Christian Huemer; Radek Sindelár; Petr Kadera; Alexandra Mazak; Manuel Wimmer (IEEE Robotics Autom. Lett., 2019)

Calibrating Industrial Robots with Absolute Position Tracking System. - Petr Novák; Simon Stoszek; Jirí Vyskocil (ETFA, 2020)

Industry 4.0 Asset-based Risk Mitigation for Production Operation. - Dietmar Winkler 001; Petr Novák; Jirí Vyskocil; Kristof Meixner; Stefan Biffl (CASE, 2021)

Improving web user interface element detection using Faster R-CNN. - Jirí Vyskocil; Lukás Picek (CLEF (Working Notes), 2021)

PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections. - Petr Novák; Petr Douda; Jirí Vyskocil; Bernhard Wally (ETFA, 2021)

Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering. - Dietmar Winkler 001; Petr Novák; Kristof Meixner; Jirí Vyskocil; Felix Rinker; Stefan Biffl (ETFA, 2021)

Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems. - Bernhard Wally; Jirí Vyskocil; Petr Novák; Christian Huemer; Radek Sindelár; Petr Kadera; Alexandra Mazak-Huemer; Manuel Wimmer (IEEE Trans Autom. Sci. Eng., 2021)

Feature-Based Multi-Object Tracking With Maximally One Object per Class. - Jan Krejcí; Ondrej Straka; Jirí Vyskocil; Miroslav Jirík; Uta Dahmen (FUSION, 2022)

Infrastructure for spatiotemporal exploration of interregional and international interaction of epidemiological data (DEMO PAPER). - Adam Mertel; Wildan Abdussalam; Jirí Vyskocil; Justin M. Calabrese (SIGSPATIAL/GIS, 2022)

PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems. - Petr Novák; Petr Douda; Petr Kadera; Jirí Vyskocil (SMC, 2022)

VinVL+L: Enriching Visual Representation with Location Context in VQA. - Jirí Vyskocil; Lukás Picek (CVWW, 2023)

Where2Test Website Backend. - Adam Mertel; Jirí Vyskocil; Mansoor Davoodi Monfared; Wildan Abdussalam (RODARE, 2023)

Towards Zero-Shot Camera Trap Image Categorization. - Jirí Vyskocil; Lukás Picek (ECCV Workshops (2), 2024)