Mateusz Poplawski

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 8

Top Topics

Facial Animation

Top Venues

Publications

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski
A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. Euro-Par Workshops (2023)
Remigiusz Wisniewski, Grzegorz Bazydlo, Marcin Wojnakowski, Mateusz Poplawski
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. Petri Nets (2023)
Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo, Maxim Malinski
Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. DoCEIS (2023)
Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski, Grzegorz Bazydlo
Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. SMC (2022)
Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. DoCEIS (2022)
Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. Int. J. Appl. Math. Comput. Sci. 31 (4) (2021)
Pif Edwards, Chris Landreth, Mateusz Poplawski, Robert Malinowski, Sarah Watling, Eugene Fiume, Karan Singh
JALI-Driven Expressive Facial Animation and Multilingual Speech in Cyberpunk 2077. SIGGRAPH Talks (2020)
Miroslaw Omieljanowicz, Mateusz Poplawski, Andrzej Omieljanowicz
A Method of Feature Vector Modification in Keystroke Dynamics. ACS (2018)