Ikuti
Mika Göös
Mika Göös
Email yang diverifikasi di epfl.ch - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Deterministic communication vs. partition number
M Goos, T Pitassi, T Watson
SIAM Journal on Computing 47 (6), 2435-2450, 2018
1722018
Locally checkable proofs in distributed computing
M Göös, J Suomela
Theory of Computing 12, 1-33, 2016
166*2016
Rectangles are nonnegative juntas
M Goos, S Lovett, R Meka, T Watson, D Zuckerman
SIAM Journal on Computing 45 (5), 1835-1869, 2016
1362016
Query-to-communication lifting for BPP
M Göös, T Pitassi, T Watson
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS …, 2017
1142017
Communication lower bounds via critical block sensitivity
M Göös, T Pitassi
Proceedings of the forty-sixth annual ACM symposium on Theory of computing …, 2014
1062014
Monotone circuit lower bounds from resolution
A Garg, M Göös, P Kamath, D Sokolov
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing …, 2018
742018
Lower bounds for clique vs. independent set
M Göös
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 1066-1076, 2015
692015
The landscape of communication complexity classes
M Göös, T Pitassi, T Watson
computational complexity 27 (2), 245-304, 2018
672018
Extension complexity of independent set polytopes
M Goos, R Jain, T Watson
SIAM Journal on Computing 47 (1), 241-269, 2018
652018
Randomized communication versus partition number
M Göös, TS Jayram, T Pitassi, T Watson
ACM Transactions on Computation Theory (TOCT) 10 (1), 1-20, 2018
59*2018
Adventures in monotone complexity and TFNP
M Göös, P Kamath, R Robere, D Sokolov
10th Innovations in Theoretical Computer Science Conference (ITCS 2019), 38 …, 2019
512019
Randomized distributed decision
P Fraigniaud, M Göös, A Korman, M Parter, D Peleg
Distributed Computing 27 (6), 419-434, 2014
502014
What can be decided locally without identifiers?
P Fraigniaud, M Göös, A Korman, J Suomela
Proceedings of the 2013 ACM symposium on Principles of distributed computing …, 2013
482013
Lower bounds for local approximation
M Göös, J Hirvonen, J Suomela
Journal of the ACM (JACM) 60 (5), 1-23, 2013
472013
Search methods for tile sets in patterned DNA self-assembly
M Göös, T Lempiäinen, E Czeizler, P Orponen
Journal of Computer and System Sciences 80 (1), 297-319, 2014
36*2014
Automating cutting planes is NP-hard
M Göös, S Koroth, I Mertz, T Pitassi
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing …, 2020
352020
Zero-information protocols and unambiguity in arthur-merlin communication
M Göös, T Pitassi, T Watson
Proceedings of the 2015 Conference on Innovations in Theoretical Computer …, 2015
332015
Linear-in-Delta lower bounds in the LOCAL model
M Göös, J Hirvonen, J Suomela
Proceedings of the 2014 ACM symposium on Principles of distributed computing …, 2014
332014
Automating algebraic proof systems is np-hard
M Göös, J Nordström, T Pitassi, R Robere, SF de Rezende, D Sokolov
Electronic colloquium on computational complexity 27 (64), 2020
28*2020
Separations in proof complexity and TFNP
M Göös, A Hollender, S Jain, G Maystre, W Pires, R Robere, R Tao
Journal of the ACM 71 (4), 1-45, 2024
272024
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20