# Maciej Gazda

According to our database

Collaborative distances:

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

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Cooking Your Own Parity Game Preorders Through Matching Plays.

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

Distinguishing between communicating transactions.

Inf. Comput., 2018

2016

Parity Games.

Encyclopedia of Algorithms, 2016

On Parity Game Preorders and the Logic of Matching Plays.

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

2015

Abstraction in Fixpoint Logic.

ACM Trans. Comput. Log., 2015

Improvement in Small Progress Measures.

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

2014

Strategy Derivation for Small Progress Measures.

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

Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.

Comput. J., 2013

2012

Modal logic and the approximation induction principle.

Mathematical Structures in Computer Science, 2012

Expressiveness and Completeness in Abstraction

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

Consistent Consequence for Boolean Equation Systems.

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