# Maciej Gazda

Orcid: 0000-0002-1474-2035
According to our database

Collaborative distances:

^{1}, Maciej Gazda authored at least 19 papers between 2010 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

ACM Trans. Comput. Log., April, 2023

Removing redundant refusals: Minimal complete test suites for failure trace semantics.

Inf. Comput., March, 2023

2022

Log. Methods Comput. Sci., 2022

2020

Acta Informatica, 2020

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

2018

Int. J. Found. Comput. Sci., 2018

Inf. Comput., 2018

2016

Encyclopedia of Algorithms, 2016

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015

ACM Trans. Comput. Log., 2015

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2014

CoRR, 2014

2013

Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds.

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Comput. J., 2013

2012

Math. Struct. Comput. Sci., 2012

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2010

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Proceedings of the Proceedings Seventh Workshop on Structural Operational Semantics, 2010