2023
| Jakub Dokoupil, Pavel Václavek Recursive Identification of Time-Varying Hammerstein Systems With Matrix Forgetting IEEE Transactions on Automatic Control, 2023 | |
| Jiří Vyskočil, Petr Douda, Petr Novák and Bernhard Wally A Digital Twin-Based Distributed Manufacturing Execution System for Industry 4.0 with AI-Powered On-The-Fly Replanning Capabilities Sustainability, 2023 | |
| Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk Experiments on Infinite Model Finding in SMT Solving EPiC Series in Computing, 2023 | |
| David Herel, Tomas Mikolov Advancing State of the Art in Language Modeling arXiv preprint 2023 | |
| David Herel, Hugo Cisneros, Tomas Mikolov Preserving Semantics in Textual Adversarial Attacks ECAI 2023 | |
| Varun Burde, David Martinez Lema, Vit Zeman, Lars Kahlert, Tomas Jochman, Pavel Burget Automatic Workspace Calibration Using Homography for Pick and Place. IEEE International Conference on Automation Science and Engineering (CASE) 2023. | |
| Jonathan Ventura, Zuzana Kukelova, Torsten Sattler, Daniel Barath P1AC: Revisiting Absolute Pose From a Single Affine Correspondence. International Conference on Computer Vision (ICCV) 2023. | |
| P. Orvalho, J. Piepenbrock, M. Janota, V. Manquinho Graph Neural Networks For Mapping Variables Between Programs, ECAI 2023 | |
| Kunal Chelani, Torsten Sattler, Fredrik Kahl, Zuzana Kukelova Privacy-Preserving Representations Are Not Enough: Recovering Scene Content From Camera Poses, IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2023 | |
| Pavel Hradecky, Vojtech Janu, Pavel Burget, Tomas Jochman, Tilman Becker Description and Evaluation of Production Goals, 22nd IFAC World Congress 2023 | |
| Filip Bártek, Martin Suda How Much Should This Symbol Weigh? A GNN-Advised Clause Selection, 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning – LPAR , 2023 | |
| Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban MizAR 60 for Mizar 50, Fourteenth Conference on Interactive Theorem Proving – ITP, 2023 | |
| M. Janota, A. Morgado, P. Vojtěchovský Computing Generating Sets of Minimal Size in Finite Algebras, Journal of Symbolic Computation, 2023 | |
| J. Hůla, D. Adamczyk, M. Janota Fast Heuristic for Ricochet Robots, In: Proceedings of the ICAART-23, 2023 | |
| S Bhayani, V Larsson, T Sattler, J Heikkila, Z Kukelova Partially calibrated semi-generalized pose from hybrid point correspondences. IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2023. |
2022
| David Herel, Dominika Zogatova, Matej Kripner, Tomas Mikolov Emergence of Novelty in Evolutionary Algorithms ALIFE 2022: The 2022 Conference on Artificial Life | |
| Ali Kanso, Xiaomei XU, Khansa Rekik, Rainer Müller A Concept to solve Bin Picking problem in the robotics based on CAD Model and Measurement data, 10th International Conference on Systems and Control 2022 | |
| Gajjar, N. K., Rekik, K., Kanso, A., & Müller, R. Human intention and workspace recognition for collaborative assembly, IFAC-PapersOnLine, 2022 | |
| Barbora Hudcová, Tomáš Mikolov Classification of Discrete Dynamical Systems Based on Transients, Artificial Life 2021 | |
| Caspar Jacob, Fabio Espinosa, Andreas Luxenburger, Dieter Merkel, Jonas Mohr, Tim Schwartz, Nishant Gajjar and Khansa Rekik Digital Twins for Distributed Collaborative Work in Shared Production, IEEE International Conference on Artificial Intelligence & Virtual Reality, 2022 | |
| M. Janota, J. Piepenbrock, B. Piotrowski: Towards Learning Quantifier Instantiation in SMT, In: Proceedings of the 25th SAT International Conference on Theory and Applications of Satisfiability Testing, 2022. | |
| F. Marques, A. Morgado, J. Fragoso Santos, M. Janota: TestSelector: Automatic Test Suite Selection for Student Projects,In: Proceedings of the 22nd International Conference on Runtime Verification, 2022 | |
| J. Hůla, J. Jakubův, M. Janota, and L. Kubej: Targeted Configuration of an SMT Solver, In: Proceedings of the 15TH CICM Conferences on Intelligent Computer Mathematics 2022, 2022 | |
| J. Araújo, C. Chow, M. Janota: Boosting Isomorphic Model Filtering with Invariants, CONSTRAINTS, 2022 | |
| M. Cabral, M. Janota, and V. Manquinho: SAT-based Leximax Optimisation Algorithms, In: Proceedings of the 25th SAT International Conference on Theory and Applications of Satisfiability Testing, 2022. | |
| C. E. Brown, M. Janota, and C. Kaliszyk: Challenges and Solutions for Higher-Order SMT Proofs, In: Proceedings of the 20TH SMT, 2022 | |
| M Suda: Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description). IJCAR 2022: 659-667 Lecture Notes in Computer Science(), vol 13385. Springer, Cham. DOI 10.1007/978-3-031-10769-6_38 | |
| Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger: Reuse of Introduced Symbols in Automatic Theorem Provers. PAAR’22: 8th Workshop on Practical Aspects of Automated Reasoning, August 11–12, 2022. | |
| Z Yu, S Peng, M Niemeyer, T Sattler, A Geiger MonoSDF: Exploring Monocular Geometric Cues for Neural Implicit Surface Reconstruction. 2022 Conference on Neural Information Processing Systems NeurIPS | |
| J Kulhánek, E Derner, T Sattler, R Babuska ViewFormer: NeRF-free Neural Rendering from Few Images Using Transformers. European Conference on Computer Vision (ECCV), 2022. | |
| V Panek, Z Kuikelova, T Sattler MeshLoc: Mesh-Based Visual Localization. European Conference on Computer Vision (ECCV), 2022. | |
| A Adam, T Sattler, K Karantzalos, T Pajdla Objects Can Move: 3D Change Detection by Geometric Transformation Consistency. European Conference on Computer Vision (ECCV), 2022. | |
| M Humenberger, Y Cabon, N Pion, P Weinzaepfel, D Lee, N Guérin, T Sattler, G Csurka Investigating the Role of Image Retrieval for Visual Localization. International Journal of Computer Vision. | |
| G Berton, R Mereu, G Trivigno, C Masone, G Csurka, T Sattler, B Caputo Deep Visual Geo-Localization Benchmark. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) |
2021
| Kunz, J.; Fialka, J.; Pikula, S.; Beneš, P.; Krejcí, J.; Klusácek, S.; Havránek, Z. A New Method to Perform Direct Efficiency Measurement and Power Flow Analysis in Vibration Energy Harvesters. SENSORS, 2021, vol. 21, no. 7, p. 1-19. ISSN: 1424-8220. | |
| M Janota, et al.: Fair and Adventurous Enumeration of Quantifier Instantiations. In: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021. 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, Yale, 2021-10-20/2021-10-22. Wien: TU Wien, 2021. p. 256-260. Conference Series: Formal Methods in Computer-Aided Design. ISBN 978-3-85448-046-4. DOI 10.34727/2021/isbn.978-3-85448-046-4_35 | |
| J Araújo, Ch Chow, M Janota: Filtering Isomorphic Models by Invariants. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). The 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, 2021-10-25/2021-10-29. Saarbrücken: Dagstuhl Publishing,, 2021. p. 1-9. vol. 210. ISSN 1868-8969. ISBN 978-3-95977-211-2. DOI 10.4230/LIPIcs.CP.2021.4 | |
| M Janota, A Morgado, J S Fragoso, V Manquinho: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). The 27th International Conference on Principles and Practice of Constraint Programming, Montpellier, 2021-10-25/2021-10-29. Saarbrücken: Dagstuhl Publishing,, 2021. p. 1-16. vol. 210. ISSN 1868-8969. ISBN 978-3-95977-211-2. DOI 10.4230/LIPIcs.CP.2021.31 | |
| J Hůla, D Mojžíšek, M Janota: Graph Neural Networks for Scheduling of SMT Solvers. In: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI). The 33rd IEEE International Conference on Tools with Artificial Intelligence, Washington, 2021-11-01/2021-11-03. Los Alamitos: IEEE Computer Society, 2021. p. 447-451. ISSN 2375-0197. ISBN 978-1-6654-0898-1. DOI 10.1109/ICTAI52525.2021.00072 | |
| J Jakubův, M Janota, A Reynolds: Characteristic Subsets of SMT-LIB Benchmarks. In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021). 19th International Workshop on Satisfiability Modulo Theories, Los Angeles, 2021-07-18/2021-07-19. Aachen: CEUR Workshop Proceedings, 2021. p. 53-63. vol. 2908. ISSN 1613-0073. | |
| C E Brown, M Janota: First-Order Instantiation using Discriminating Terms. In: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021). 19th International Workshop on Satisfiability Modulo Theories, Los Angeles, 2021-07-18/2021-07-19. Aachen: CEUR Workshop Proceedings, 2021. p. 17-22. vol. 2908. ISSN 1613-0073. | |
| M. Cabral, M. Janota, and V. Manquinho: How to Approximate Leximax-optimal Solutions, In: Proceedings of the 12th POS, 2021. | |
| J Koehler; J Bürgler; U Fontana; E Fux; F A. Herzog; M Pouly; S Saller; A Salyaeva; P Scheiblechner; K Waelti Cable tree wiring – benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints, Constraints, 2021 | |
| Mikolov, T., Hudcova, B. Computational Hierarchy of Elementary Cellular Automata, 2021 | |
| Michal Skalsky; Jiri Fialka; Ladislav Kopecny; Zdenek Havranek Scale-Factor Stability Control Technique for Closed-Loop All-Fiber Interferometric Optical Gyroscope, International Symposium on Inertial Sensors and Systems (INERTIAL), 2021 | |
| M Suda: Vampire with a Brain Is a Good ITP Hammer. In: Frontiers of Combining Systems. 13th International Symposium, FroCoS 2021, Birmingham, 2021-09-08/2021-09-10. Cham: Springer, 2021. p. 192-209. 1. ISSN 0302-9743. ISBN 978-3-030-86204-6. DOI 10.1007/978-3-030-86205-3_11 | |
| N Froleyks, M Heule, M Iser, M Järvisalo, M Suda: SAT Competition 2020. Artificial Intelligence. 2021, 301 ISSN 0004-3702. DOI 10.1016/j.artint.2021.103572 | |
| M Suda: Improving ENIGMA-style Clause Selection while Learning From History. In: Automated Deduction – CADE 28. 28th International Conference on Automated Deduction, Pittsburgh, 2021-07-12/2021-07-15. Springer, Cham, 2021. p. 543-561. Lecture Notes in Artificial Intelligence. vol. 12699. ISSN 0302-9743. ISBN 978-3-030-79875-8. DOI 10.1007/978-3-030-79876-5_31 | |
| F Bártek, M Suda: Neural Precedence Recommender. In: Automated Deduction – CADE 28. 28th International Conference on Automated Deduction, Pittsburgh, 2021-07-12/2021-07-15. Springer, Cham, p. 525-542. Lecture Notes in Artificial Intelligence. vol. 12699. ISSN 1611-3349. ISBN 978-3-030-79876-5. DOI 10.1007/978-3-030-79876-5_30 | |
| A Jafarzadeh, M López Antequera, P Gargallo, Y Kuang, C Toft, F Kahl, T Sattler: CrowdDriven: A New Challenging Dataset for Outdoor Visual Localization IEEE International Conference on Computer Vision (ICCV) (2021) | |
| S Bhayani, T Sattler, D Barath, P Beliansky, J Heikkila, Z Kukelova: Calibrated and Partially Calibrated Semi-Generalized Homographies IEEE International Conference on Computer Vision (ICCV) (2021) | |
| E Brachmann, M Humenberger, C Rother, T Sattler: On the Limits of Pseudo Ground Truth in Visual Camera Re-localisation IEEE International Conference on Computer Vision (ICCV) (2021) | |
| V Guzov, A Mir, T Sattler, G Pons-Moll: Human POSEitioning System (HPS): 3D Human Pose Estimation and Self-localization in Large Scenes from Body-Mounted Sensors IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2021) (oral, best paper candidate) | |
| P-E Sarlin, A Unagar, M Larsson, H Germain, C Toft, V Larsson, M Pollefeys, V Lepetit, L Hammarstrand, F Kahl, T Sattler: Back to the Feature: Learning Robust Camera Localization from Pixels to Pose IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2021) | |
| K Chelani, F Kahl, T Sattler: How Privacy-Preserving are Line Clouds? Recovering Scene Details from 3D Lines IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2021) (oral) | |
| Q Zhou, T Sattler, L Leal-Taixe: Patch2Pix: Epipolar-Guided Pixel-Level Correspondences IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2021) | |
| J Glos, L Otava, P Václavek Non-Linear Model Predictive Control of Cabin Temperature and Air Quality in Fully Electric Vehicles, IEEE Transactions on Vehicular Technology ( Volume: 70, Issue: 2, Feb. 2021 |
2020
| A Sunegard, L Svensson, T Sattler: Deep LiDAR localization using optical flow sensor-map correspondences IEEE International Conference on 3D Vision (3DV) (2020) | |
| E Stenborg, T Sattler, L Hammarstrand: Using Image Sequences for Long-Term Visual Localization IEEE International Conference on 3D Vision (3DV) (2020) | |
| N Pion, M Humenberger, G Csurka, Y Cabon, T Sattler: Benchmarking Image Retrieval for Visual Localization IEEE International Conference on 3D Vision (3DV) (2020) | |
| Z Zhang, T Sattler, D Scaramuzza: Reference Pose Generation for Long-term Visual Localization via Learned Features and View Synthesis, International Journal of Computer Vision, Special Issue on Performance Evaluation in Computer Vision, 2020. |