Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

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

[dyscyplina wiodąca] 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

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 909865

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • Action-based verification of RTCP-nets with CADP
2
  • Adder Designer – tools for modelling and analysis of rule-based systems
3
  • Advances in software engineering techniques
4
  • Algebraic-graphical methods of knowledge analysis and verification – theoretical aspects
5
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
6
  • Alvis approach to hexor robot controller development
7
  • Alvis approach to Hexor robot controller development
8
  • Alvis data graphs
9
  • Alvis language with time dependence
10
  • Alvis – modelling language for concurrent systems
11
  • Analiza czasowa modeli opisywanych sieciami Petriego
12
  • Analysis of RTCP-nets with reachability graphs
13
  • Analysis of VME-bus communication protocol – RTCP-net approach
14
  • Analysis, verification and design of tabular systems
15
  • An entropy-based car failure detection method based on data acquisition pipeline
16
  • An entropy-based network anomaly detection method
17
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
18
  • Application of RTCP-nets for design and analysis of embedded systems
19
  • Architecture of on-line data acquisition system for car on-board diagnostics
20
  • Architektura autonomicznego robota mobilnego z dynamicznym modelem świata
21
  • A conceptual model for Web Knowledge Acquisition system with GIS component
22
  • A formal approach to modelling of real-time systems using RTCP-nets
23
  • A note on granular sets and their relation to rough sets
24
  • A survey of Alvis communication modes
25
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego