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
  • [fragment książki, 2012]
  • TytułCCL sim – the simulation environment for concurrent systems
    AutorzyKonrad KUŁAKOWSKI
    ŹródłoDependability in complex system modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2012. — S. 69–84
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [artykuł w czasopiśmie, 2012]
  • TytułConcurrent systems modeling with CCL
    AutorzyKonrad KUŁAKOWSKI
    ŹródłoAutomatyka. — 2012 vol. 16 no. 2, s. 115–125. — 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
  • [referat, 2012]
  • TytułModeling robot behavior with CCL
    AutorzyKonrad KUŁAKOWSKI, Tomasz SZMUC
    ŹródłoSimulation, 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. — S. 40–51
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: