E-LIB Suche - Ergebnisse für: Muscholl, Anca

1

Active learning for sound negotiations✱:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Muscholl, Anca ; Walukiewicz, Igor - p. 1-12 , 2022

2

Pumping lemmas for weighted automata:

Chattopadhyay, Agnishom ; Mazowiecki, Filip ; Muscholl, Anca.
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

3

One-way Resynchronizability of Word Transducers:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Bose, Sougata ; Krishna, S. N. ; Muscholl, Anca. - p. 124-143 , 2021

Link: https://doi.org/10.1007/..

4

Untwisting two-way transducers in elementary time:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Baschenis, Félix ; Gauwin, Olivier ; Muscholl, Anca. - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

5

Static analysis of deterministic negotiations:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Esparza, Javier ; Muscholl, Anca ; Walukiewicz, Igor - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

6

41st International Symposium on Mathematical Foundations of..

MFCS 2016, August 22-26, 2016, Kraków, Poland LIPICs - Leibniz international proceedings in informatics ; vol. 58

Faliszewski, Piotr ; Muscholl, Anca ; Niedermeier, Rolf , August, 2016

Link: https://doi.org/10.4230/..

7

Controlling loosely cooperating processes:

Muscholl, Anca ; Schewe, Sven
Theoretical Computer Science. 611 (2016) - p. 136-141 , 2016

Link: https://doi.org/10.1016/..

8

Preface of STACS 2013 Special Issue:

Muscholl, Anca ; Dietzfelbinger, Martin
Theory of Computing Systems. 58 (2015) 4 - p. 503-505 , 2015

Link: https://doi.org/10.1007/..

9

Walking on Data Words:

Manuel, Amaldev ; Muscholl, Anca ; Puppis, Gabriele
Theory of Computing Systems. 59 (2015) 2 - p. 180-208 , 2015

Link: https://doi.org/10.1007/..

10

Foundations of Software Science and Computation Structures

17th International Conference, FOSSACS 2014, Held as Part o... Lecture Notes in Computer Science ; 8412;SpringerLink, Bücher

Muscholl, Anca , 2014

Link: https://doi.org/10.1007/..

11

A quadratic construction for Zielonka automata with acyclic..:

Krishna, Siddharth ; Muscholl, Anca
Theoretical Computer Science. 503 (2013) - p. 109-114 , 2013

Link: https://doi.org/10.1016/..

12

Recursive queries on trees and data trees:

, In: Proceedings of the 16th International Conference on Database Theory,

Abiteboul, Serge ; Bourhis, Pierre ; Muscholl, Anca. - p. 93-104 , 2013

Link: https://dl.acm.org/doi/1..

13

Two-variable logic on data words:

Bojańczyk, Mikołaj ; David, Claire ; Muscholl, Anca..
ACM Transactions on Computational Logic. 12 (2011) 4 - p. 1-26 , 2011

Link: https://doi.org/10.1145/..

14

Two-variable logic on data words:

Bojańczyk, Mikołaj ; David, Claire ; Muscholl, Anca..
ACM Transactions on Computational Logic (TOCL). 12 (2011) 4 - p. 1-26 , 2011

Link: https://dl.acm.org/doi/1..

15

SOFSEM 2010: theory and practice of computer science

36th Conference on Current Trends in Theory and Practice of... Lecture notes in computer science ; 5901

Leeuwen, Jan van ; Muscholl, Anca ; Peleg, David.. , 2010

Link: http://dx.doi.org/10.100..