Wykaz publikacji wybranego autora

Piotr Matyasik, dr inż.

adiunkt

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

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5003-2439 połącz konto z ORCID

ResearcherID: K-5783-2013

Scopus: 23397806800

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Alvis language with time dependence / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland. — [Piscataway : IEEE], [2013]. — Opis częśc. wg okł.. — ISBN: 978-1-4673-4471-5. — S. 114. — Pełny tekst na dołączonym Dysku Flash. — S. 1615–1620. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1620, Abstr.. — W bazie Web of Science wersja drukowana: 2013 Federated Conference on Computer Science and Information Systems. — ISBN 978-1-4673-4471-5. — S. 1565–1570

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

2

  • Generation of labelled transition systems for Alvis models using Haskell model representation / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: CS&P'2013 [Dokument elektroniczny] : proceedings of the international workshop : Warsaw, 25–27 September 2013 / eds. Marcin Szczuka, Ludwik Czaja, Magdalena Kacprzak. — Wersja do Windows. — Dane tekstowe. — Białystok : Białystok University of Technology, 2013. — 1 dysk optyczny. — e-ISBN: 978-83-62582-42-6. — S. [1–12]. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. [11–12], Abstr.. — W bazie Scopus wersja wydana w ramach serii: CEUR Workshop Proceedings ; ISSN 1613-0073, vol. 1032 s. 409–420

  • keywords: formal verification, Alvis, Haskell, labelled transition system

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

    cyfrowy identyfikator dokumentu:

3

  • Robust PI – the simulation Robust library component for Pioneer 3DX / Konrad KUŁAKOWSKI, Piotr MATYASIK // W: Multiagent system technologies : 11th German conference, MATES 2013, Koblenz, Germany, September 16–20, 2013 : proceedings / ed. Matthias Klusch, Matthias Thimm, Marcin Paprzycki. — Berlin Heidelberg : Springer, 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8076. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-40775-8 ; e-ISBN: 978-3-642-40776-5. — S. 115–123

  • keywords: intelligent autonomous robots, robotic middleware, Robust library

    Zobacz pełny wykaz publikacji Autora/Autorów: Konrad Kułakowski

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-40776-5_12