Wykaz publikacji wybranego autora

Marcin Szpyrka, 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-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Architektura autonomicznego robota mobilnego z dynamicznym modelem świata
2
  • Design and analysis of rule-based systems with adder designer
3
  • Dynamiczny model świata w sterowaniu autonomicznym robotem mobilnym
4
  • Exclusion rule-based systems - case study
5
  • Formal modelling and verification of concurrent systems with XCCS
6
  • Graphical modelling tool for CCS process algebra
7
  • Modelling and analysis of real-time systems with RTCP-nets
8
  • Sieci Petriego w modelowaniu i analizie systemów współbieżnych