Bader abu Radi
From MaRDI portal
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 |
|---|---|---|
| A hierarchy of nondeterminism Logical Methods in Computer Science | 2026-02-13 | Paper |
| Minimization of automata for liveness languages Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Minimization and canonization of GFG transition-based automata (available as arXiv preprint) | 2022-08-30 | Paper |
| Minimization and canonization of GFG transition-based automata | 2022-08-30 | Paper |
| Canonicity in GFG and transition-based automata (available as arXiv preprint) | 2022-01-11 | Paper |
| Canonicity in GFG and transition-based automata | 2022-01-11 | Paper |
Research outcomes over time
This page was built for person: Bader abu Radi
