Maciej Gazda

Available identifiers

zbMath Open gazda.maciej-wMaRDI QIDQ1706140

List of research outcomes

Publication	Date of Publication	Type
Testing using CSP Models: Time, Inputs, and Outputs	2023-04-05	Paper
Removing redundant refusals: minimal complete test suites for failure trace semantics	2023-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q5028468	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5013885	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4992503	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986259	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4963898	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5146596	2021-01-26	Paper
Congruence from the operator's point of view. Syntactic requirements on modal characterizations	2020-05-26	Paper
Cooking Your Own Parity Game Preorders Through Matching Plays	2018-07-24	Paper
Distinguishing between communicating transactions	2018-03-21	Paper
Abstraction in Fixpoint Logic	2017-07-12	Paper
On Parity Game Preorders and the Logic of Matching Plays	2016-03-10	Paper
Consistent Consequence for Boolean Equation Systems	2012-06-15	Paper
Modal logic and the approximation induction principle	2012-05-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maciej Gazda