Pawel Gluchowski

Orcid: 0000-0003-2566-1422

According to our database1, Pawel Gluchowski authored at least 5 papers between 2007 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019

2016
Up-conversion luminescence and µ-Raman investigations of KGd(WO4)2 crystalline powders doped with rare earth ions.
Proceedings of the 18th International Conference on Transparent Optical Networks, 2016

NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules.
Proceedings of the Dependability Engineering and Complex Systems, 2016

2009
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2007
Duration Calculus for Analysis of Fault Trees with Time Dependencies.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007


  Loading...