We stand with Ukraine  

Tomasz Mazur

Orcid: 0000-0001-8463-506X

According to our database1, Tomasz Mazur authored at least 6 papers between 2007 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Analysis of the Planar Point Identification Accuracy in CMM Measurements.
[BibTeX]
[DOI]
Tomasz Mazur
,
Lenka Cepova
,
Tomasz Szymanski
,
Miroslaw Rucki
Sensors, 2022

2020
In-materio neuromimetic devices: Dynamics, information processing and pattern recognition.
[BibTeX]
[DOI]
Dawid Przyczyna
,
Piotr Zawal
,
Tomasz Mazur
,
Pier Luigi Gentili
,
Konrad Szacilowski
CoRR, 2020

2014
CSP-based counter abstraction for systems with node identifiers.
[BibTeX]
[DOI]
Tomasz Mazur
,
Gavin Lowe
Sci. Comput. Program., 2014

2012
A type reduction theory for systems with replicated components
[BibTeX]
[DOI]
Tomasz Mazur
,
Gavin Lowe
Log. Methods Comput. Sci., 2012

2011
Model Checking Systems with Replicated Components using CSP.
[BibTeX]
[DOI]
Tomasz Mazur
PhD thesis, 2011

2007
Counter Abstraction in the CSP/FDR setting.
[BibTeX]
[DOI]
Tomasz Mazur
,
Gavin Lowe
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007


  Loading...