Wykaz publikacji wybranego autora

Leszek Kotulski, prof. zw. dr hab.

profesor zwyczajny

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


ORCID: 0000-0002-0164-0048
ResearcherID: C-8435-2013



Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 73, z ogólnej liczby 73 publikacji Autora


1
2
  • Agent framework for decomposing a graph into the equally sized subgraphs / Leszek KOTULSKI, Adam SĘDZIWY // W: FCS 2008 ; WORLDCOMP'08 [Dokument elektroniczny] : proceedings of the 2008 international conference on Foundations of Computer Science ; the 2008 world congress in computer science computer engineering and applied computing : July 14–17, 2008 Las Vegas, Nevada, USA / eds. Hamid R. Arabnia, Youngsong Mun, Pei Li Zhou. — Wersja do Windows. — Dane tekstowe. — U. S. A. : CSREA Press, cop. 2008. — 1 dysk optyczny. — e-ISBN10: 1-60132-066-3. — S. 245–250. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 250, Abstr.. — Tyt. przejęto z ekranu tytułowego

  • brak zdefiniowanych słów kluczowych

3
4
  • 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

5
  • A new approach to power consumption reduction of street lighting / Adam SĘDZIWY, Leszek KOTULSKI // W: Smartgreens 2015 [Dokument elektroniczny] : proceedings of the 4th international conference on Smart cities and green ICT systems : Lisbon, Portugal 20–22 May, 2015 / ed. by Markus Helfert [et al.]. — Wersja do Windows. — Dane tekstowe. — [Lisbon] : SCITEPRESS Science and Technology Publications, 2015. — 1 dysk optyczny. — Na dysku CD dostępne również konferencje: WEBIST 2015, CLOSER 2015, ICT4AgeingWell 2015, VEHITS 2015, CSEDU 2015. — e-ISBN: 978-989-758-105-2. — S. 283–287. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 287, Abstr.

  • keywords: street lighting, ambient light, EN 13201, PhoCa

6
  • Communication with environment in Alvis models / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // International Journal of Electronics and Telecommunications ; ISSN 0867-6747. — 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

7
8
  • Controlling complex lighting systems / Igor WOJNICKI, Leszek KOTULSKI // W: Complex systems and dependability : [proceedings of the seventh international conference on Dependability and complex of systems DepCoS-RELCOMEX 2012 : Wrocław, June 25–June 29, 2012] / eds. Wojciech Zamojski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 170). — ISBN: 978-3-642-30661-7. — S. 305–317. — Bibliogr. s. 316–317, Abstr.

  • brak zdefiniowanych słów kluczowych

9
  • Coordination of design processes in two perspectives of computer aided design / Leszek KOTULSKI, Adam SĘDZIWY, Barbara Strug // Key Engineering Materials ; ISSN 1013-9826. — 2014 vol. 572, s. 119–122. — Bibliogr. s. 122, Abstr.. — tekst: http://www.scientific.net/KEM.572.119.pdf

  • keywords: hypergraph transformation, hypergraph representation of buildings, building information modeling, building management

10
  • Derivation Control Environment as a tool for an efficient distributed graph transformations coordination / Leszek KOTULSKI, Adam SĘDZIWY // W: ISPDC 2008 : proceedings of the 7th International Symposium on Parallel and Distributed Computing : 1–5 July 3008, Krakow, Poland / eds. Marek Tudruj. — Los Alamitos, California ; Washington ; Tokyo : CPS Conference Publishing Services, IEEE Computer Society, cop. 2008. — ISBN: 978-0-7695-3472-5. — S. 171–178. — Bibliogr. s. 178, Abstr.

  • brak zdefiniowanych słów kluczowych

11
  • Distributed graphs transformed by multiagent system / Leszek KOTULSKI // W: Artificial Intelligence and Soft Computing – ICAISC 2008 : 9th International Conference : Zakopane, Poland, June 22–26, 2008 : proceedings / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2008. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 5097). — ISBN: 978-3-540-69572-1 ; e-ISBN: 978-3-540-69731-2. — S. 1234–1242. — Bibliogr. s. 1241–1242, Abstr.

  • brak zdefiniowanych słów kluczowych

12
13
  • 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

14
  • Formal description of Alvis language with $\alpha^{0}$ system layer / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // Fundamenta Informaticae ; ISSN 0169-2968. — 2014 vol. 129 no. 1/2, s. 161–176. — Bibliogr. s. 175–176, Abstr.

  • keywords: formal methods, Alvis modelling language, concurrent systems

15
  • Formal methods supporting agent aided smart lighting design / Adam SĘDZIWY, Leszek KOTULSKI, Marcin SZPYRKA // W: Complex systems and dependability : [proceedings of the seventh international conference on Dependability and complex of systems DepCoS-RELCOMEX 2012 : Wrocław, June 25–June 29, 2012] / eds. Wojciech Zamojski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 170). — ISBN: 978-3-642-30661-7. — S. 225–239. — Bibliogr. 238–239, Abstr.

  • brak zdefiniowanych słów kluczowych

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

17
  • GRADIS – multiagent environment supporting distributed graph transformations / Leszek KOTULSKI // W: Computational Science – ICCS 2008 : 8th International Conference : Kraków, Poland, June 23–25, 2008 : proceedings, Pt. 3 / eds. Marian Bubak, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot. — Berlin ; Heidelberg : Springer-Verlag, cop. 2008. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 5103). — ISBN: 978-3-540-69388-8 ; ISBN10: 3-540-69-388-2. — S. 644–653. — Bibliogr. s. 652–653, Abstr.

  • brak zdefiniowanych słów kluczowych

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

19
20
  • Graph-based optimization of energy efficiency of street lighting / Adam SĘDZIWY, Leszek KOTULSKI // W: Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015 : Zakopane, Poland, June 14–18, 2015 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2015. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; LNAI 9120). — ISBN: 978-3-319-19368-7 ; e-ISBN: 978-3-319-19369-4. — S. 515–526. — Bibliogr. s. 524–526, Abstr.

  • keywords: agent systems, slashed graphs, street lighting, bulk computations

21
  • Graph representation of hierarchical Alvis model structure / L. KOTULSKI, M. SZPYRKA // W: FCS 2011 : proceedings of the 2011 international conference on Foundations of Computer Science : Worldcomp'11 : July 18–21, 2011, Las Vegas Nevada, USA / eds. Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-179-1. — S. 95–101. — Bibliogr. s. 101, Abstr.

  • brak zdefiniowanych słów kluczowych

22
  • Green AGH Campus : [abstract] / Tomasz SZMUC, Leszek KOTULSKI, Bartosz Wojszczyk, Adam SĘDZIWY // W: SMARTGREENS 2012 : 1\textsuperscript{st} international conference on Smart grids and green IT systems : Porto, Portugal 19–20 April 2012 : final program and book of abstracts. — Portugal : SciTePress, 2012. — S. 31. — Pełny tekst W: SMARTGREENS 2012 [Dokument elektroniczny] : Porto, Portugal, 19–20 April, 2012. — Wersja do Windows. — Dane tekstowe. — Portugal : SciTePress, 2012. — 1 dysk optyczny. — S. 159–162. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Tytuł przejęto ze s. tyt. — Bibliogr. s. 162, Abstr. — ISBN 978-989-8565-09-9

  • brak zdefiniowanych słów kluczowych

23
24
  • 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

25
  • Hypergraph distributed adaptive design supported by hypergraph replication / Leszek KOTULSKI, Barbara Strug // W: Artificial Intelligence and Soft Computing : 11th International Conference, ICAISC 2012 : Zakopane, Poland, April 29–May 3, 2012 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2012. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 7268). — ISBN: 978-3-642-29349-8. — S. 671–678. — Bibliogr. s. 678, Abstr.

  • brak zdefiniowanych słów kluczowych