Poplawski, Mateusz
29  Ergebnisse:
Personensuche X
?
1

A Polynomial-Time Algorithm for Detecting Potentially Unbou..:

, In: Lecture Notes in Computer Science; Euro-Par 2023: Parallel Processing Workshops,
 
?
2

Preliminary Verification of Liveness in a Control Part of C..:

, In: Technological Innovation for Connected Cyber Physical Spaces; IFIP Advances in Information and Communication Technology,
 
?
4

Hippo-CPS: A Tool for Verification and Analysis of Petri Ne..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,
 
?
5

Hippo-CPS: Verification of Boundedness, Safeness and Livene..:

, In: Technological Innovation for Digitalization and Virtualization; IFIP Advances in Information and Communication Technology,
 
?
6

Analysis of Control Part of Cyber-Physical Systems Specifie..:

, In: 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC),
 
?
8

A Method of Feature Vector Modification in Keystroke Dynami..:

, In: Advances in Soft and Hard Computing; Advances in Intelligent Systems and Computing,
 
?
 
?
12

In situ minority carrier lifetime via fast modulated photol..:

Poplawski Mateusz ; Silva François ; Vanel Jean-Charles.
https://www.epj-pv.org/articles/epjpv/full_html/2023/01/pv220069/pv220069.html.  , 2023
 
?
 
?
 
1-15