Department of Intelligent Systems

2025

  • ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek and ZBOŘIL František V. Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling. Lecture Notes in Artificial Intelligence, 2025. ISSN 1611-3349. Detail
  • VÍDEŇSKÝ František, ZBOŘIL František and VEIGEND Petr. Integrating Late Variable Binding with SP-MCTS for Efficient Plan Execution in BDI Agents. In: 2025. Detail
  • ABDULLA Parosh A., CHEN Yo-ga, CHEN Yu-Fang, HOLÍK Lukáš, LENGÁL Ondřej, LIN Jyun-ao, LO Fang-yi and TSAI Wei-lun. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, vol. 9, no. 1, 2025, p. 31. ISSN 2475-1421. Detail

2024

  • HELFRICH Martin, ANDRIUSHCHENKO Roman, ČEŠKA Milan, KŘETÍNSKÝ Jan, MARTIČEK Štefan and ŠAFRÁNEK David. Abstraction-based segmental simulation of reaction networks using adaptive memoization. BMC Bioinformatics, vol. 25, no. 1, 2024, pp. 1-24. ISSN 1471-2105. Detail
  • CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára and LENGÁL Ondřej. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. ISBN 979-8-4007-1077-3. Detail
  • HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024, pp. 42-67. ISSN 0302-9743. Detail
  • VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek and ZBOŘIL František V. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024, pp. 25-36. ISBN 978-989-758-680-4. Detail
  • MALINKA Kamil, FIRC Anton, ŠALKO Milan, PRUDKÝ Daniel, RADAČOVSKÁ Karolína and HANÁČEK Petr. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. Eurasip Journal on Image and Video Processing, vol. 2024, no. 1, pp. 1-25. ISSN 1687-5281. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and SÍČ Juraj. Cooking String-Integer Conversions with Noodles. In: Proceedings of SAT'24. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, pp. 1-19. ISSN 1868-8969. Detail
  • DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol. 14570. Cham: Springer Nature Switzerland AG, 2024, pp. 188-206. ISBN 978-3-031-57245-6. Detail
  • FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfake Speech Detection: A Spectrogram Analysis. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1312-1320. ISBN 979-8-4007-0243-3. Detail
  • MALINKA Kamil and FIRC Anton. Deepfakes: příležitost, nebo hrozba?. Proč se nebát umělé inteligence?. Praha: Nakladatelství JOTA, s.r.o., 2024, pp. 271-283. ISBN 978-80-7689-459-4. Detail
  • ANNA Polánecká, BALÁŽ Teodor, KOLÁŘ Dušan, NOVÁČKOVÁ Kateřina and RYDLO Štěpán. Detection of Laser Beams Aimed at Aircraft in Flight. In: 2024 New Trends in Civil Aviation (NTCA). Praha, 2024, pp. 119-124. ISBN 978-80-01-07182-3. Detail
  • FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In: 2024 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: GI - Group for computer science, 2024, pp. 1-7. ISBN 978-3-88579-749-4. Detail
  • URBANOVÁ Petra, GOLDMANN Tomáš, ČERNÝ Dominik and DRAHANSKÝ Martin. Head Poses and Grimaces: Challenges for automated face identification algorithms?. Science & Justice, vol. 64, no. 4, 2024, pp. 421-442. ISSN 1355-0306. Detail
  • MALINKA Kamil. ChatGPT in education - year after. Have the catastrophic scenarios come true?. Book of Abstracts SCITEED 2024. Oludeniz, 2024. Detail
  • FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, pp. 130-151. ISSN 0302-9743. Detail
  • VEIGEND Petr and ŠÁTEK Václav. Non-linear control using the numerical method based on the Taylor series. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail
  • NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel numerical solution of PDEs using Taylor series method. Soláň, 2024. Detail
  • NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel solution of parabolic partial differential equation using higher-order method. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail
  • ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian and MACÁK Filip. Policies Grow on Trees: Model Checking Families of MDPs. In: Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2024, p. 13. Detail
  • MALINKA Kamil, FIRC Anton, KAŠKA Petr, LAPŠANSKÝ Tomáš, ŠANDOR Oskar and HOMOLIAK Ivan. Resilience of Voice Assistants to Synthetic Speech. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bydgoszcz: Springer Nature Switzerland AG, 2024, pp. 66-84. ISBN 978-3-031-70878-7. Detail
  • KOZÁK David, STANCU Codrut, WIMMER Christian and WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, pp. 990-1013. ISSN 2475-1421. Detail
  • ŠALKO Milan, FIRC Anton and MALINKA Kamil. Security Implications of Deepfakes in Face Authentication. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1376-1384. ISBN 979-8-4007-0243-3. Detail
  • ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David and LAMBARIA Noah. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024, pp. 12-22. ISBN 979-8-3503-3066-3. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, vol. 14, no. 1, 2024, pp. 1-15. ISSN 2299-1093. Detail
  • HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina and ŠÁTEK Václav. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, vol. 2024, no. 216, pp. 145-167. ISSN 0378-4754. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Taylor series based numerical integration method for solution of nonlinear problems with division. In: 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024, pp. 432-437. ISBN 979-8-3503-8766-7. Detail
  • MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Array-Manipulating Programs. In: Taming the Infinities of Concurrency . Lecture Notes in Computer Science, vol. 14660. Cham: Springer Nature Switzerland AG, 2024, pp. 206-224. ISBN 978-3-031-56221-1. Detail
  • KOUTENSKÝ Michal, VESELÝ Vladimír, PEREŠÍNI Martin, DOLEJŠKA Daniel and PLUSKAL Jan. Using Blockchain to Secure Passenger Name Records and Effectively Protect Citizen Rights. In: 2024 6th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). Berlin, 2024, pp. 1-10. Detail
  • MALINKA Kamil, FIRC Anton, LOUTOCKÝ Pavel, VOSTOUPAL Jakub, KRIŠTOFÍK Andrej and KASL František. Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report. In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. New York, NY, USA: Association for Computing Machinery, 2024, pp. 227-233. ISBN 979-8-4007-0600-4. Detail
  • GOLDSCHMIDT Patrik and KUČERA Jan. Windower: Feature Extraction for Real-Time DDoS Detection Using Machine Learning. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul: Institute of Electrical and Electronics Engineers, 2024, pp. 1-10. ISBN 979-8-3503-2793-9. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Lecture Notes. Luxembourgh: Springer Verlag, 2024, pp. 24-33. ISSN 0302-9743. Detail
Back to top