SOFSEM 2023: Theory and Practice of Computer Science

BOOK published 2023 in Lecture Notes in Computer Science

Editors: Leszek Gąsieniec

Simulating one-reversal multicounter machines by partially blind multihead finite automata

JOURNAL ARTICLE published December 2008 in Theoretical Computer Science

Authors: Alan Deckelbaum

On the Undecidability of the Tiling Problem

BOOK CHAPTER published in SOFSEM 2008: Theory and Practice of Computer Science

Authors: Jarkko Kari

Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: Marcella Anselmo | Dora Giammarresi | Maria Madonia

SOFSEM 2024: Theory and Practice of Computer Science

BOOK published 2024 in Lecture Notes in Computer Science

Editors: Henning Fernau | Serge Gaspers | Ralf Klasing

Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement

BOOK CHAPTER published 2011 in Lecture Notes in Computer Science

Authors: Ehsan Chiniforooshan | David Doty | Lila Kari | Shinnosuke Seki

Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Yoshito Kawasaki | Diptarama Hendrian | Ryo Yoshinaka | Ayumi Shinohara

Insertion Operations on Deterministic Reversal-Bounded Counter Machines

BOOK CHAPTER published 2015 in Language and Automata Theory and Applications

Authors: Joey Eremondi | Oscar H. Ibarra | Ian McQuillan

Simulation Problems for One-Counter Machine

BOOK CHAPTER published in SOFSEM’99: Theory and Practice of Informatics

Authors: Petr Jančar | Faron Moller | 1Zdeněk Sawa

Hierarchies of one-way multihead automata languages

BOOK CHAPTER published in Automata, Languages and Programming

Authors: Marek Chrobak

Element Distinctness and Sorting on One-Tape Off-Line Turing Machines

BOOK CHAPTER published in SOFSEM 2008: Theory and Practice of Computer Science

Authors: Holger Petersen

Balanced Substructures in Bicolored Graphs

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: P. S. Ardra | R. Krithika | Saket Saurabh | Roohani Sharma

Snakes and Cellular Automata: Reductions and Inseparability Results

BOOK CHAPTER published 2011 in Computer Science – Theory and Applications

Authors: Jarkko Kari

Reversal complexity of multicounter and multihead machines

BOOK CHAPTER published in STACS 87

Authors: Juraj Hromkovič

ORTHOGONAL SHUFFLE ON TRAJECTORIES

JOURNAL ARTICLE published January 2011 in International Journal of Foundations of Computer Science

Authors: MARK DALEY | LILA KARI | SHINNOSUKE SEKI | PETR SOSÌK

Behavioral Strengths and Weaknesses of Various Models of Limited Automata

BOOK CHAPTER published 2019 in SOFSEM 2019: Theory and Practice of Computer Science

Authors: Tomoyuki Yamakami

On the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines

BOOK CHAPTER published 2023 in Lecture Notes in Computer Science

Authors: Klaus Jansen | Kai Kahler

Drawing Two Posets

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Guido Brückner | Vera Chekan

Asymptotic Approximation by Regular Languages

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Ryoma Sin’ya

Invited Talk: Resilient Distributed Algorithms

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Merav Parter