Maciej Gazda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | LICS | Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. | Maciej Gazda, Robert M. Hierons |
| 2020 | FORTE | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | ICALP | Logical Characterisation of Hybrid Conformance. | Maciej Gazda, Mohammad Reza Mousavi |
| 2016 | SOFSEM | On Parity Game Preorders and the Logic of Matching Plays. | Maciej Gazda, Tim A. C. Willemse |
| 2012 | SOFSEM | Consistent Consequence for Boolean Equation Systems. | Maciej Gazda, Tim A. C. Willemse |