Margus Veanes

Available identifiers

zbMath Open veanes.margusMaRDI QIDQ286961

List of research outcomes

Publication	Date of Publication	Type
Simulation algorithms for symbolic automata	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	2020-10-21	Paper
Forward Bisimulations for Nondeterministic Symbolic Finite Automata	2020-08-05	Paper
Monadic Decomposition	2018-05-17	Paper
Minimization of Symbolic Tree Automata	2018-04-23	Paper
Monadic second-order logic on finite sequences	2017-10-20	Paper
Equivalence of Finite-Valued Symbolic Finite Transducers	2016-12-21	Paper
Data-Parallel String-Manipulating Programs	2016-09-29	Paper
Program Boosting	2016-09-29	Paper
Construction of natural cycletrees	2016-05-26	Paper
Symbolic Tree Transducers	2015-12-07	Paper
Symbolic String Transformations with Regular Lookahead and Rollback	2015-12-03	Paper
Extended symbolic finite automata and transducers	2015-10-20	Paper
Symbolic finite state transducers	2015-09-11	Paper
RIGID REACHABILITY, THE NON-SYMMETRIC FORM OF RIGID E-UNIFICATION	2015-04-29	Paper
Symbolic tree automata	2014-12-15	Paper
Static Analysis of String Encoders and Decoders	2014-11-03	Paper
Skolemization Modulo Theories	2014-09-08	Paper
Minimization of symbolic automata	2014-04-10	Paper
Applications of Symbolic Finite Automata	2013-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4904149	2013-01-28	Paper
Symbolic Automata: The Toolkit	2012-06-29	Paper
An Evaluation of Automata Algorithms for String Analysis	2011-02-15	Paper
Qex: Symbolic SQL Query Explorer	2011-01-07	Paper
Composing model programs for analysis	2010-10-22	Paper
Symbolic Automata Constraint Solving	2010-10-12	Paper
Symbolic Bounded Conformance Checking of Model Programs	2010-02-02	Paper
Input-Output Model Programs	2009-08-20	Paper
On Bounded Reachability of Programs with Set Comprehensions	2009-01-27	Paper
Can abstract state machines be useful in language theory?	2007-05-11	Paper
Play to Test	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4415242	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4413699	2003-07-21	Paper
Logic with equality: Partisan corroboration and shifted pairing	2003-01-14	Paper
On the undecidability of second-order unification	2003-01-14	Paper
Farmer's theorem revisited	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2753719	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4938629	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4936123	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4249176	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3838767	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4364523	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4375199	1998-01-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Margus Veanes