| 2024 | ECCV | Towards Zero-Shot Camera Trap Image Categorization. | Jir Vyskocil, Luks Picek |
| 2022 | FUSION | Feature-Based Multi-Object Tracking With Maximally One Object per Class. | Jan Krejc, Ondrej Straka, Jir Vyskocil, Miroslav Jirk, Uta Dahmen |
| 2022 | SMC | PyMES: Distributed Manufacturing Execution System for Flexible Industry 4.0 Cyber-Physical Production Systems. | Petr Novk, Petr Douda, Petr Kadera, Jir Vyskocil |
| 2021 | ETFA | PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections. | Petr Novk, Petr Douda, Jir Vyskocil, Bernhard Wally |
| 2021 | ETFA | Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering. | Dietmar Winkler, Petr Novk, Kristof Meixner, Jir Vyskocil, Felix Rinker, Stefan Biffl |
| 2020 | ETFA | Calibrating Industrial Robots with Absolute Position Tracking System. | Petr Novk, Simon Stoszek, Jir Vyskocil |
| 2019 | ETFA | Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering. | Petr Novk, Jir Vyskocil, Petr Kadera, Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Stefan Biffl |
| 2019 | INDIN | Production Planning with IEC 62264 and PDDL. | Bernhard Wally, Jir Vyskocil, Petr Novk, Christian Huemer, Radek Sindelr, Petr Kadera, Alexandra Mazak, Manuel Wimmer |
| 2017 | ITP | Automating Formalization by Statistical and Semantic Parsing of Mathematics. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2017 | SYNASC | System Description: Statistical Parsing of Informalized Mizar Formulas. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2015 | CADE | System Description: E.T. 0.1. | Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jir Vyskocil |
| 2015 | CPP | Certified Connection Tableaux Proofs for HOL Light and TPTP. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2015 | IJCAI | Efficient Semantic Features for Automated Reasoning over Large Theories. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2015 | ITP | Learning to Parse on Aligned Corpora (Rough Diamond). | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2015 | LPAR | Improving Statistical Linguistic Algorithms for Parsing Mathematics. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2014 | CADE | Machine Learner for Automated Reasoning 0.4 and 0.5. | Cezary Kaliszyk, Josef Urban, Jir Vyskocil |
| 2011 | TABLEAUX | MaLeCoP Machine Learning Connection Prover. | Josef Urban, Jir Vyskocil, Petr Stepnek |
| 2010 | LPAR | Automated Proof Compression by Invention of New Definitions. | Jir Vyskocil, David Stanovsk, Josef Urban |
| 2008 | CADE | MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. | Josef Urban, Geoff Sutcliffe, Petr Pudlk, Jir Vyskocil |