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

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

Abiteboul, Serge;Bourhis, Pierre;Muscholl, Anca;Wu, Zhilin
Recursive queries on trees and data trees
the 16th International Conference