Author:Margus Veanes

Publications
LPAR-22 Workshop and Short Paper Proceedings Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes (editors) Kalpa Publications in Computing, volume 9
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors) EPiC Series in Computing, volume 57
On Symbolic Derivatives and Transition Regexes Margus Veanes In:LPAR 2024 Complementary Volume
Translating C# to Branching Symbolic Transducers Olli Saarikivi and Margus Veanes In:IWIL Workshop and LPAR Short Presentations
Symbolic WS1S Loris D'Antoni and Margus Veanes In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Effectively Monadic Predicates Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey Bereg In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SMT-LIB Sequences and Regular Expressions Nikolaj Bjorner, Vijay Ganesh, Raphaël Michel and Margus Veanes In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

automata theory, Domain Specific Language, Fusion, lookahead, monadic decomposition, Monadic predicates, MSO, regular expressions, Satisfiability Modulo Theories, SMT³, SMT-LIB, strings, symbolic automata², symbolic automaton, symbolic transducer, temporal logic, theories.