List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Succinct determinisation of counting automata via sphere construction | 2024-04-19 | Paper |
| Incremental dead state detection in logarithmic time | 2024-01-12 | Paper |
| Simulation algorithms for symbolic automata Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Minimization of symbolic transducers | 2022-08-12 | Paper |
| The power of symbolic automata and transducers | 2022-07-01 | Paper |
| Theoretical aspects of symbolic automata SOFSEM 2018: Theory and Practice of Computer Science | 2020-10-21 | Paper |
| Forward bisimulations for nondeterministic symbolic finite automata Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Monadic decomposition Journal of the ACM | 2018-05-17 | Paper |
| Minimization of symbolic tree automata Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Monadic second-order logic on finite sequences Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Equivalence of finite-valued symbolic finite transducers Lecture Notes in Computer Science | 2016-12-21 | Paper |
| Data-parallel string-manipulating programs Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Program boosting: program synthesis via crowd-sourcing Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Construction of natural cycletrees Information Processing Letters | 2016-05-26 | Paper |
| Symbolic tree transducers Perspectives of Systems Informatics | 2015-12-07 | Paper |
| Symbolic string transformations with regular lookahead and rollback Lecture Notes in Computer Science | 2015-12-03 | Paper |
| Extended symbolic finite automata and transducers Formal Methods in System Design | 2015-10-20 | Paper |
| Symbolic finite state transducers: algorithms and applications Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
| Symbolic tree automata Information Processing Letters | 2014-12-15 | Paper |
| Static analysis of string encoders and decoders Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Skolemization modulo theories Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
| Minimization of symbolic automata Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Applications of symbolic finite automata Implementation and Application of Automata | 2013-08-07 | Paper |
| scientific article; zbMATH DE number 6131600 (Why is no real title available?) | 2013-01-28 | Paper |
| Symbolic automata: the toolkit Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
| An Evaluation of Automata Algorithms for String Analysis Lecture Notes in Computer Science | 2011-02-15 | Paper |
| Qex: symbolic SQL query explorer Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
| Composing model programs for analysis The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
| Symbolic automata constraint solving Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| Symbolic bounded conformance checking of model programs Perspectives of Systems Informatics | 2010-02-02 | Paper |
| Input-Output Model Programs Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
| On Bounded Reachability of Programs with Set Comprehensions Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
| Can abstract state machines be useful in language theory? Theoretical Computer Science | 2007-05-11 | Paper |
| Play to Test Formal Approaches to Software Testing | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 1954371 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1951206 (Why is no real title available?) | 2003-07-21 | Paper |
| On the undecidability of second-order unification Information and Computation | 2003-01-14 | Paper |
| Logic with equality: Partisan corroboration and shifted pairing Information and Computation | 2003-01-14 | Paper |
| Farmer's theorem revisited Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1670522 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1405649 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1392284 (Why is no real title available?) | 2000-01-24 | Paper |
| scientific article; zbMATH DE number 1302628 (Why is no real title available?) | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1189065 (Why is no real title available?) | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1088208 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 1110839 (Why is no real title available?) | 1998-01-28 | Paper |
Research outcomes over time
This page was built for person: Margus Veanes
