| 2024 | ICAART | Comparing Variable Handling Strategies in BDI Agents: Experimental Study. | Frantisek Vidensky, Frantisek Zboril, Jan Beran, Radek Koc, Frantisek Vtezslav Zboril |
| 2024 | ICAART | Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling. | Frantisek Vidensky, Frantisek Zboril Jr., Radek Koc, Frantisek Zboril |
| 2023 | ICAART | Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. | Frantisek Vidensky, Frantisek Zboril Jr., Radek Koc, Frantisek Vtezslav Zboril |
| 2022 | ICAART | Late Bindings in AgentSpeak(L). | Frantisek Zboril Jr., Frantisek Vidensky, Radek Koc, Frantisek Vtezslav Zboril |
| 2018 | ISDA | Algorithmic Creation of Genealogical Models. | Frantisek Zboril, Jaroslav Rozman, Radek Koc |
| 2012 | ISDA | JADE agents used for Wireless Sensors control: System based on services. | Jakub Zak, Jan Horcek, Frantisek Zboril, Radek Koc, Jir Krl |
| 2010 | ICSEA | OOPN and DEVS Formalisms for System Specification and Analysis. | Radek Koc, Vladimr Janousek |
| 2010 | ISDA | Integrating multiple modeling and development tools for realization of distributed intelligent system. | Radek Koc, Frantisek Zboril, Jakub Zak |
| 2009 | ICSEA | Towards Simulation-Based Design of the Software Systems. | Radek Koc, Vladimr Janousek |
| 2008 | ICSEA | System Design with Object Oriented Petri Nets Formalism. | Radek Koc, Vladimr Janousek |
| 2008 | ISDA | PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. | Zdenek Mazal, Radek Koc, Vladimr Janousek, Frantisek Zboril |
| 2008 | ISDA | Reactive Planning with Weak Plan Instances. | Frantisek Zboril Jr., Vladimr Janousek, Radek Koc, Zdenek Mazal |
| 2007 | ISDA | Modeling Deliberative Agents Using Object Oriented Petri Nets. | Radek Koc, Zdenek Mazal, Frantisek Zboril, Vladimr Janousek |
| 2007 | ISDA | Intention Structures Modelling Using Object Oriented Petri Nets. | Frantisek Zboril, Radek Koc |