Gera Weiss

MaRDI QIDQ832237zbMATH OpenORCIDWikidataFDO

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 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
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
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

Research outcomes over time

This page was built for person: Gera Weiss