Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 16645 results
Sort by: relevance publication year
Showing results for ISSN matching 0304-3975

Group search of the plane with faulty robots

JOURNAL ARTICLE published November 2019 in Theoretical Computer Science

Research funded by Agence Nationale de la Recherche (anr-13-js02-0002)

Authors: Jurek Czyzowicz | Maxime Godon | Evangelos Kranakis | Arnaud Labourel

https://doi.org/10.1016/j.tcs.2018.09.029 Actions

A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over Z/pZ

JOURNAL ARTICLE published October 2019 in Theoretical Computer Science

Authors: Jeremy F. Alm | Andrew Ylvisaker

https://doi.org/10.1016/j.tcs.2019.05.019 Actions

A linear time algorithm for connected p-centdian problem on block graphs

JOURNAL ARTICLE published June 2022 in Theoretical Computer Science

Authors: Kien Trung Nguyen | Wen Chean Teh | Nguyen Thanh Hung | Huong Nguyen-Thu

https://doi.org/10.1016/j.tcs.2022.05.019 Actions

A 5k-vertex kernel for 3-path vertex cover

JOURNAL ARTICLE published May 2023 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (61972070)

Authors: Mingyu Xiao | Shaowei Kou

https://doi.org/10.1016/j.tcs.2023.113872 Actions

Syntactic view of sigma-tau generation of permutations

JOURNAL ARTICLE published August 2021 in Theoretical Computer Science

Authors: Wojciech Rytter | Wiktor Zuba

https://doi.org/10.1016/j.tcs.2021.06.008 Actions

On the approximability of robust network design

JOURNAL ARTICLE published March 2021 in Theoretical Computer Science

Authors: Yacine Al-Najjar | Walid Ben-Ameur | Jérémie Leguay

https://doi.org/10.1016/j.tcs.2021.01.026 Actions

Cops, a fast robber and defensive domination on interval graphs

JOURNAL ARTICLE published November 2019 in Theoretical Computer Science

Research funded by Narodowe Centrum Nauki (2015/17/B/ST6/01887)

Authors: Dariusz Dereniowski | Tomáš Gavenčiak | Jan Kratochvíl

https://doi.org/10.1016/j.tcs.2018.09.031 Actions

How many zombies are needed to catch the survivor on toroidal grids?

JOURNAL ARTICLE published November 2019 in Theoretical Computer Science

Research funded by Natural Sciences and Engineering Research Council of Canada (RGPIN-2017-04402)

Authors: Paweł Prałat

https://doi.org/10.1016/j.tcs.2018.05.021 Actions

Polynomial time multiplication and normal forms in free bands

JOURNAL ARTICLE published April 2023 in Theoretical Computer Science

Research funded by Engineering and Physical Sciences Research Council (EP/V520123/1)

Authors: R. Cirpons | J.D. Mitchell

https://doi.org/10.1016/j.tcs.2023.113783 Actions

A generalization of properly colored paths and cycles in edge-colored graphs

JOURNAL ARTICLE published February 2023 in Theoretical Computer Science

Authors: Hortensia Galeana-Sánchez | Felipe Hernández-Lorenzana | Rocío Sánchez-López

https://doi.org/10.1016/j.tcs.2022.12.029 Actions

A new lattice-based online/offline signatures framework for low-power devices

JOURNAL ARTICLE published June 2023 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (61902361,62071280,62072276,62172258)

Authors: Pingyuan Zhang | Haining Yang | Liang Zhu | Yanhua Zhang | Hao Wang | Qiuliang Xu

https://doi.org/10.1016/j.tcs.2023.113942 Actions

A relaxed condition for avoiding the occur-check

JOURNAL ARTICLE published October 2023 in Theoretical Computer Science

Authors: Włodzimierz Drabent

https://doi.org/10.1016/j.tcs.2023.114107 Actions

On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note)

JOURNAL ARTICLE published November 2019 in Theoretical Computer Science

Research funded by Narodowe Centrum Nauki (2014/13/B/ST6/00770)

Authors: Wojciech Plandowski | Aleksy Schubert

https://doi.org/10.1016/j.tcs.2018.10.022 Actions

A note about words which coincide except in one position

JOURNAL ARTICLE published October 2019 in Theoretical Computer Science

Authors: Margot Bruneaux

https://doi.org/10.1016/j.tcs.2019.04.005 Actions

Preface: Special Issue on the Annual International Conference on Combinatorial Optimization and Applications (COCOA)

JOURNAL ARTICLE published October 2019 in Theoretical Computer Science

Authors: Xiaofeng Gao | Dongdong Ge

https://doi.org/10.1016/j.tcs.2019.06.002 Actions

Computational complexity aspects of super domination

JOURNAL ARTICLE published October 2023 in Theoretical Computer Science

Authors: Csilla Bujtás | Nima Ghanbari | Sandi Klavžar

https://doi.org/10.1016/j.tcs.2023.114137 Actions

Some combinatorial properties of the Thue–Morse sequence and a problem in semigroups

JOURNAL ARTICLE published March 1989 in Theoretical Computer Science

Authors: Aldo de Luca | Stefano Varricchio

https://doi.org/10.1016/0304-3975(89)90013-3 Actions

Alternating finite automata on ω-words

JOURNAL ARTICLE published 1984 in Theoretical Computer Science

Authors: Satoru Miyano | Takeshi Hayashi

https://doi.org/10.1016/0304-3975(84)90049-5 Actions

Efficient decision procedure for propositional projection temporal logic

JOURNAL ARTICLE published October 2020 in Theoretical Computer Science

Research funded by Key Research and Development Projects of Shaanxi Province (2020GY-210) | NSFC (61672403,61972301,61572386)

Authors: Xinfeng Shu | Nan Zhang | Xiaobing Wang | Liang Zhao

https://doi.org/10.1016/j.tcs.2020.05.009 Actions

A canonical form based decision procedure and model checking approach for propositional projection temporal logic

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (61133001,61322202,61420106004,61272117,91418201)

Authors: Zhenhua Duan | Cong Tian | Nan Zhang

https://doi.org/10.1016/j.tcs.2015.08.039 Actions
Feedback: support@crossref.org