Janusz Malinowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ATVA | A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
| 2011 | PPAM | Model of Skyscraper Evacuation with the Use of Space Symmetry and Fluid Dynamic Approximation. | Wieslawa Sikora, Janusz Malinowski, Arkadiusz Kupczak |
| 2010 | TACAS | SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. | Janusz Malinowski, Peter Niebert |