M. Knapik
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
É. André,
L. Petrucci,
W. Penczek,
2019
.
W. Jamroga,
M. Knapik,
2019
.
W. Penczek,
A. Lomuscio,
M. Knapik,
2013
.
Michael Knapik,
M. Knapik,
Michael Knapik,
1997
.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Michal Knapik,
Wojciech Penczek,
W. Penczek,
2014,
IEEE Conf. on Intelligent Systems.
Michal Knapik,
Wojciech Jamroga,
W. Jamroga,
2019,
IJCAI.
Michal Knapik,
Wojciech Penczek,
Artur Meski,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Michal Knapik,
Wojciech Penczek,
Alessio Lomuscio,
2012,
AAMAS.
É. André,
D. Lime,
L. Petrucci,
2019,
Trans. Petri Nets Other Model. Concurr..
Wojciech Jamroga,
Francesco Belardinelli,
Rodica Condurache,
2020,
Inf. Comput..
Artur Niewiadomski,
Magdalena Kacprzak,
Damian Kurpiewski,
2020,
AAMAS.
W. Penczek,
A. Lomuscio,
M. Knapik,
2011
.
Damian Kurpiewski,
Michal Knapik,
Wojciech Jamroga,
2018,
E-Vote-ID.
Damian Kurpiewski,
Michal Knapik,
Wojciech Jamroga,
2019,
Artif. Intell..
Michal Knapik,
Wojciech Penczek,
Wojciech Jamroga,
2017,
AAMAS.
Damian Kurpiewski,
Michal Knapik,
Wojciech Jamroga,
2019,
AAMAS.