HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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, SMT3, SMT-LIB, strings, symbolic automata2, symbolic automaton, symbolic transducer, temporal logic, theories.

Copyright © 2012-2025 easychair.org. All rights reserved.