1.A Lower Bound on Web Services Composition

作　　者：Anca Muscholl ;Igor Walukiewicz

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:5)2008

出版社：Technical University of Braunschweig

文章 ID：46838692

文章详细全文下载

2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Maribel Fern{'a}ndez ;Anca Muscholl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494201

文章详细全文下载

3.On Synthesis of Resynchronizers for Transducers

作　　者：Sougata Bose ;Shankara Narayanan Krishna ;Anca Muscholl 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.69

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892019

文章详细全文下载

4.Equivalence of Finite-Valued Streaming String Transducers Is Decidable

作　　者：Anca Muscholl ;Gabriele Puppis

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.122

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892257

文章详细全文下载

5.On the Decomposition of Finite-Valued Streaming String Transducers

作　　者：Paul Gallot ;Anca Muscholl ;Gabriele Puppis 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:34:1-34:14.doi:10.4230/LIPIcs.STACS.2017.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698363

文章详细全文下载

6.Front Matter, Table of Contents, Preface, Organization, List of Authors

作　　者：Ioannis Chatzigiannakis ;Piotr Indyk ;Fabian Kuhn 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:0:i-0:xlii.doi:10.4230/LIPIcs.ICALP.2017.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198371955

文章详细全文下载

7.Automated Synthesis: a Distributed Viewpoint

作　　者：Anca Muscholl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:3:1-3:5.doi:10.4230/LIPIcs.FSTTCS.2017.3

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015388

文章详细

8.Reachability Analysis of Communicating Pushdown Systems

作　　者：Alexander Heußner ;Jérôme Leroux ;Anca Muscholl 等

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:23)2012

出版社：Technical University of Braunschweig

文章 ID：264691964

文章详细全文下载

9.Verifying Recursive Active Documents with Positive Data Tree Rewriting

作　　者：Blaise Genest ;Anca Muscholl ;Zhilin Wu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:469-480.doi:10.4230/LIPIcs.FSTTCS.2010.469

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845794

文章详细全文下载

10.Distributed Synthesis for Acyclic Architectures

作　　者：Anca Muscholl ;Igor Walukiewicz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:639-651.doi:10.4230/LIPIcs.FSTTCS.2014.639

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846639

文章详细全文下载

	有本地全文	17篇
	有全文链接	2篇

	2020	1篇
	2019	3篇
	2018	3篇
	2017	2篇
	2016	4篇

	2015	2篇
	2014	1篇
	2012	1篇
	2010	1篇
	2008	1篇

	Anca Muscholl	19篇
	Gabriele Puppis	7篇
	Igor Walukiewicz	4篇
	Olivier Gauwin	3篇
	F{\'e}lix Baschenis	2篇

	Sougata Bose	2篇
	Vincent Penelle	2篇
	Alexander Heußner	1篇
	Blaise Genest	1篇
	Denis Kuperberg	1篇
	Emmanuel Filiot	1篇
	Fabian Kuhn	1篇
	Grégoire Sutre	1篇
	Ioannis Chatzigiannakis	1篇
	Javier Esparza	1篇
	Jérôme Leroux	1篇
	Maribel Fern{'a}ndez	1篇
	Nathan Lhote	1篇
	Paul Gallot	1篇
	Piotr Faliszewski	1篇
	Piotr Indyk	1篇
	Rolf Niedermeier	1篇
	Salvatore La Torre	1篇
	Shankara Narayanan Krishna	1篇
	Sylvain Salvati	1篇
	Zhilin Wu	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Anca Muscholl")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	17篇
	Logical Methods in Computer Science	2篇