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

    cyfrowy identyfikator dokumentu:

2
  • Labelled transition system generation from Alvis language / Leszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY // W: Knowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 180–189. — Bibliogr. s. 189, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

4
  • Parallel graph transformations supported by replicated complementary graphs / Leszek KOTULSKI, Adam SĘDZIWY // W: Adaptive and natural computing algorithms : 10th International Conference, ICANNGA 2011 : Ljubljana, Slovenia, April 14–16, 2011 : proceedings, Pt. 2 / eds. Andrej Dobnikar, Uroš Lotrič, Branko Šter. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011 + CD-ROM. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6594. Theoretical Computer Science and General Issues ; ISSN 2512-2010). — ISBN: 978-3-642-20266-7 ; e-ISBN: 978-3-642-20267-4. — S. 254–264. — Bibliogr. s. 264, Abstr.

  • keywords: distributed computing, graph transformations

    cyfrowy identyfikator dokumentu:

5
  • Snapshot reachability graphs for Alvis models / Marcin SZPYRKA, Leszek KOTULSKI // W: Knowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 190–199. — Bibliogr. s. 198–199, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Specification of embedded systems environment behaviour with Alvis modelling language / M. SZPYRKA, L. KOTULSKI, P. MATYASIK // W: ESA 2011 : proceedings of the 2011 international conference on Embedded Systems & Applications : July 18–21, 2011, Las Vegas / eds. Hamid R. Arabnia, Ashu M. G. Solo. — USA : CSREA Press, cop. 2011. — ISBN10: 1-60132-178-3. — S. 79–85. — Bibliogr. s. 85, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: