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
  • A formal approach to modelling of real-time systems using RTCP-nets
2
  • Adder Designer – tools for modelling and analysis of rule-based systems
3
  • Algebraic-graphical methods of knowledge analysis and verification – theoretical aspects
4
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
5
  • Alvis approach to hexor robot controller development
6
  • Analiza czasowa modeli opisywanych sieciami Petriego
7
  • Analysis of RTCP-nets with reachability graphs
8
  • Analysis, verification and design of tabular systems
9
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
10
  • Application of RTCP-nets for design and analysis of embedded systems
11
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
12
  • CEE-SET 2009
13
  • Classifiers for behavioral patterns identification induced from huge temporal data
14
  • Design of XCCS models with Inez XCCS editor [Dokument elektroniczny
15
  • Development of embedded systems – from RTCP-net model to Ada code
16
  • Development of embedded systems with RTCP-nets
17
  • Development of safety-critical systems with RTCP-nets support
18
  • D-net: a tool for verification of knowledge-based systems
19
  • D-nets – Petri net form of rule-based systems
20
  • Dwupoziomowy algebraiczno-logiczny model bazy danych
21
  • Exclusion rule-based systems - case study
22
  • Fast and flexible modelling of real-time systems with RTCP-nets
23
  • Formal approach to prototyping and analysis of modular rule-based systems
24
  • Formal definition of XCCS modelling language
25
  • Formal modelling and verification of concurrent systems with XCCS