Journal: Theory Comput. Syst.

Volume 66, Issue 5

911 -- 956Mathias Hedenborg, Jonas Lundberg, Welf Löwe, Martin Trapp 0002. A Framework for Memory Efficient Context-Sensitive Program Analysis
957 -- 995Chryssis Georgiou, Marios Mavronicolas, Burkhard Monien. (In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions
996 -- 1018Suman Banerjee, Rogers Mathew, Fahad Panolan. Target Set Selection Parameterized by Vertex Cover and More
1019 -- 1045Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer. Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs