Maciej Gazda
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
W. Fokkink,
Maciej Gazda,
Vittorio Massaro,
2019,
Acta Informatica.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
R. Hierons,
Maciej Gazda,
A. Cavalcanti,
2022,
ACM Transactions on Computational Logic.
Robert M. Hierons,
Maciej Gazda,
R. Hierons,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Maciej Gazda,
Wan Fokkink,
Vittorio Massaro,
2010,
Acta Informatica.
Wan Fokkink,
Maciej Gazda,
W. Fokkink,
2009,
Mathematical Structures in Computer Science.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Mohammad Reza Mousavi,
Maciej Gazda,
Maciej Gazda,
2020,
ICALP.
Maciej Gazda,
Maciej Gazda,
2008
.
Sjoerd Cranen,
Tim A. C. Willemse,
Maciej Gazda,
2015,
ACM Trans. Comput. Log..
Tim A. C. Willemse,
Maciej Gazda,
Maciej Gazda,
2012,
EXPRESS/SOS.
Tim A. C. Willemse,
Maciej Gazda,
Maciej Gazda,
2012,
SOFSEM.
R. Hierons,
Maciej Gazda,
James Baxter,
2022,
ACM Trans. Comput. Log..
Mohammad Reza Mousavi,
Holger Hermanns,
Rayna Dimitrova,
2020,
FORTE.