Gal Amram
From MaRDI portal
Person:832234
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 |
|---|---|---|
| GR(1)*: GR(1) specifications extended with existential guarantees | 2024-03-14 | Paper |
| Efficient Algorithms for Omega-Regular Energy Games | 2023-04-21 | Paper |
| Adapting behaviors via reactive synthesis | 2022-03-25 | Paper |
| GR(1)*: GR(1) specifications extended with existential guarantees Formal Aspects of Computing | 2021-09-14 | Paper |
| A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence | 2021-04-07 | Paper |
| An efficient generalized shift-rule for the prefer-max de Bruijn sequence Discrete Mathematics | 2019-12-17 | Paper |
| De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem | 2018-05-07 | Paper |
| Two-process synchronization Theoretical Computer Science | 2017-06-19 | Paper |
| The F-Snapshot Problem Structural Information and Communication Complexity | 2016-12-01 | Paper |
| On the signaling problem Distributed Computing and Networking | 2015-02-04 | Paper |
Research outcomes over time
This page was built for person: Gal Amram
