Radek Kocí

According to our database, Radek Kocí authored at least 22 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Comparing Variable Handling Strategies in BDI Agents: Experimental Study.

Frantisek Vidensky, Frantisek Zboril, Jan Beran, Radek Kocí, Frantisek Vítezslav Zboril

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings.

Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

Late Bindings in AgentSpeak(L).

Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2020

Database Concept for Transcription of Registry Records into Digital Form.

Radek Kocí, Jaroslav Rozman, Frantisek Zboril Jr.

Proceedings of the ICSIM '20: The 3rd International Conference on Software Engineering and Information Management, 2020

2018

Algorithmic Creation of Genealogical Models.

Frantisek Zboril, Jaroslav Rozman, Radek Kocí

Proceedings of the Intelligent Systems Design and Applications, 2018

2015

Dynamic Software Architecture for Distributed Embedded Control Systems.

Tomas Richta, Vladimír Janousek, Radek Kocí

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2013

Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.

Tomas Richta, Vladimír Janousek, Radek Kocí

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

JADE agents used for Wireless Sensors control: System based on services.

Jakub Zak, Jan Horácek, Frantisek Zboril, Radek Kocí, Jirí Král

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study.

Radek Kocí, Vladimír Janousek

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

Integrating multiple modeling and development tools for realization of distributed intelligent system.

Radek Kocí, Frantisek Zboril, Jakub Zak

Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

OOPN and DEVS Formalisms for System Specification and Analysis.

Radek Kocí, Vladimír Janousek

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

Framework for model-based design of multi-agent systems.

Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal

Int. J. Auton. Comput., 2009

Modelling intelligent agents for autonomic computing in the PNagent framework.

Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.

Int. J. Auton. Comput., 2009

Towards Simulation-Based Design of the Software Systems.

Radek Kocí, Vladimír Janousek

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Simulation Based Design of Control Systems Using DEVS and Petri Nets.

Radek Kocí, Vladimír Janousek

Proceedings of the Computer Aided Systems Theory, 2009

2008

Reactive Planning with Weak Plan Instances.

Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets.

Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril

Proceedings of the Eighth International Conference on Intelligent Systems Design and Applications, 2008

System Design with Object Oriented Petri Nets Formalism.

Radek Kocí, Vladimír Janousek

Proceedings of the Third International Conference on Software Engineering Advances, 2008

T-Mass v.2, State of the Art.

Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal

Proceedings of the EMS 2008, 2008

Object Oriented Petri Nets - Modelling Techniques Case Study.

Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.

Proceedings of the EMS 2008, 2008

2007

Intention Structures Modelling Using Object Oriented Petri Nets.

Frantisek Zboril, Radek Kocí

Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007

Modeling Deliberative Agents Using Object Oriented Petri Nets.

Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek

Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007