| Publication | Date of Publication | Type |
|---|
De Bruijn sequences: from games to shift-rules to a proof of the Fredricksen-Kessler-Maiorana theorem
The Electronic Journal of Combinatorics | 2025-09-25 | Paper |
| A normalized edit distance on infinite words | 2024-09-25 | Paper |
| The normalized edit distance with uniform operation costs is a metric | 2024-05-06 | Paper |
Efficient optimal Kolmogorov approximation of random variables
Artificial Intelligence | 2024-04-30 | Paper |
Adapting behaviors via reactive synthesis
(available as arXiv preprint) | 2022-03-25 | Paper |
| A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence | 2021-04-07 | Paper |
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
(available as arXiv preprint) | 2021-01-01 | Paper |
Estimating the probability of meeting a deadline in schedules and plans
Artificial Intelligence | 2019-08-28 | Paper |
| On Embedding De Bruijn Sequences by Increasing the Alphabet Size | 2019-06-10 | Paper |
To Infinity and Beyond: Continuing De Bruijn Sequences by Extending the Alphabet
(available as arXiv preprint) | 2019-01-01 | Paper |
| De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem | 2018-05-07 | Paper |
Mapping prefer-opposite to prefer-one de Bruijn sequences
Designs, Codes and Cryptography | 2017-10-27 | Paper |
| On the succinctness of idioms for concurrent programming | 2017-09-12 | Paper |
Compositional Modeling and Analysis of Multi-Hop Control Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Preservation of controllability of single-input time-varying linear systems under sampling
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Specification and Analysis of Network Resource Requirements of Control Systems
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
On Omega-Languages Defined by Mean-Payoff Conditions
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Automata Based Interfaces for Control and Scheduling
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
State Nullification of Switched Systems by Linear Output Feedback
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Ranking Automata and Games for Prioritized Requirements
Computer Aided Verification | 2008-07-15 | Paper |
State nullification by memoryless output feedback
MCSS. Mathematics of Control, Signals, and Systems | 2005-04-14 | Paper |
| Memoryless output nullification and canonical forms, for time varying systems | 2005-03-15 | Paper |
Memoryless output nullification and canonical forms, for time varying systems
(available as arXiv preprint) | 2005-01-01 | Paper |
