Searching for authors named "Margus Veanes" – sorted by Relevance.
43 documents found, showing 1 through 10.
Next 10 →
-
On Computational Complexity of Basic Decision Problems of Finite Tree Automata
- … of Basic Decision Problems of Finite Tree Automata Margus Veanes email: margus@(email omitted); Computing Science…
- Cited by 8 (3 self) – Add To MetaCart
-
On Simultaneous Rigid E-Unification
- … UPPSALA THESES IN COMPUTING SCIENCE 29 On Simultaneous Rigid E-Unification Margus Veanes…
- Cited by 11 (2 self) – Add To MetaCart
-
Uniform Representation of Recursively Enumerable Sets with Simultaneous Rigid E-Unification
- … Enumerable Sets with Simultaneous Rigid E-Unification Margus Veanes Box 311, S-751 05 Uppsala, Sweden Phone…
- Cited by 8 (2 self) – Add To MetaCart
-
Some Undecidable Problems Related to the Herbrand Theorem
- … Problems Related to the Herbrand Theorem Yuri Gurevich Margus Veanes EECS Department Computing Science…
- Cited by 6 (5 self) – Add To MetaCart
-
On Unification Problems in Restricted Second-Order Languages
- …'Investigaci'o en Intel\Deltalig`encia Artificial Consejo Superior de Investigaciones Cient'ificas Margus Veanes Max…
- Cited by 5 (2 self) – Add To MetaCart
-
On Bounded Reachability of Programs with Set
- …On Bounded Reachability of Programs with Set Comprehensions Margus Veanes 1 and Ando Saabas 2⋆ 1…
- Add To MetaCart
-
Protocol Modeling with Model Program Composition
- …Protocol Modeling with Model Program Composition Margus Veanes and Wolfram Schulte Microsoft…
- Add To MetaCart
-
Enabling the Future Auto with Model-Driven Services
- …Enabling the Future Auto with Model-Driven Services Johannes Helander and Margus Veanes Microsoft…
- Add To MetaCart
-
State exploration with multiple state groupings
- …State Exploration with Multiple State Groupings ⋆ Colin Campbell and Margus Veanes Microsoft…
- Cited by 7 (6 self) – Add To MetaCart
-
Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines
- … Glässer glaesser@(email omitted); Heinz Nixdorf Institute, Paderborn, Germany Margus Veanes margus…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
