Publikacje

Czasopismo: Journal of the ACM

Liczba publikacji: 12

2023

• Miguel Romero, Marcin Wrochna , Stanislav Živný, Pliability and Approximating Max-CSPs, Journal of the ACM, 70 (6) 2023, s. 1-43. Zobacz w 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, s. 1-28. Zobacz w PBN

2018

• Marek Cygan , Stefan Kratsch, Jesper Nederlof, Fast Hamiltonicity Checking Via Bases of Perfect Matchings, Journal of the ACM, 46 (3) 2018, s. 1-46. Zobacz w PBN
• Wojciech Czerwiński , Wim Martens, Matthias Niewerth, Paweł Parys , Minimization of Tree Patterns, Journal of the ACM, 65 (4) 2018, s. 26:1-26:46. Zobacz w PBN
• Stefan Dziembowski , Krzysztof Pietrzak, Daniel Wichs, Non-Malleable Codes, Journal of the ACM, 65 (4) 2018, s. 1-32. Zobacz w 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, s. 1-22. Zobacz w 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. Zobacz w 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, s. 12-12. Zobacz w PBN

2011

• Mikołaj Bojańczyk , Paweł Parys , XPath Evaluation in Linear Time, Journal of the ACM, 2011. Zobacz w 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. Zobacz w PBN

2004

• Wojciech Plandowski , Satisfiability of word equations with constants is in PSPACE, Journal of the ACM, 2004. Zobacz w PBN

2000

• J Karhumaki, F Mignosi, Wojciech Plandowski , The expressibility of languages and relations by word equations, Journal of the ACM, 2000. Zobacz w PBN