暂无分享,去创建一个
Nicolas Bousquet | Laurent Feuilloley | Th'eo Pierron | N. Bousquet | Laurent Feuilloley | Théo Pierron
[1] Jakub Gajarský,et al. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences , 2012, Log. Methods Comput. Sci..
[2] Hans L. Bodlaender,et al. A Partial k-Arboretum of Graphs with Bounded Treewidth , 1998, Theor. Comput. Sci..
[3] Paul D. Seymour,et al. Graph minors. I. Excluding a forest , 1983, J. Comb. Theory, Ser. B.
[4] Boaz Patt-Shamir,et al. Self-Stabilization by Local Checking and Global Reset (Extended Abstract) , 1994, WDAG.
[5] Robin Thomas,et al. Deciding First-Order Properties for Sparse Graphs , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.
[6] Pierre Fraigniaud,et al. Survey of Distributed Decision , 2016, Bull. EATCS.
[7] Pierre Fraigniaud,et al. Local Certification of Graphs with Bounded Genus , 2020, Discret. Appl. Math..
[8] Ami Paz,et al. Approximate Proof-Labeling Schemes , 2017, SIROCCO.
[9] Andrzej Pelc,et al. Local Decision and Verification with Bounded-Size Outputs , 2013, SSS.
[10] Martin Grohe,et al. Algorithmic Meta Theorems , 2008, WG.
[11] Wolfgang Thomas,et al. On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science , 1993, TAPSOFT.
[12] Pierre Fraigniaud,et al. Towards a complexity theory for local distributed computing , 2013, JACM.
[13] Martin Grohe,et al. The complexity of first-order and monadic second-order logic revisited , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[14] Pierre Fraigniaud,et al. A hierarchy of local decision , 2016, ICALP.
[15] Fabian Reiter,et al. Distributed Graph Automata , 2014, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
[16] Mihalis Yannakakis,et al. Optimization, approximation, and complexity classes , 1991, STOC '88.
[17] Heger Arfaoui,et al. Distributedly Testing Cycle-Freeness , 2014, WG.
[18] Shlomi Dolev,et al. Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..
[19] Mika Göös,et al. Locally Checkable Proofs in Distributed Computing , 2016, Theory Comput..
[20] Shay Kutten,et al. Proof labeling schemes , 2005, PODC '05.
[21] Michael Elberfeld,et al. Where First-Order and Monadic Second-Order Logic Coincide , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
[22] Jaroslav Nesetril,et al. Tree-depth, subgraph coloring and homomorphism bounds , 2006, Eur. J. Comb..
[23] Seth Pettie,et al. Near-optimal Distributed Triangle Enumeration via Expander Decompositions , 2021, J. ACM.
[24] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..
[25] Kyoto University,et al. Model Checking Lower Bounds for Simple Graphs , 2013, 1302.4266.
[26] Martin Grohe,et al. Deciding first-order properties of nowhere dense graphs , 2013, STOC.
[27] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[28] Nicolas Bousquet,et al. Local certification of graph decompositions and applications to minor-free classes , 2021, OPODIS.
[29] Pierre Fraigniaud,et al. Redundancy in distributed proofs , 2018, Distributed Computing.
[30] Moti Yung,et al. Memory-Efficient Self Stabilizing Protocols for General Networks , 1990, WDAG.