A Method of Feature Vector Modification in Keystroke Dynamics. - Miroslaw Omieljanowicz; Mateusz Poplawski; Andrzej Omieljanowicz (ACS, 2018)

JALI-Driven Expressive Facial Animation and Multilingual Speech in Cyberpunk 2077. - Pif Edwards; Chris Landreth; Mateusz Poplawski; Robert Malinowski; Sarah Watling; Eugene Fiume; Karan Singh (SIGGRAPH Talks, 2020)

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems. - Marcin Wojnakowski; Remigiusz Wisniewski; Grzegorz Bazydlo; Mateusz Poplawski (Int. J. Appl. Math. Comput. Sci., 2021)

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems. - Marcin Wojnakowski; Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo (DoCEIS, 2022)

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets. - Marcin Wojnakowski; Remigiusz Wisniewski; Mateusz Poplawski; Grzegorz Bazydlo (SMC, 2022)

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems. - Remigiusz Wisniewski; Grzegorz Bazydlo; Marcin Wojnakowski; Mateusz Poplawski (Petri Nets, 2023)

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net. - Mateusz Poplawski; Remigiusz Wisniewski; Grzegorz Bazydlo; Maxim Malinski (DoCEIS, 2023)

A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System. - Marcin Wojnakowski; Remigiusz Wisniewski; Mateusz Poplawski (Euro-Par Workshops, 2023)