Wykaz publikacji wybranego autora

Łukasz Podolski, mgr inż.

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

Identyfikatory Autora
ORCID: brak ResearcherID: brak Scopus: 57194564795

Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: 57194564795

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

wydruk:

sortowanie:

1

Discrete-time systems modeling and verification with Alvis language and tools
Discrete-time systems modeling and verification with Alvis language and tools / Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2018 vol. 6, s. 78766–78779. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 78778–78779, Abstr.. — Publikacja dostępna online od: 2018-12-06. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865

2

Modelling and verification of real-time systems with Alvis
Modelling and verification of real-time systems with Alvis / Marcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH // W: Towards a synergistic combination of research and practice in software engineering : 19th KKIO software engineering conference (KKIO) : Rzeszow, Poland, September 14-16, 2017. — Switzerland : Springer, cop. 2018. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 733). — ISBN: 978-3-319-65207-8 ; e-ISBN: 978-3-319-65208-5. — S. 165–178. — Bibliogr. s. 178, Abstr.

3

Simulation of multi-agent systems with Alvis Toolkit
Simulation of multi-agent systems with Alvis Toolkit / Marcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 599–608. — Bibliogr. s. 607–608, Abstr.