default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer and System Sciences, Volume 136
Volume 136, September 2023
- David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie:
Complexity of verification in self-assembly with prebuilt assemblies. 1-16
- Siddharth Gupta
, Guy Sa'ar, Meirav Zehavi:
Grid recognition: Classical and parameterized computational perspectives. 17-62 - Paloma T. Lima, Vinícius Fernandes dos Santos, Ignasi Sau, Uéverton S. Souza, Prafullkumar Tale:
Reducing the vertex cover number via edge contractions. 63-87 - Tomoyuki Yamakami:
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis. 88-112 - Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell:
Markov chains and unambiguous automata. 113-134 - Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan:
Addition machines, automatic functions and open problems of Floyd and Knuth. 135-156
- Lukas Behrendt, Katrin Casel, Tobias Friedrich, J. A. Gregor Lagodzinski, Alexander Löser, Marcus Wilhelm:
From symmetry to asymmetry: Generalizing TSP approximations by parametrization. 157-170
- Fedor V. Fomin, Petr A. Golovach, Nidhi Purohit:
Parameterized complexity of categorical clustering with size constraints. 171-194 - Miika Hannula, Xinyi Li, Sebastian Link:
Controlling entity integrity with key sets. 195-219 - Valentin Bartier, Nicolas Bousquet, Amer E. Mouawad:
Galactic token sliding. 220-248 - Julio Aracena, Adrien Richard, Lilian Salinas:
Synchronizing Boolean networks asynchronously. 249-279
- Ashwin Jacob, Diptapriyo Majumdar, Venkatesh Raman:
Deletion to scattered graph classes II - improved FPT algorithms for deletion to pairs of graph classes. 280-301 - Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith:
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. 302-326
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
