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
2

  • Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych — Algorithm 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

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

    cyfrowy identyfikator dokumentu:

3

  • Application of distributed graph transformations to automated generation of control patterns for intelligent lighting systems / Igor WOJNICKI, Leszek KOTULSKI, Adam SĘDZIWY, Sebastian ERNST // Journal of Computational Science ; ISSN 1877-7503. — 2017 vol. 23, s. 20–30. — Bibliogr. s. 29, Abstr.. — Publikacja dostępna online od: 2017-09-20. — tekst: https://goo.gl/eRFKew

    orcid iD

  • keywords: outdoor lighting, intelligent control, graph transformations, optimized design, rule based systems

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

    cyfrowy identyfikator dokumentu: 10.1016/j.jocs.2017.09.011

4
5

  • 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

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

    cyfrowy identyfikator dokumentu:

6

  • Comparative study of road lighting efficiency in the context of CEN/TR 13201 2004 and 2014 lighting standards and dynamic control / Igor WOJNICKI, Konrad KOMNATA, Leszek KOTULSKI // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2019 vol. 12 iss. 8 art. no. 1524, s. 1–14. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 12–14, Abstr.. — Publikacja dostępna online od: 2019-04-23. — tekst: https://www.mdpi.com/1996-1073/12/8/1524/pdf

    orcid iD

  • keywords: energy efficiency, street lighting, dynamic lighting, adaptive control, lightning standards

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Konrad Komnata

    cyfrowy identyfikator dokumentu: 10.3390/en12081524

7

  • Comparison of requirements for vibration-based condition monitoring of a vertical-axis vs. horizontal-axis wind turbine — Poró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

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Jabłoński

    cyfrowy identyfikator dokumentu: 10.29354/diag/94493

8
9
10

  • Economic impact of intelligent dynamic control in urban outdoor lighting / Igor WOJNICKI, Sebastian ERNST, Leszek KOTULSKI // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2016 vol. 9 iss. 5, s. 314-1–314-14. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 314-13–314-14, Abstr.. — Publikacja dostępna online od: 2016-04-25. — tekst: https://www.mdpi.com/1996-1073/9/5/314/pdf

  • keywords: energy efficiency, intelligent control, lightning, intelligent lightning, outdoor lightning, street lightning, dynamic lightning

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Sebastian Ernst

    cyfrowy identyfikator dokumentu: 10.3390/en9050314

11

  • Empirical study of how traffic intensity detector parameters influence dynamic street lighting energy consumption: a case study in Krakow, Poland / Igor WOJNICKI, Leszek KOTULSKI // Sustainability [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2071-1050. — 2018 vol. 10 iss. 4, s. [1–16]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [14–16], Abstr.. — Publikacja dostępna online od: 2018-04-17. — tekst: https://www.mdpi.com/2071-1050/10/4/1221/pdf

    orcid iD

  • keywords: street lighting, dynamic control, graph model, sensor readings, traffic intensity data

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki

    cyfrowy identyfikator dokumentu: 10.3390/su10041221

12

  • Evaluation of risk attributes driven by periodically changing system functionality / Dariusz Dymek, Leszek KOTULSKI // Enformatika : transactions on engineering, computing and technology ; ISSN 1305-5313. — 2006 vol. 16, s. 315–320. — Bibliogr. s. 319–320, Abstr.. — D. Dymek - afiliacja: Cracow University of Economy. — CISE 2006 : XVI. international conference on Computer and Information Science and Technology : proceedings : Venice, Italy, November 24–26, 2006. — Venice : World Enformatika Society, 2006. — ISBN 975-00803-6-X

  • keywords: UML, graph grammars, software maintenance, risk assessing

    cyfrowy identyfikator dokumentu:

13

  • Federacyjna hurtownia danych w dostępie do informacji poufnej — Using 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

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

    cyfrowy identyfikator dokumentu:

14
15

  • Formal verification of embedded systems using the Alvis approach / Leszek KOTULSKI, Marcin SZPYRKA // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 209–212. — Bibliogr. s. 212, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu. — tekst: http://www.scientific.net/KEM.486.209.pdf

  • keywords: embedded systems, formal verification, graphical modelling

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: 10.4028/www.scientific.net/KEM.486.209

16
17

  • 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:

18
19

  • Graph-based spatial data processing and analysis for more efficient road lighting design / Sebastian ERNST, Marek ŁABUZ, Kamila ŚRODA, Leszek KOTULSKI // Sustainability [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2071-1050. — 2018 vol. 10 iss. 11 art. no. 3850, s. 1–18. — Bibliogr. s. 17–18. — Publikacja dostępna online od: 2018-10-24. — tekst: https://www.mdpi.com/2071-1050/10/11/3850/pdf

    orcid iD

  • keywords: geographic information system, GIS, graph transformations, street lighting, geospatial data, smart cities, lightning standards

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst, Kamila Środa, Marek Łabuz

    cyfrowy identyfikator dokumentu: 10.3390/su10113850

20
21

  • Hierarchical communication diagrams / Marcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI // Computing and Informatics / Slovak Academy of Sciences. Institute of Informatics ; ISSN 1335-9150. — Tytuł poprz.: Computers and Artificial Intelligence. — 2016 vol. 35 no. 1, s. 55–83. — Bibliogr. s. 80–82, Abstr.

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Michał Wypych, Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

22

  • Improving control efficiency of dynamic street lighting by utilizing the dual graph grammar concept / Igor WOJNICKI, Leszek KOTULSKI // Energies [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1996-1073. — 2018 vol. 11 iss. 2 art. no. 402, s. 1–14. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 14–15, Abstr.. — Publikacja dostępna online od: 2018-02-09. — tekst: https://www.mdpi.com/1996-1073/11/2/402/pdf

    orcid iD

  • keywords: efficiency, graph transformation, street lighting, dual graph grammar, road lighting, problem size reduction

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki

    cyfrowy identyfikator dokumentu: 10.3390/en11020402

23

  • Intelligent city lighting supported by graph-based multiagent system — Inteligentny 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

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

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.103

24
25

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie 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

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

    cyfrowy identyfikator dokumentu: