Wykaz publikacji wybranego autora

Leszek Kotulski, prof. dr hab.

profesor zwyczajny

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

  • 2018

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

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-0164-0048 orcid iD

ResearcherID: C-8435-2013

Scopus: 22980169200

PBN: 5e70922b878c28a04739116a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
  • [artykuł w czasopiśmie, 2011]
  • TytułAlgorytm scalania diagramów stanu w modelowaniu systemów wbudowanych
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 3, s. 377–388. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_26.pdf

  • słowa kluczowe: systemy wbudowane, Alvis, grafy LTS

    keywords: embedded systems, Alvis, LTS graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

2
  • [monografia, 2015]
  • TytułArchitektury hurtowni danych : model referencyjny i formalny opis architektury
    AutorzyDariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI, Piotr SZWED
    DetailsKraków : Wydawnictwa AGH, 2015. — 186, [1] s.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed, Dariusz Dymek, Wojciech Komnata

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2012]
  • TytułCommunication with environment in Alvis models
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoInternational Journal of Electronics and Telecommunications. — 2012 vol. 58 no. 3, s. 247–254

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

4
5
  • [referat w czasopiśmie, 2014]
  • TytułFederacyjna hurtownia danych w dostępie do informacji poufnej
    AutorzyDariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI
    ŹródłoRoczniki Kolegium Analiz Ekonomicznych. — 2014 z. 33/2014, s. 135–154

  • keywords: data warehouse, confidential information, information exchange

    Zobacz pełny wykaz publikacji Autora/Autorów: Dariusz Dymek, Wojciech Komnata

    cyfrowy identyfikator dokumentu:

6
  • [artykuł w czasopiśmie, 2011]
  • TytułGRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
    AutorzyLeszek KOTULSKI
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 150–151

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
8
  • [fragment książki, 2011]
  • TytułInter-agent communication protocol supporting distributed graph transformations
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoProblems of dependability and modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. — S. 143–156

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

9
  • [artykuł w czasopiśmie, 2011]
  • TytułIntroduction to modelling embedded systems with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2011 t. 15 z. 2, s. 435–442. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

10
  • [referat, 2011]
  • TytułModelling of signals handling with Alvis
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoMIXDES 2011 : mixed design of integrated circuits and systems : 18textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

11
  • [referat, 2007]
  • TytułOn the ability of supporting it audit demands at the modelling level
    AutorzyLeszek KOTULSKI, Mariusz Grabowski, Dariusz Dymek
    ŹródłoProceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 3, Applications of systems analysis to technical systems ; Applications of systems analysis to non-technical systems ; Applications of systems analysis to biomedical systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — S. 326–333

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • [fragment książki, 2010]
  • TytułOn the control complementary graph replication
    AutorzyLeszek KOTULSKI
    ŹródłoModels and methodology of system dependability / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2010. — S. 83–95

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [fragment książki, 2007]
  • TytułOn the evaluation of the refactoring in UML environment
    AutorzyLeszek KOTULSKI, Dariusz Dymek
    ŹródłoInformation systems architecture and technology : information technology and Web engineering: models, concepts & challenges / eds. Leszek Borzemski [et al.] ; Wrocław University of Technology. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — S. 185–191

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [referat, 2007]
  • TytułOn the load balancing of Business Intelligence Reporting Systems
    AutorzyLeszek KOTULSKI, Dariusz Dymek
    ŹródłoProceedings of the second AIS SIGSAND : European symposium on Systems analysis and design : Gdańsk, June 5, 2007 / ed. Stanisław Wrycza ; University of Gdańsk. Department of Business Informatics. — Gdańsk : Wydawnictwo Uniwersytetu Gdańskiego, 2007. — S. 121–125

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • [artykuł w czasopiśmie, 2007]
  • TytułOn the support UML diagrams understanding during the software maintenance
    AutorzyLeszek KOTULSKI, Artur Basiura
    ŹródłoComputer Methods in Materials Science : quarterly / Akademia Górniczo-Hutnicza. — 2007 vol. 7 no. 3, s. 366–375

  • keywords: UML, image understanding, graph transformation, software visualization

    cyfrowy identyfikator dokumentu:

16
  • [artykuł w czasopiśmie, 2008]
  • TytułParallel allocation of the distributed software using node label controlled graph grammars
    AutorzyLeszek KOTULSKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2008 t. 12 z. 2, s. 321–337. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-02/Auto13.pdf

  • słowa kluczowe: systemy rozproszone, przekształcenia grafowe, akcja programowa

    keywords: distributed computing, graph transformation, allocation control

    cyfrowy identyfikator dokumentu:

17
  • [fragment książki, 2013]
  • TytułProblemy bezpieczeństwa w inteligentnych sieciach energetycznych
    AutorzyLeszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoNowoczesne systemy łączności i transmisji danych na rzecz bezpieczeństwa : szanse i zagrożenia / red. nauk. Andrzej R. Pach, Zbigniew Rau, Michał Wągrowski. — Warszawa : Wolters Kluwer Polska SA, 2013. — S. 518–538

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Igor Wojnicki, Adam Sędziwy, Sebastian Ernst, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

18
  • [monografia, 2013]
  • TytułRozproszone transformacje grafowe : teoria i zastosowania
    AutorzyLeszek KOTULSKI
    DetailsKraków : Wydawnictwa AGH, 2013. — 142, [1] s.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułRównoległe transformacje grafowe – podstawy formalne i zastosowania
    AutorzyLeszek KOTULSKI, Artur BASIURA, Sebastian ERNST, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — S. 65–81

  • słowa kluczowe: gramatyki grafowe, wspomaganie projektowania złożonych systemów, równoległe transformacje grafowe

    keywords: graph grammars, design support of complex systems, parallel graph transformations

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Adam Sędziwy, Sebastian Ernst, Artur Basiura

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_5

20
21
  • [fragment książki, 2009]
  • TytułStructural approach to the designing of the complementary graphs in the GRADIS agent framework
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoRecent advances in Intelligent Information Systems / eds. Mieczysław A. Kłopotek [et al.] ; Polish Academy of Sciences. Institute of Computer Science. — Warsaw : Academic Publishing House EXIT, 2009. — S. 521–529

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

22
  • [referat, 2013]
  • TytułSupporting energy efficiency optimization in lighting design process
    AutorzyLeszek KOTULSKI, Jeroen De Landtsheer, Sven Penninck, Adam SĘDZIWY, Igor WOJNICKI
    ŹródłoLux Europa 2013 : 12textsuperscript{th} European lighting conference : Krakow, 17–19 September 2013. — [Kraków : s. n.], [2013]. — S. 1–11

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Adam Sędziwy

    cyfrowy identyfikator dokumentu:

23
24
  • [fragment książki, 2008]
  • TytułVarious agent strategies in the graph partioninig optimization in the GRADIS framework
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoInformation systems architecture and technology : models of the organisation's risk management / eds. Zofia Wilimowska [et al.] ; Wrocław University of Technology. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2008. — S. 269–279

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

25
  • [artykuł w czasopiśmie, 2009]
  • TytułZastosowanie gramatyk grafowych typu {em double pushout} w środowisku GRADIS
    AutorzyLeszek KOTULSKI, Adam SĘDZIWY
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2009 t. 13 z. 3 [cz.] 1, s. 911–920. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto14.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu: