Back to the list of the institutes
Publications
Journal: Journal of the ACM
Number of publications: 122023
- Miguel Romero, Marcin Wrochna , Stanislav Živný, Pliability and Approximating Max-CSPs, Journal of the ACM, 70 (6) 2023, p. 1-43. See in PBN
2021
- Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić, JÉrôme Leroux, Filip Mazowiecki, The Reachability Problem for Petri Nets Is Not Elementary, Journal of the ACM, 68 (1) 2021, p. 1-28. See in PBN
2018
- Marek Cygan , Stefan Kratsch, Jesper Nederlof, Fast Hamiltonicity Checking Via Bases of Perfect Matchings, Journal of the ACM, 46 (3) 2018, p. 1-46. See in PBN
- Wojciech Czerwiński , Wim Martens, Matthias Niewerth, Paweł Parys , Minimization of Tree Patterns, Journal of the ACM, 65 (4) 2018, p. 26:1-26:46. See in PBN
- Stefan Dziembowski , Krzysztof Pietrzak, Daniel Wichs, Non-Malleable Codes, Journal of the ACM, 65 (4) 2018, p. 1-32. See in PBN
2017
- Marek Cygan , Fedor V. Fomin, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, Jakub Pachocki, Arkadiusz Socała, Tight Lower Bounds on Graph Embedding Problems, Journal of the ACM, 64 (3) 2017, p. 1-22. See in PBN
2015
- Marek Cygan , Harold N. Gabow, Piotr Sankowski , Algorithmic Applications of Baur-Strassen's Theorem: Shortest Cycles, Diameter, and Matchings, Journal of the ACM, 2015. See in PBN
2014
- Filip Murlak , Shun'ichi Amano, Claire David, Leonid Libkin, XML Schema Mappings: Data Exchange and Metadata Management, Journal of the ACM, 61 (2) 2014, p. 12-12. See in PBN
2011
- Mikołaj Bojańczyk , Paweł Parys , XPath Evaluation in Linear Time, Journal of the ACM, 2011. See in PBN
2009
- Mikołaj Bojańczyk , Anca Muscholl, Thomas Schwentick, Luc Segoufin, Two-variable logic on data trees and XML reasoning, Journal of the ACM, 2009. See in PBN
2004
- Wojciech Plandowski , Satisfiability of word equations with constants is in PSPACE, Journal of the ACM, 2004. See in PBN
2000
- J Karhumaki, F Mignosi, Wojciech Plandowski , The expressibility of languages and relations by word equations, Journal of the ACM, 2000. See in PBN