Výsledky vyhľadávania

Nájdených záznamov: 5  
Váš dotaz: Autor-kód záznamu = "^sav_un_auth 0000314^"
  1. NázovProceedings Seventh International Conference on Application of Concurrency to System Design : ACSD 2007
    Ďalší autori Basten Twan
    Juhás Gabriel 1969-
    Shukla Sandeep
    AkciaInternational Conference on Application of Concurrency to System Design. ACSD 2007 ( Seventh : July 10-13, 2007 : Bratislava )
    Vyd.údajeLos Alamitos, California : IEEE Computer Society , 2007
    KategóriaFAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...)
    Rok vykazovania2007
    Odkazy (1) Publikačná činnosť SAV - články
    kniha

    kniha

  2. NázovLecture 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.údajeBerlin : Springer , 2001. - 485 p.
    KategóriaFAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...)
    Rok vykazovania2001
    kniha

    kniha

  3. NázovA 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óriaAFJ - Preprinty vedeckých prác vydané v domácich vydavateľstvách
    Rok vykazovania2000
    článok

    článok

  4. NázovReasoning 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óriaABC - 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ýstupukapitola
    Rok vykazovania1999
    DOI 10.1007/3-540-48745-X_20
    článok

    článok

  5. NázovOn 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óriaADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS
    Rok vykazovania2003
    článok

    článok



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.