User: Guest  Login
Sort by:
and:

Muscholl, Anca;Seidl, Helmut;Walukiewicz, Igor
Reachability for Dynamic Parametric Processes
Lecture Notes in Computer Science
Springer International Publishing
2017
Muscholl, Anca
Automated Synthesis of Distributed Controllers
Automata, Languages, and Programming
Springer Berlin Heidelberg
2015
Esparza, Javier;Muscholl, Anca;Walukiewicz, Igor
Static analysis of deterministic negotiations
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
IEEE
2017
Esparza, Javier;Kuperberg, Denis;Muscholl, Anca;Walukiewicz, Igor
Soundness in negotiations
Logical Methods in Computer Science ; Volume 14
2018
Issue 1 ; 1860-5974
La Torre, Salvatore;Muscholl, Anca;Walukiewicz, Igor
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2015
Baschenis, Félix;Gauwin, Olivier;Muscholl, Anca;Puppis, Gabriele
Minimizing Resources of Sweeping and Streaming String Transducers
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2016
Abiteboul, Serge;Bourhis, Pierre;Muscholl, Anca;Wu, Zhilin
Recursive queries on trees and data trees
the 16th International Conference
Sort by:
and: