Radek Kocí

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 5

Top Topics

Software Architecture

Top Venues

PNSE @ Petri Nets

Publications

Frantisek Vidensky, Frantisek Zboril, Jan Beran, Radek Kocí, Frantisek Vítezslav Zboril
Comparing Variable Handling Strategies in BDI Agents: Experimental Study. ICAART (1) (2024)
Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril
Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. ICAART (1) (2023)
Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril
Late Bindings in AgentSpeak(L). ICAART (3) (2022)
Radek Kocí, Jaroslav Rozman, Frantisek Zboril
Database Concept for Transcription of Registry Records into Digital Form. ICSIM (2020)
Frantisek Zboril, Jaroslav Rozman, Radek Kocí
Algorithmic Creation of Genealogical Models. ISDA (2) (2018)
Tomas Richta, Vladimír Janousek, Radek Kocí
Dynamic Software Architecture for Distributed Embedded Control Systems. PNSE @ Petri Nets (2015)
Tomas Richta, Vladimír Janousek, Radek Kocí
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. PNSE+ModPE (2013)
Jakub Zak, Jan Horácek, Frantisek Zboril, Radek Kocí, Jirí Král
JADE agents used for Wireless Sensors control: System based on services. ISDA (2012)
Radek Kocí, Vladimír Janousek
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. PNSE (2012)
Radek Kocí, Vladimír Janousek
OOPN and DEVS Formalisms for System Specification and Analysis. ICSEA (2010)
Radek Kocí, Frantisek Zboril, Jakub Zak
Integrating multiple modeling and development tools for realization of distributed intelligent system. ISDA (2010)
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
Modelling intelligent agents for autonomic computing in the PNagent framework. Int. J. Auton. Comput. 1 (2) (2009)
Radek Kocí, Vladimír Janousek
Towards Simulation-Based Design of the Software Systems. ICSEA (2009)
Radek Kocí, Vladimír Janousek
Simulation Based Design of Control Systems Using DEVS and Petri Nets. EUROCAST (2009)
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal
Framework for model-based design of multi-agent systems. Int. J. Auton. Comput. 1 (2) (2009)
Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal
T-Mass v.2, State of the Art. EMS (2008)
Radek Kocí, Vladimír Janousek
System Design with Object Oriented Petri Nets Formalism. ICSEA (2008)
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal
Reactive Planning with Weak Plan Instances. ISDA (1) (2008)
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets. ISDA (2) (2008)
Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
Object Oriented Petri Nets — Modelling Techniques Case Study. EMS (2008)
Frantisek Zboril, Radek Kocí
Intention Structures Modelling Using Object Oriented Petri Nets. ISDA (2007)
Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek
Modeling Deliberative Agents Using Object Oriented Petri Nets. ISDA (2007)