Radek Kocí

24 papers C 7Journal 2Unranked 14
YearRankTypeTitle / Venue / Authors
2024 — conf
Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling.
ICAART (Revised Selected Paper, 1)
Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Zboril
2024 — conf
Comparing Variable Handling Strategies in BDI Agents: Experimental Study.
ICAART (1)
Frantisek Vidensky, Frantisek Zboril, Jan Beran, Radek Kocí, Frantisek Vítezslav Zboril
2023 — conf
Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings.
ICAART (1)
Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril
2022 — conf
Late Bindings in AgentSpeak(L).
ICAART (3)
Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril
2020 — conf
Database Concept for Transcription of Registry Records into Digital Form.
ICSIM
Radek Kocí, Jaroslav Rozman, Frantisek Zboril Jr.
2018 — conf
Algorithmic Creation of Genealogical Models.
ISDA (2)
Frantisek Zboril, Jaroslav Rozman, Radek Kocí
2015 — conf
Dynamic Software Architecture for Distributed Embedded Control Systems.
PNSE @ Petri Nets
Tomas Richta, Vladimír Janousek, Radek Kocí
2013 — conf
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.
PNSE+ModPE
Tomas Richta, Vladimír Janousek, Radek Kocí
2012 C conf
JADE agents used for Wireless Sensors control: System based on services.
ISDA
Jakub Zak, Jan Horácek, Frantisek Zboril, Radek Kocí, Jirí Král
2012 — conf
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study.
PNSE
Radek Kocí, Vladimír Janousek
2011 — ed.
Software Engineering Techniques - Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
CEE-SET
Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka
2010 C conf
Integrating multiple modeling and development tools for realization of distributed intelligent system.
ISDA
Radek Kocí, Frantisek Zboril, Jakub Zak
2010 C conf
OOPN and DEVS Formalisms for System Specification and Analysis.
ICSEA
Radek Kocí, Vladimír Janousek
2009 J jnl
Framework for model-based design of multi-agent systems.
Int. J. Auton. Comput.
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Frantisek Zboril, Zdenek Mazal
2009 J jnl
Modelling intelligent agents for autonomic computing in the PNagent framework.
Int. J. Auton. Comput.
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
2009 — conf
Simulation Based Design of Control Systems Using DEVS and Petri Nets.
EUROCAST
Radek Kocí, Vladimír Janousek
2009 C conf
Towards Simulation-Based Design of the Software Systems.
ICSEA
Radek Kocí, Vladimír Janousek
2008 — conf
Object Oriented Petri Nets - Modelling Techniques Case Study.
EMS
Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.
2008 — conf
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets.
ISDA (2)
Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril
2008 — conf
Reactive Planning with Weak Plan Instances.
ISDA (1)
Frantisek Zboril Jr., Vladimír Janousek, Radek Kocí, Zdenek Mazal
2008 C conf
System Design with Object Oriented Petri Nets Formalism.
ICSEA
Radek Kocí, Vladimír Janousek
2008 — conf
T-Mass v.2, State of the Art.
EMS
Frantisek Zboril Jr., Frantisek Zboril, Radek Kocí, Vladimír Janousek, Zdenek Mazal
2007 C conf
Intention Structures Modelling Using Object Oriented Petri Nets.
ISDA
Frantisek Zboril, Radek Kocí
2007 C conf
Modeling Deliberative Agents Using Object Oriented Petri Nets.
ISDA
Radek Kocí, Zdenek Mazal, Frantisek Zboril, Vladimír Janousek