Ireneusz Szczesniak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | NOMS | Generic Dijkstra: correctness and tractability. | Ireneusz Szczesniak, Bozena Wozna-Szczesniak |
| 2018 | DCAI | Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems. | Bozena Wozna-Szczesniak, Ireneusz Szczesniak |
| 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 |
| 2004 | Networking | Analysis of a Finite Number of Deflections in Fully and Uniformly Loaded Regular Networks. | Ireneusz Szczesniak |