Wykaz publikacji wybranego autora

Piotr Matyasik, dr inż.

adiunkt

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


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5003-2439 połącz konto z ORCID

ResearcherID: K-5783-2013

Scopus: 23397806800

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ółem43152494
201711
2016211
201522
2014312
201333
201211
20118242
2010611211
2009211
20084112
200722
200611
20053111
200422
200322
200211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem43934
201711
201622
201522
201433
201333
201211
2011817
2010624
200922
200844
200722
200611
2005312
200422
200322
200211
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem433211
201711
2016211
201522
2014312
2013321
201211
2011862
2010651
200922
2008431
2007211
200611
200533
200422
200322
200211
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem43340
201711
2016211
201522
2014321
201333
201211
201188
201066
200922
200844
200722
200611
200533
200422
200322
200211
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem432023
201711
201622
201522
201433
2013321
201211
2011844
2010642
200922
200844
2007211
200611
200533
200422
200322
200211
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem432518
201711
201622
201522
201433
2013321
201211
2011844
2010642
2009211
2008422
200722
200611
2005312
200422
200322
200211



1
  • A formal approach to modelling of real-time systems using RTCP-nets
2
3
  • Alvis approach to hexor robot controller development
4
  • Alvis approach to Hexor robot controller development
5
  • Alvis language with time dependence
6
  • Alvis – modelling language for concurrent systems
7
  • Alvis Virtual Machine
8
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
9
  • Automatyczne generowanie kodu na podstawie modeli UML
10
  • Communication between agents in Alvis language
11
  • Communication with environment in Alvis models
12
  • Design of XCCS models with Inez XCCS editor [Dokument elektroniczny
13
  • Event-based Hexor Robot Software framework
14
  • Extension of Alvis Compiler front-end
15
  • Extreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe
16
17
  • Formal modelling and verification of concurrent systems with XCCS
18
  • Generation of Java code from Alvis model
19
  • Generation of labelled transition systems for Alvis models using Haskell model representation
20
  • Graphical modelling tool for CCS process algebra
21
  • Hierarchical communication diagrams
22
  • Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci
23
  • Introduction to Alvis internal language syntax [Dokument elektroniczny]
24
  • Introduction to Alvis modelling language
25
  • Introduction to Alvis modelling language