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)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem13462066402
202322
2022211
202111
202011
2019413
2018321
2017413
2016523
2015871
2014734
20135113
20124112
2011193124
2010611211
20097232
20081013321
2007541
20068143
20059351
20047241
2003211
200222
20018332
20005221
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem13427107
202322
2022211
202111
202011
201944
201833
201744
201655
201588
201477
2013514
201244
201119316
2010624
200977
20081037
2007514
200688
2005918
2004734
200322
2002211
2001862
200055
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1347262
202322
2022211
202111
202011
2019422
2018312
2017413
2016532
2015817
2014716
2013532
2012413
201119109
201066
2009761
20081064
2007523
2006853
2005954
2004743
2003211
2002211
2001871
200055
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem13418116
202322
2022211
202111
202011
2019413
2018312
2017422
2016532
2015817
2014725
201355
201244
20111919
201066
2009716
20081010
2007514
2006817
200599
2004716
200322
200222
200188
200055
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem1346569
202322
202222
202111
202011
2019431
201833
201744
201655
2015871
2014752
2013541
201244
201119118
2010633
2009725
20081055
2007532
200688
200599
200477
200322
200222
200188
200055
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem1349044
202322
202222
202111
202011
2019431
201833
201744
201655
201588
201477
2013541
201244
201119127
2010633
2009752
20081082
2007532
2006853
2005936
2004734
2003211
200222
2001826
2000514



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
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 approach to modeling and verification of real-time systems running on single-processor environment
13
  • Alvis data graphs
14
  • Alvis language with time dependence
15
  • Alvis – modelling language for concurrent systems
16
  • An entropy-based car failure detection method based on data acquisition pipeline
17
  • An entropy-based network anomaly detection method
18
  • Analiza czasowa modeli opisywanych sieciami Petriego
19
  • Analysis of RTCP-nets with reachability graphs
20
  • Analysis of VME-bus communication protocol – RTCP-net approach
21
  • Analysis, verification and design of tabular systems
22
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
23
  • Application of RTCP-nets for design and analysis of embedded systems
24
  • Architecture of on-line data acquisition system for car on-board diagnostics
25
  • Architektura autonomicznego robota mobilnego z dynamicznym modelem świata