Agnieszka Zbrzezny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PRIMA | Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. | Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | DCAI | Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. | Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | PRIMA | SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2011 | EPIA | The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |