Concepedia

Piotr Matyasik

PM

Statistics

Publications

4

Citations

51

H-Index

4

Active since

2008

Affiliations

AGH University of Krakow(Current)

Piotr Matyasik is an author at AGH University of Krakow specializing in computer science, computing, and formal methods.

Publications per year

2008–2016

4

Publications

4

Formal Description of Alvis Language with α <sup>0</sup> System Layer

Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka et al. · Fundamenta Informaticae · 2014 · 19 citations

, , +13

Hierarchical Communication Diagrams

Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki et al. · Computing and Informatics / Computers and Artificial Intelligence · 2016 · 12 citations

, , +17

Alvis language with time dependence

Marcin Szpyrka, Piotr Matyasik, Michał Wypych · 2013 · 10 citations

, , +14

Formal Modelling and Verification of Concurrent Systems with XCCS

Piotr Matyasik, Marcin Szpyrka · 2008 · 10 citations

, , +15

1–4 of 4