Výsledky vyhľadávania
Názov Modeling multi agent system with alternating transition systems Autor Oravec V. SAVINFO - Ústav informatiky SAV Spoluautori Fogel Jaroslav 1945- Zdroj.dok. / Kozák Štefan ; Rosinová Danica Medzinárodná konferencia Kybernetika a informatika : zborník príspevkov. s. 171-178. - Bratislava : Slovenská spoločnosť pre kybernetiku a informatiku, 2005 ; Medzinárodná konferencia kybernetika a informatika Kategória AED - Vedecké práce v domácich recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2005 Názov Multi-agent strategic decision making in the game with incomplete information Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Zdroj.dok. / Krejčí Stanislav Proceedings: the 6th International Scientific-Technical Conference Process Control : Říp 2004. s.188. - Pardubice : University of Pardubice, 2004 ; 6th International Scientific-Technical Conference Process Control 2004 Říp 2004 Kategória AEC - Vedecké práce v zahraničných recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2004 Názov Verification of real-time control programs Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Zdroj.dok. Kybernetika a informatika. (2002), S. 73-74 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Kategória AED - Vedecké práce v domácich recenzovaných vedeckých zborníkoch (aj konferenčných), monografiách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2002 Názov Syntéza riadenia diskrétnych výrobných procesov pomocou časových konečných automatov Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Akcia Konferencia s medzinárodnou účasťou Kybernetika a informatika. SSKI 2001 : 5.-6. apríla 2001 : Piešťany Zdroj.dok. Zborník abstraktov. Kybernetika a informatika 2001 : SSKI 2001. p. 93-94. - Bratislava : SSKI, 2001 Kategória AFH - Abstrakty príspevkov z domácich konferencií Rok vykazovania 2001 Názov Control synthesis of discrete manufacturing systems using timed finite automata Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Zdroj.dok. Advances in Signal Processing, Robotics and Communications : Electrical and Computer Engineering Series. P. 276-280. - USA : WSES Press, 2001 Kategória ABC - Kapitoly vo vedeckých monografiách vydané v zahraničných vydavateľstvách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 2001 Názov A survey of verification techniques for solving the state explosion problem Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Akcia IFAC Conference Control Systems Design : 18-20 June 2000 : Bratislava Zdroj.dok. Preprints of the IFAC Conference Control Systems Design. p. 366-371. - Bratislava, 2000 Kategória AFJ - Preprinty vedeckých prác vydané v domácich vydavateľstvách Rok vykazovania 2000 Názov Modelling and Simulation Tool of Discrete event systems Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Spoluautori Sebestyénová Jolana 1951- SAVINFO - Ústav informatiky SAV Zdroj.dok. Research Advances in Cybernetics. Chapter 3, P. 59-78 / Britaňák Vladimír 1954-2020 ; Frankovič Baltazár 1927-2008 ; Sloboda Fridrich 1942-. - Košice : ELFA Publishing House, 2000 Kategória ABD - Kapitoly vo vedeckých monografiách vydané v domácich vydavateľstvách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 2000 Názov Solution of job shop scheduling problem in multi part production system Autor Frankovič Baltazár 1927-2008 SAVINFO - Ústav informatiky SAV Spoluautori Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Akcia IFAC. Second Conference on Management and Control of Production and logistics : July 5-8, 2000 : Grenoble, France Zdroj.dok. IFAC.Second Conference on Management and Control of Production and Logistics. P. 42. - Grenoble,France, 2000 Kategória AFE - Abstrakty pozvaných príspevkov zo zahraničných konferencií Rok vykazovania 2000 Názov A statecharts approach to the modelling and simulation of discrete manufacturing systems : Kap.1.5 Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Zdroj.dok. Trends in control theory and applications. P. 33-43 / Frankovič Baltazár 1927-2008. - Bratislava : VEDA-Publishing House of the Slovak Academy of Sciences, 1999 Kategória ABD - Kapitoly vo vedeckých monografiách vydané v domácich vydavateľstvách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 1999 Názov Control logic specification for distributed manufacturing systems Autor Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Akcia 1st Seminar Slovak-Austrian automation`s days ( 1st : 12.-13.3.1999 : Smolenice ) Zdroj.dok. 1st Seminar Slovak-Austrian automation's days. P. 50-53 / Frankovič Baltazár 1927-2008. - Smolenice,Slovak Republik : Slovak Academy of Sciences, Institute of Control theory and Robotics, 1999 Kategória AFC - Publikované príspevky na zahraničných vedeckých konferenciách Rok vykazovania 1999