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

sortowanie:

1

Tytuł	Discrete-time systems modeling and verification with Alvis language and tools
Autorzy	Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI
Źródło	IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 6, s. 78766–78779. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865

keywords: system verification, concurrency control, discrete time systems, formal languages, system analysis and design

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

cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2018.2885249

2

Tytuł	Modelling and verification of real-time systems with Alvis
Autorzy	Marcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
Źródło	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. — S. 165–178

brak zdefiniowanych słów kluczowych

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

cyfrowy identyfikator dokumentu: 10.1007/978-3-319-65208-5_12

3

Tytuł	Simulation of multi-agent systems with Alvis Toolkit
Autorzy	Marcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH
Źródło	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. — S. 599–608

keywords: multi-agent systems, simulation, Alvis language, Alvis Toolkit, AI systems

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

cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_54