Wykaz publikacji wybranego autora

Konrad Kułakowski, dr hab., prof. AGH

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2020

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

    [dyscyplina 2] dziedzina nauk ścisłych i przyrodniczych / informatyka (25%)


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-2857-0916 orcid iD

ResearcherID: C-1784-2013

Scopus: 15769758100

PBN: 5e709223878c28a047390740

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • CCL sim – the simulation environment for concurrent systems / Konrad KUŁAKOWSKI // W: Dependability in complex system modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2012. — (Monographs of System Dependability ; vol. 5). — ISBN: 978-83-7493-584-5. — S. 69–84. — Bibliogr. s. 83–84

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Concurrent systems modeling with CCLModelowanie systemu w CCL / Konrad KUŁAKOWSKI // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2012 vol. 16 no. 2, s. 115–125. — Bibliogr. s. 124–125, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.115.pdf

  • słowa kluczowe: DFD, inżynieria oprogramowania, metody formalne, eksplozja stanów, CCL

    keywords: CCL, DFD, software engineering, formal methods, state explosion problem

    cyfrowy identyfikator dokumentu:

3
  • Modeling robot behavior with CCL / Konrad KUŁAKOWSKI, Tomasz SZMUC // W: Simulation, modelling, and programming for autonomous robots : third international conference, SIMPAR 2012 : Tsukuba, Japan, November 5–8, 2012 : proceedings / eds. Itsuki Noda, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 7628. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-34326-1. — S. 40–51

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: