The Power of Symbolic Automata and Transducers von D’Antoni, Loris, Veanes, Margus

Volltext

Static Analysis of String Encoders and Decoders von D’Antoni, Loris, Veanes, Margus

Volltext

Identification of ATF3 as a novel protective signature of quiescent colorectal tumor cells von Lu, Xi, Zhong, Lei, Lindell, Emma, Veanes, Margus, Guo, Jing, Zhao, Miao, Salehi, Maede, Swartling, Fredrik J., Chen, Xingqi, Sjöblom, Tobias, Zhang, Xiaonan

Volltext

An SMT Approach to Bounded Reachability Analysis of Model Programs von Veanes, Margus, Bjørner, Nikolaj, Raschke, Alexander

Volltext

Extended symbolic finite automata and transducers von D’Antoni, Loris, Veanes, Margus

Volltext

Monadic Decomposition von Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Volltext

Applications of Symbolic Finite Automata von Veanes, Margus

Volltext

Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics von Moseley, Dan, Nishio, Mario, Perez Rodriguez, Jose, Saarikivi, Olli, Toub, Stephen, Veanes, Margus, Wan, Tiki, Xu, Eric

Volltext

Fast: A Transducer-Based Language for Tree Manipulation von D'antoni, Loris, Veanes, Margus, Livshits, Benjamin, Molnar, David

Volltext

Symbolic tree automata von Veanes, Margus, Bjørner, Nikolaj

Volltext

Regex matching with counting-set automata von Turoňová, Lenka, Holík, Lukáš, Lengál, Ondřej, Saarikivi, Olli, Veanes, Margus, Vojnar, Tomáš

Volltext

Symbolic String Transformations with Regular Lookahead and Rollback von Veanes, Margus

Volltext

Prepose: Privacy, Security, and Reliability for Gesture-Based Programming von Figueiredo, Lucas Silva, Livshits, Benjamin, Molnar, David, Veanes, Margus

Volltext

Loss of heterozygosity of CYP2D6 enhances the sensitivity of hepatocellular carcinomas to talazoparibResearch in context von Xiaonan Zhang, Natallia Rameika, Lei Zhong, Verónica Rendo, Margus Veanes, Snehangshu Kundu, Sandro Nuciforo, Jordan Dupuis, Muhammad Al Azhar, Ioanna Tsiara, Pauline Seeburger, Shahed Al Nassralla, Viktor Ljungström, Richard Svensson, Ivaylo Stoimenov, Per Artursson, Markus H. Heim, Daniel Globisch, Tobias Sjöblom

Volltext

Loss of heterozygosity of CYP2D6 enhances the sensitivity of hepatocellular carcinomas to talazoparib von Zhang, Xiaonan, Rameika, Natallia, Zhong, Lei, Rendo, Verónica, Veanes, Margus, Kundu, Snehangshu, Nuciforo, Sandro, Dupuis, Jordan, Al Azhar, Muhammad, Tsiara, Ioanna, Seeburger, Pauline, Al Nassralla, Shahed, Ljungström, Viktor, Svensson, Richard, Stoimenov, Ivaylo, Artursson, Per, Heim, Markus H., Globisch, Daniel, Sjöblom, Tobias

Volltext

Time for Mutants —Model-Based Mutation Testing with Timed Automata von Aichernig, Bernhard K., Lorber, Florian, Ničković, Dejan

Volltext

Theoretical Aspects of Symbolic Automata von Tamm, Hellis, Veanes, Margus

Volltext

Alternating simulation and IOCO von Veanes, Margus, Bjørner, Nikolaj

Volltext

Minimization of Symbolic Transducers von Saarikivi, Olli, Veanes, Margus

Volltext

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Volltext