Výsledky vyhľadávania
Názov Proceedings Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 Ďalší autori Basten Twan Juhás Gabriel 1969- Shukla Sandeep Akcia International Conference on Application of Concurrency to System Design. ACSD 2007 ( Seventh : July 10-13, 2007 : Bratislava ) Vyd.údaje Los Alamitos, California : IEEE Computer Society , 2007 Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2007 Odkazy (1) Publikačná činnosť SAV - články Názov Lecture notes in computer science [seriálová monografia] : Unifying Petri Nets. Advances in Petri Nets. Ďalší autori Ehrig H. Juhás Gabriel 1969- SAVINFO - Ústav informatiky SAV Padberg J. Rozenberg G. Vyd.údaje Berlin : Springer , 2001. - 485 p. Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2001 Názov A unified approach to modelling and control of a class of discrete event and hybrid systems via algebraically generalized Petri nets Autor Juhás Gabriel 1969- 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. 349-354. - Bratislava, 2000 Kategória AFJ - Preprinty vedeckých prác vydané v domácich vydavateľstvách Rok vykazovania 2000 Názov Reasoning about algebraic generalisation on Petri nets Autor Juhás Gabriel 1969- SAVINFO - Ústav informatiky SAV Zdroj.dok. Applications and Theory of Petri nets 1999 : Lecture Notes in computer sciences. P. 324-343. - Germany : Springer Verlag, 1999 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 1999 DOI 10.1007/3-540-48745-X_20 Názov On synchronicity and concurrency in Petri nets Autor Juhás Gabriel 1969- SAVINFO - Ústav informatiky SAV Spoluautori Šingliar Tomáš SAVINFO - Ústav informatiky SAV Zdroj.dok. Lecture Notes in Computer Science. No. 2679, s. 357-376 : applications and theory of Petri nets 2003 Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Rok vykazovania 2003