Loris D'Antoni

From MaRDI portal
Person:746775

Available identifiers

zbMath Open dantoni.lorisMaRDI QIDQ746775

List of research outcomes

PublicationDate of PublicationType
Symbolic register automata2024-02-16Paper
Efficient synthesis with probabilistic constraints2024-02-16Paper
Proving unrealizability for syntax-guided synthesis2024-02-16Paper
Syntax-guided synthesis with quantitative syntactic objectives2023-05-26Paper
The learnability of symbolic automata2023-05-26Paper
Solving Program Sketches with Large Integer Values2022-10-13Paper
The power of symbolic automata and transducers2022-07-01Paper
Repairing decision-making programs under uncertainty2022-07-01Paper
A symbolic decision procedure for symbolic alternating finite automata2022-04-25Paper
Programmable program synthesis2022-03-25Paper
Synthesis with asymptotic resource bounds2022-03-25Paper
Automata Tutor v32021-02-09Paper
Learning Symbolic Automata2020-08-05Paper
Forward Bisimulations for Nondeterministic Symbolic Finite Automata2020-08-05Paper
Streaming Tree Transducers2018-05-17Paper
Minimization of Symbolic Tree Automata2018-04-23Paper
Monadic second-order logic on finite sequences2017-10-20Paper
Genesis: synthesizing forwarding tables in multi-tenant networks2017-10-20Paper
Regular Functions and Cost Register Automata2017-07-03Paper
DReX2016-09-29Paper
Program Boosting2016-09-29Paper
Extended symbolic finite automata and transducers2015-10-20Paper
High-performance complex event processing over hierarchical data2015-09-03Paper
Static Analysis of String Encoders and Decoders2014-11-03Paper
Minimization of symbolic automata2014-04-10Paper
Streaming Tree Transducers2012-11-01Paper
Global Progress in Dynamically Interleaved Multiparty Sessions2008-11-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Loris D'Antoni