Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 49350 results
Sort by: relevance publication year

On Synchronizing Tree Automata and Their Work–Optimal Parallel Run, Usable for Parallel Tree Pattern Matching

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

Authors: Štěpán Plachý | Jan Janoušek

In-Place Sorting

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

Authors: Viliam Geffert | Jozef Gajdoš

Robustness of Composed Timed Systems

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

Authors: Hacène Fouchal | Antoine Rollet | Abbas Tarhini

SCHEMA FOR PARALLEL INSERTION AND DELETION: REVISITED

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

Authors: LILA KARI | SHINNOSUKE SEKI

Turing Machines for Dummies

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

Authors: Peter van Emde Boas

The Complexity of Small Universal Turing Machines: A Survey

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

Authors: Turlough Neary | Damien Woods

Reversal-Bounded Counter Machines Revisited

BOOK CHAPTER published in Lecture Notes in Computer Science

Authors: Alain Finkel | Arnaud Sangnier

Tracking the Evolution of Code Clones

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

Authors: Tibor Bakota

Generalized Distance Polymatrix Games

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Alessandro Aloisio | Michele Flammini | Cosimo Vinci

The Weighted HOM-Problem Over Fields

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Andreea-Teodora Nász

Capabilities of Ultrametric Automata with One, Two, and Three States

BOOK CHAPTER published 2016 in Lecture Notes in Computer Science

Authors: Maksims Dimitrijevs

POI Recommendation Based on Locality-Specific Seasonality and Long-Term Trends

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

Authors: Elena Stefancova | Ivan Srba

Exact and Parameterized Algorithms for Choosability

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Ivan Bliznets | Jesper Nederlof

On the Induced Problem for Fixed-Template CSPs

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Rustem Takhanov

Algorithms that Access the Input via Queries

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

Authors: Thomas Erlebach

Amnesiac Flooding: Synchronous Stateless Information Dissemination

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

Authors: Volker Turau

The Order Type of Scattered Context-Free Orderings of Rank One Is Computable

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

Authors: Kitti Gelle | Szabolcs Iván

On Languages of One-Dimensional Overlapping Tiles

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: David Janin

Alternative Parameterizations for Cluster Editing

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

Authors: Christian Komusiewicz | Johannes Uhlmann

Parameterizing Role Coloring on Forests

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

Authors: Sukanya Pandey | Venkatesh Raman | Vibha Sahlot