Shaull Almagor

Available identifiers

zbMath Open almagor.shaullMaRDI QIDQ1622946

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124930	2024-04-10	Paper
Simulation by Rounds of Letter-to-Letter Transducers	2024-01-16	Paper
Jumping automata over Infinite words	2023-11-16	Paper
Quantitative assume guarantee synthesis	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5089305	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089314	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5090452	2022-07-18	Paper
O-Minimal Invariants for Discrete-Time Dynamical Systems	2022-02-24	Paper
What's decidable about weighted automata?	2022-01-06	Paper
First-order orbit queries	2021-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5009460	2021-08-04	Paper
O-Minimal Invariants for Discrete-Time Dynamical Systems	2021-07-28	Paper
Weak Cost Register Automata are Still Powerful	2021-04-19	Paper
Good-enough synthesis	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111354	2020-05-27	Paper
Sensing as a Complexity Measure	2019-12-10	Paper
Weak cost register automata are still powerful	2018-11-22	Paper
Formally Reasoning About Quality	2018-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4608660	2018-03-21	Paper
Latticed-LTL synthesis in the presence of noisy inputs	2017-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q5357713	2017-09-12	Paper
Sensing as a complexity measure	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5278414	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q5275381	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2978510	2017-04-25	Paper
Discounting in LTL	2015-02-10	Paper
Latticed-LTL Synthesis in the Presence of Noisy Inputs	2014-04-16	Paper
Formalizing and Reasoning about Quality	2013-08-07	Paper
Max and Sum Semantics for Alternating Weighted Automata	2011-10-07	Paper
What’s Decidable about Weighted Automata?	2011-10-07	Paper
Promptness in ω-Regular Automata	2010-10-04	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: Shaull Almagor