Wykaz publikacji wybranego autora

Łukasz Podolski, mgr inż.

doktorant

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

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

1
  • [artykuł w czasopiśmie, 2018]
  • TytułDiscrete-time systems modeling and verification with Alvis language and tools
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 6, s. 78766–78779. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865
2
  • [referat, 2018]
  • TytułModelling and verification of real-time systems with Alvis
    AutorzyMarcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoTowards 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. — S. 165–178
3
  • [referat, 2017]
  • TytułSimulation of multi-agent systems with Alvis Toolkit
    AutorzyMarcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH
    ŹródłoArtificial 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. — S. 599–608