Maciej Gazda

Orcid: 0000-0002-1474-2035

According to our database1, Maciej Gazda authored at least 20 papers between 2009 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Model independent refusal trace testing.
Sci. Comput. Program., 2025

2023
Testing using CSP Models: Time, Inputs, and Outputs.
ACM Trans. Comput. Log., April, 2023

Removing redundant refusals: Minimal complete test suites for failure trace semantics.
Inf. Comput., March, 2023

2022
Conformance Relations and Hyperproperties for Doping Detection in Time and Space.
Log. Methods Comput. Sci., 2022

2020
Congruence from the operator's point of view.
Acta Informatica, 2020

Logical Characterisation of Hybrid Conformance.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Conformance-Based Doping Detection for Cyber-Physical Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

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
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

2009
Modal Logic and the Approximation Induction Principle
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009


  Loading...