A. Muscholl

发表

Anca Muscholl, Doron A. Peled, Dietrich Kuske, 2005, TACAS.
Anca Muscholl, Volker Diekert, V. Diekert, 2006, Int. J. Algebra Comput..
A. Muscholl, I. Walukiewicz, H. Gimbert, 2022, 2204.12409.
A. Muscholl, G. Puppis, 2019 .
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2015 .
F. Kuhn, I. Chatzigiannakis, P. Indyk, 2017 .
Anca Muscholl, Christian Hagenah, A. Muscholl, 2000, RAIRO Theor. Informatics Appl..
A. Muscholl, I. Walukiewicz, M. Zeitoun, 2008 .
A. Muscholl, Zhilin Wu, Jakub Michaliszyn, 2012 .
A. Muscholl, I. Walukiewicz, 2021, LICS.
D. Peleg, J., B. Rumpe, 2009 .
L. Segoufin, A. Muscholl, T. Schwentick, 2009, JACM.
Katherine Yelick, Jack Dongarra, Yves Robert, 2011, Encyclopedia of Parallel Computing.
Katherine Yelick, Maurice Herlihy, Jimmy Su, 2011, Encyclopedia of Parallel Computing.
Thomas Schwentick, Anca Muscholl, Claire David, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Anca Muscholl, Markus Lohrey, A. Muscholl, 2002, Inf. Comput..
Anca Muscholl, Yves Métivier, Pierre-André Wacrenier, 1997, SIROCCO.
Anca Muscholl, Volker Diekert, V. Diekert, 2011, Encyclopedia of Parallel Computing.
Thomas Schwentick, Anca Muscholl, Claire David, 2011, TOCL.
Anca Muscholl, Igor Walukiewicz, A. Muscholl, 2014, FSTTCS.
Thomas Schwentick, Anca Muscholl, Helmut Seidl, 2004, ICALP.
Thomas Schwentick, Anca Muscholl, Helmut Seidl, 2003, PODS '03.
A. Muscholl, I. Walukiewicz, M. Zeitoun, 2008 .
Anca Muscholl, Javier Esparza, Alin Stefanescu, 2003, CONCUR.
Anca Muscholl, Doron A. Peled, D. Peled, 2003, Scenarios: Models, Transformations and Tools.
Anca Muscholl, Tayssir Touili, Ahmed Bouajjani, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Anca Muscholl, Doron A. Peled, D. Peled, 2000, SAM.
Thomas Schwentick, Anca Muscholl, Claire David, 2009, JACM.
Anca Muscholl, Doron A. Peled, Elsa L. Gunter, 2001, International Journal on Software Tools for Technology Transfer.
Anca Muscholl, Zhendong Su, Doron A. Peled, 1998, FoSSaCS.
Anca Muscholl, Doron A. Peled, Blaise Genest, 2003, Lectures on Concurrency and Petri Nets.
Anca Muscholl, Dietrich Kuske, Blaise Genest, 2004, Developments in Language Theory.
Anca Muscholl, Dietrich Kuske, Blaise Genest, 2007, Fundam. Informaticae.
Thomas Schwentick, Anca Muscholl, Luc Segoufin, 2004, Theory of Computing Systems.
Anca Muscholl, Grégoire Sutre, Alexander Heußner, 2010, FoSSaCS.
A. Muscholl, Olivier Gauwin, Michael A. Raskin, 2019, Log. Methods Comput. Sci..
Anca Muscholl, A. Muscholl, 2015, ICALP.
Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2010, ICALP.
A. Muscholl, Olivier Gauwin, 2012 .
Anca Muscholl, Igor Walukiewicz, Marie Fortin, 2016, ArXiv.
Anca Muscholl, A. Muscholl, 2010, LATA.
Anca Muscholl, Blaise Genest, B. Genest, 2006, ICALP.
Anca Muscholl, Dietrich Kuske, Blaise Genest, 2006, Inf. Comput..
Anca Muscholl, Blaise Genest, B. Genest, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
D. Kuske, A. Muscholl, 2021, Handbook of Automata Theory.
Anca Muscholl, Helmut Seidl, Marc Zeitoun, 2002, J. Comput. Syst. Sci..
Anca Muscholl, Doron A. Peled, D. Peled, 2001, ICALP.
Anca Muscholl, Doron A. Peled, D. Peled, 1999, MFCS.
Anca Muscholl, Werner Ebinger, A. Muscholl, 1996, Theor. Comput. Sci..
Anca Muscholl, Volker Diekert, V. Diekert, 1993, Acta Informatica.
Anca Muscholl, A. Muscholl, 1996, Theor. Comput. Sci..
W. A. Apaza-Perez, C. Combastel, A. Zolghadri, 2021, Eur. J. Control.
Anca Muscholl, Igor Walukiewicz, Salvatore La Torre, 2015, CONCUR.
Anca Muscholl, Gabriele Puppis, Shankara Narayanan Krishna, 2019, MFCS.
Anca Muscholl, Gabriele Puppis, Vincent Penelle, 2018, FSTTCS.
Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2012, ICALP.
Anca Muscholl, Gabriele Puppis, Olivier Gauwin, 2017, Log. Methods Comput. Sci..
Anca Muscholl, Sven Schewe, S. Schewe, 2016, Theor. Comput. Sci..
Anca Muscholl, Christian Hagenah, A. Muscholl, 1998, MFCS.
Anca Muscholl, Yves Métivier, Emmanuel Godard, 1998, TAGT.
D. Peled, A. Muscholl, Zhendong Su, 1998, Foundations of Software Science and Computation Structure.
Loïc Hélouët, Anca Muscholl, Blaise Genest, 2003, CONCUR.
Anca Muscholl, Doron A. Peled, Marius Minea, 2004, FoSSaCS.
B. Genest, A. Muscholl, Doron A. Peled, 2003, Lectures on Concurrency and Petri Nets.
Anca Muscholl, Blaise Genest, B. Genest, 2002, Theory of Computing Systems.
Anca Muscholl, A. Muscholl, 1999, FoSSaCS.
L. Segoufin, A. Muscholl, T. Schwentick, 2006, PODS.
Meena Mahajan, Anca Muscholl, Thore Husfeldt, 2019, Bull. EATCS.
Anca Muscholl, Yves Métivier, Emmanuel Godard, 2004, Theory of Computing Systems.