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
  • A practical approach to the modelling, visualising and executing of reactive systems / M. Kostrzewa, K. KUŁAKOWSKI // W: MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22–24 June 2006 / ed. Andrzej Napieralski. — [Łódź : Technical University of Łódź. Department of Microelectronics and Computer Science], 2006. — ISBN10: 83-922632-1-9. — S. 705–710. — Bibliogr. s. 710, Abstr.. — Toż na CD-ROMie

  • keywords: verification, reactive systems, executable modeling, real time java

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2006.1706676

2
  • Hybrid modeling and verification of Java based software / Konrad KUŁAKOWSKI // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 121–126. — Bibliogr. s. 126, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Modelowanie hybrydowe systemów reaktywnych z wykorzystaniem sieci Petriego i algebry procesów CCS[Hybrid modeling of reactive systems with Petri nets and CCS process algebra] / Konrad KUŁAKOWSKI // W: Systemy informatyczne z ograniczeniami czasowymi : praca zbiorowa / pod red.: Andrzeja Kwietnia, Piotra Gaja. — Warszawa : WKŁ Wydawnictwa Komunikacji i Łączności, 2006. — ISBN: 978-83-206-1612-5 ; ISBN10: 83-206-1612-3. — S. 67–77. — Bibliogr. s. 77

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Wspomaganie tworzenia oprogramowania systemów reaktywnych w Real Time Java[Towards facilitating development of reactive systems software based on Real Time Java] / Konrad KUŁAKOWSKI, Marek Kostrzewa // W: Systemy informatyczne z ograniczeniami czasowymi : praca zbiorowa / pod red.: Andrzeja Kwietnia, Piotra Gaja. — Warszawa : WKŁ Wydawnictwa Komunikacji i Łączności, 2006. — ISBN: 978-83-206-1612-5 ; ISBN10: 83-206-1612-3. — S. 104–114. — Bibliogr. s. 114

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: