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