Maciej Gazda

According to our database1, Maciej Gazda authored at least 13 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...