Michal Knapik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICFEM | Modular Analysis of Tree-Topology Models. | Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2019 | ICECCS | Squeezing State Spaces of (Attack-Defence) Trees. | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
| 2019 | IJCAI | Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). | Wojciech Jamroga, Michal Knapik |
| 2015 | SEFM | Generating None-Plans in Order to Find Plans. | Michal Knapik, Artur Niewiadomski, Wojciech Penczek |
| 2012 | AAMAS | Group synthesis for parametric temporal-epistemic logic. | Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio |