We stand with Ukraine  

Rafal Mrowka

Orcid: 0000-0001-5143-3488

According to our database1, Rafal Mrowka authored at least 5 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Novel Method for Fast Generation of 3D Objects from Multiple Depth Sensors.
[BibTeX]
[DOI]
Tomasz Szmuc
,
Rafal Mrówka
,
Marek Branka
,
Jakub Ficon
,
Piotr Pieta
J. Artif. Intell. Soft Comput. Res., March, 2023

2014
Formal Description of Alvis Language with α<sup>0</sup> System Layer.
[BibTeX]
[DOI]
Marcin Szpyrka
,
Piotr Matyasik
,
Rafal Mrowka
,
Leszek Kotulski
Fundam. Informaticae, 2014

2011
Alvis - Modelling Language for Concurrent Systems.
[BibTeX]
[DOI]
Marcin Szpyrka
,
Piotr Matyasik
,
Rafal Mrówka
Proceedings of the Intelligent Decision Systems in Large-Scale Distributed Environments, 2011

Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS.
[BibTeX]
[DOI]
Marcin Szpyrka
,
Piotr Matyasik
,
Rafal Mrowka
Proceedings of the 25th European Conference on Modelling and Simulation, 2011

2008
UML Statecharts Compositional Semantics in LOTOS.
[BibTeX]
[DOI]
Rafal Mrowka
,
Tomasz Szmuc
Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008


  Loading...