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
  • Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanychAlgorithm of state diagrams merging in embedded systems modeling / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 377–388. — Bibliogr. s. 387–388, Streszcz., Summ.. — 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

    cyfrowy identyfikator dokumentu:

2
  • Architektury hurtowni danych : model referencyjny i formalny opis architektury[Data warehouse architectures : reference model and architecture formed description] / Dariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI, Piotr SZWED. — Kraków : Wydawnictwa AGH, 2015. — 186, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0595). — Bibliogr. s. 182–[187]. — ISBN: 978-83-7464-749-6

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 2081-8491. — Tytuł poprz.: Kwartalnik Elektroniki i Telekomunikacji = Electronics and Telecommunications Quarterly. — 2012 vol. 58 no. 3, s. 247–254. — Bibliogr. s. 254, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Comparison of requirements for vibration-based condition monitoring of a vertical-axis vs. horizontal-axis wind turbinePorównanie wymagań systemu monitorowania i diagnostyki dla turbin wiatrowych o poziomej i pionowej osi / Leszek KOTULSKI, Adam JABŁOŃSKI // Diagnostyka / Polskie Towarzystwo Diagnostyki Technicznej ; ISSN 1641-6414. — 2018 vol. 19 no. 3, s. 95–10. — Bibliogr. s. 100, Abstr., Streszcz.. — Publikacja dostępna online od: 2018-09-03. — tekst: http://www.diagnostyka.net.pl/pdf-94493-28272?filename=Comparison%20of.pdf

    orcid iD
  • słowa kluczowe: drgania, turbiny wiatrowe, ocena stanu technicznego

    keywords: vibrations, condition monitoring, wind turbine

    cyfrowy identyfikator dokumentu: 10.29354/diag/94493

5
  • Federacyjna hurtownia danych w dostępie do informacji poufnejUsing the concept of federated data warehouse for a safe exchange of confidential information / Dariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI // Roczniki Kolegium Analiz Ekonomicznych ; ISSN 1232-4671. — 2014 z. 33/2014, s. 135–154. — Bibliogr. s. 153, Summ.. — Afiliacja autorów: Akademia Górniczo-Hutnicza ; Dariusz Dymek – dod. afiliacja: Akademia Ekonomiczna w Krakowie. — TIAPISZ'13 : Technologie Informatyczne w Administracji Publicznej i Służbie Zdrowia : grudzień 2013, Warszawa

  • keywords: data warehouse, confidential information, information exchange

    cyfrowy identyfikator dokumentu:

6
  • GRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)GRADIS – environment for Distributed Graph Transformation (from the five year perspective) / Leszek KOTULSKI // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 150–151. — Bibliogr. s. 150–151, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Intelligent city lighting supported by graph-based multiagent systemInteligentny system oświetlenia miejskiego wspomagany przez system wieloagentowy oparty na grafach / Adam SĘDZIWY, Leszek KOTULSKI // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 103–114. — Bibliogr. s. 113–114, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.103.pdf

  • słowa kluczowe: graf, inteligentne oświetlenie, system wieloagentowy

    keywords: graph, multi-agent system, intelligent lightning

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.103

8
  • Inter-agent communication protocol supporting distributed graph transformations / Leszek KOTULSKI, Adam SĘDZIWY // W: Problems of dependability and modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. — (Monographs of System Dependability ; vol. 4). — ISBN: 978-83-7493-612-5. — S. 143–156. — Bibliogr. s. 155–156

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Introduction to modelling embedded systems with AlvisWprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — 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

    cyfrowy identyfikator dokumentu:

10
  • Modelling of signals handling with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{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. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 627–631. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 631, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka – dod. afiliacja: Institute of Physics, Jan Kochanowski University, Kielce

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • On the ability of supporting it audit demands at the modelling level / Leszek KOTULSKI, Mariusz Grabowski, Dariusz Dymek // W: Proceedings 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. — ISBN: 978-83-7493-341-4. — S. 326–333. — Bibliogr. s. 333

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • On the control complementary graph replication / Leszek KOTULSKI // W: Models and methodology of system dependability / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2010. — (Monographs of System Dependability ; vol. 1). — ISBN: 978-83-7493-526-5. — S. 83–95. — Bibliogr. s. 94–95. — Afiliacja Autora: Bielska Szkoła Wyższa, Bielsko-Biała, on leaving from AGH University of Science and Technology

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • On the evaluation of the refactoring in UML environment / Leszek KOTULSKI, Dariusz Dymek // W: Information 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. — (Biblioteka Informatyki Szkół Wyższych). — ISBN: 978-83-7493-345-2. — S. 185–191. — Bibliogr. s. 190–191

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • On the load balancing of Business Intelligence Reporting Systems / Leszek KOTULSKI, Dariusz Dymek // W: Proceedings 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. — ISBN: 978-83-7326-447-2. — S. 121–125. — Bibliogr. s. 125, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15
  • On the support UML diagrams understanding during the software maintenanceWsparcie analizy diagramów UML podczas procesu utrzymania systemów informatycznych / Leszek KOTULSKI, Artur Basiura // Computer Methods in Materials Science : quarterly / Akademia Górniczo-Hutnicza ; ISSN 2720-4081. — Tytuł poprz.: Informatyka w Technologii Materiałów ; ISSN: 1641-3948. — 2007 vol. 7 no. 3, s. 366–375. — Bibliogr. s. 374–375, Abstr., Streszcz.

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

    cyfrowy identyfikator dokumentu:

16
  • Parallel allocation of the distributed software using node label controlled graph grammarsRównoległa kontrola alokacji za pomocą gramatyk grafowych typu NLC / Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 2, s. 321–337. — Bibliogr. s. 336—337, Streszcz., Summ.. — 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
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych[Security considerations of smart grid networks] / Leszek KOTULSKI, Sebastian ERNST, Radosław KLIMEK, Rafał MRÓWKA, Adam SĘDZIWY, Igor WOJNICKI // W: Nowoczesne 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. — ISBN: 978-83-264-4255-1. — S. 518–538. — Bibliogr. s. 536–537, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

18
  • Rozproszone transformacje grafowe : teoria i zastosowaniaDistributed graph transformations – theory and practice / Leszek KOTULSKI. — Kraków : Wydawnictwa AGH, 2013. — 142, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0515). — Bibliogr. s. 137–[143], Streszcz., Summ.. — ISBN: 978-83-7464-630-7

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19
  • Równoległe transformacje grafowe – podstawy formalne i zastosowaniaParallel graph transformation - formal background and applications / Leszek KOTULSKI, Artur BASIURA, Sebastian ERNST, Adam SĘDZIWY, Igor WOJNICKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 65–81. — Bibliogr. s. 78–81, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_065.pdf

    orcid iD
  • 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

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

20
  • Stochastyczne metody generacji IE-grafówStochastic methods of IE graphs generation / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 3, s. 853–861. — Bibliogr. s. 861, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto25.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21
  • Structural approach to the designing of the complementary graphs in the GRADIS agent framework / Leszek KOTULSKI, Adam SĘDZIWY // W: Recent 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. — (Computer Science). — ISBN: 978-83-60434-59-8. — S. 521–529. — Bibliogr. s. 529, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
  • Supporting energy efficiency optimization in lighting design process / Leszek KOTULSKI, Jeroen De Landtsheer, Sven Penninck, Adam SĘDZIWY, Igor WOJNICKI // W: Lux Europa 2013 : 12\textsuperscript{th} European lighting conference : Krakow, 17–19 September 2013. — [Kraków : s. n.], [2013] + CD. — S. 1–11. — Bibliogr. s. 11, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • Towards AI-based distributed lighting control systemsW kierunku inteligentnych, rozproszonych systemów sterowania oświetleniem / Igor WOJNICKI, Adam SĘDZIWY, Leszek KOTULSKI // 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. 189–198. — Bibliogr. s. 198, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.189.pdf

  • słowa kluczowe: oświetlenie, LED, reguły, sztuczna inteligencja, graf, hipergraf

    keywords: LED, rules, rule based, AI, graph, hypergraph, lightning

    cyfrowy identyfikator dokumentu:

24
  • Various agent strategies in the graph partioninig optimization in the GRADIS framework / Leszek KOTULSKI, Adam SĘDZIWY // W: Information 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. — (Biblioteka Informatyki Szkół Wyższych = Library of Informatics of University Level Schools). — ISBN: 978-83-7493-413-8. — S. 269–279. — Bibliogr. s. 279

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

25
  • Zastosowanie gramatyk grafowych typu {\em double pushout} w środowisku GRADISDPO graph grammars application in GRADIS framework / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 3 [cz.] 1, s. 911–920. — Bibliogr. s. 920, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto14.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: