Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
论文与出版物
-
-
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
-
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, 第 64 卷
-
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
-
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
-
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
-
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
-
Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
-
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, 第 64 卷
-
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
-
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
-
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
-
-
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
-
-
The power of symbolic automata and transducers
Loris D'Antoni, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV'17) | July 2017
-
Minimization of Symbolic Transducers
Olli Saarikivi, Margus Veanes
Computer Aided Verification, 29th International Conference (CAV 2017) | July 2017
-
Fusing Effectful Comprehensions
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
-
Forward Bisimulations for Nondeterministic Symbolic Finite Automata
Loris D'Antoni, Margus Veanes
TACAS | April 2017
-
Translating C# to Branching Symbolic Transducers
Olli Saarikivi, Margus Veanes
LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (Selected Workshop and Short Presentations) | March 2017
-
Monadic Second-Order Logic on Finite Sequences
Loris D'Antoni, Margus Veanes
POPL'2017 | January 2017
-
-
-
Monadic Decomposition
Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
Journal of the ACM | May 2017, 第 64 卷
-
人员
Margus Veanes
Principal Researcher