Anca Muscholl
Université de Bordeaux
H-index: 33
Europe-France
Top articles of Anca Muscholl
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ICALP 2024-Call for Papers | Bulletin of EATCS | Anca Muscholl | 2023/10/18 |
Report on ICALP 2023 | Bulletin of EATCS | Anca Muscholl | 2023/10/18 |
Model-checking parametric lock-sharing systems against regular constraints | arXiv preprint arXiv:2307.04925 | Corto Mascle Anca Muscholl Igor Walukiewicz | 2023/7/10 |
Regular Transformations (Dagstuhl Seminar 23202) | Rajeev Alur Mikołaj Bojańczyk Emmanuel Filiot Anca Muscholl Sarah Winter | 2023 | |
33rd International Conference on Concurrency Theory | Bartek Klin Sławomir Lasota Anca Muscholl | 2022/9 | |
Active learning for sound negotiations✱ | Anca Muscholl Igor Walukiewicz | 2022/8/2 | |
Distributed controller synthesis for deadlock avoidance | arXiv preprint arXiv:2204.12409 | Hugo Gimbert Corto Mascle Anca Muscholl Igor Walukiewicz | 2022/4/26 |
LIPIcs, Volume 243, CONCUR 2022, Complete Volume | Bartek Klin Sławomir Lasota Anca Muscholl | 2022 | |
Abstraction-based control synthesis using partial information | European Journal of Control | W Alejandro Apaza-Perez Christophe Combastel Igor Walukiewicz Anca Muscholl Ali Zolghadri | 2022/1/1 |
Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR 2022) | Maria Florina Balcan Kilian Q Weinberger | 2016/6/19 | |
Communicating automata. | Dietrich Kuske Anca Muscholl | 2021/9/13 | |
Pumping lemmas for weighted automata | Logical Methods in Computer Science | Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros | 2021/7/21 |
One-way Resynchronizability of Word Transducers. | Sougata Bose Shankara Narayanan Krishna Anca Muscholl Gabriele Puppis | 2021/3/22 | |
Implicit automata in linear logic and categorical transducer theory | Patrick Baillot Stefano Guerrini Anca Muscholl Daniela Petrişan Damien Pous | 2021/12/3 | |
Minimization of visibly pushdown automata is NP-complete | Logical Methods in Computer Science | Olivier Gauwin Anca Muscholl Michael Raskin | 2020/2/13 |
28th EACSL Annual Conference on Computer Science Logic | Véronique Cortier Anuj Dawar Artur Jeż Delia Kesner Eduardo Bonelli | 2020 | |
LIPIcs, Volume 152, CSL'20, Complete Volume | Maribel Fernández Anca Muscholl | 2020 | |
Report on ICALP 2020 | Bulletin of EATCS | Artur Czumaj Anca Muscholl | 2020/10/29 |
The Presburger Award 2020-Laudatio for Dmitriy Zhuk | Bulletin of EATCS | Anca Muscholl | 2020/6/30 |