Maciej Gazda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Testing using CSP Models: Time, Inputs, and Outputs ACM Transactions on Computational Logic	2023-04-05	Paper
Removing redundant refusals: minimal complete test suites for failure trace semantics Information and Computation	2023-03-07	Paper
scientific article; zbMATH DE number 7471703 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471703 (Why is no real title available?)	2022-02-09	Paper
Improvement in small progress measures	2021-12-03	Paper
Improvement in small progress measures (available as arXiv preprint)	2021-12-03	Paper
Zielonka's recursive algorithm: dull, weak and solitaire games and tighter bounds	2021-06-09	Paper
Zielonka's recursive algorithm: dull, weak and solitaire games and tighter bounds (available as arXiv preprint)	2021-06-09	Paper
Expressiveness and completeness in abstraction	2021-04-27	Paper
Expressiveness and completeness in abstraction (available as arXiv preprint)	2021-04-27	Paper
Congruence from the operator's point of view: compositionality requirements on process semantics	2021-02-24	Paper
Congruence from the operator's point of view: compositionality requirements on process semantics (available as arXiv preprint)	2021-02-24	Paper
Modal logic and the approximation induction principle	2021-01-26	Paper
Congruence from the operator's point of view. Syntactic requirements on modal characterizations Acta Informatica	2020-05-26	Paper
Cooking Your Own Parity Game Preorders Through Matching Plays International Journal of Foundations of Computer Science	2018-07-24	Paper
Distinguishing between communicating transactions Information and Computation	2018-03-21	Paper
Abstraction in fixpoint logic ACM Transactions on Computational Logic	2017-07-12	Paper
On parity game preorders and the logic of matching plays Lecture Notes in Computer Science	2016-03-10	Paper
Consistent consequence for Boolean equation systems SOFSEM 2012: Theory and Practice of Computer Science	2012-06-15	Paper
Modal logic and the approximation induction principle MSCS. Mathematical Structures in Computer Science	2012-05-11	Paper

Research outcomes over time

This page was built for person: Maciej Gazda