Información de la Revista

Theoretical Computer Science (TCS)

Por favor Iniciar sesión para ver el sitio web de la revista
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Registrarse Iniciar sesión
Factor de Impacto:
1.1
Editor:
Elsevier
ISSN:
0304-3975
Vistas:
42066
Seguidores:
26
¿Algo está mal en esta página? Avísanos
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.

Solicitud de Artículos

Theoretical Computer Science (TCS) is an academic journal published by Elsevier. (ISSN 0304-3975, impact factor 1.1, CCF B).

Aims & Scope Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing. Any queries about submissions and peer review should be addressed to the TCS editorial office: [email protected]. Papers published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods. The second section,`Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods. The third section, 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science, natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing. Theoretical Computer Science will now publish high-quality advanced introductions. Advanced introductions, which are by invitation only, should cover a focused topic within the scope of TCS at a level that would be appropriate for a scientist who is new to the topic and wishes to gain an up-to-date understanding. Articles should be self-contained, including motivation and basic definitions, and proceed to advanced material and/or open problems which may - but need not - include new results. Sufficient references should be given to provide the reader with entry points to the research literature on the topic as well as the origins of the main ideas. Submissions will go through the standard review process of TCS.
Última actualización por Admin Agent el

Números especiales

Número especial sobre 22nd International Symposium on Algorithmics of Wireless Networks (ALGOWIN 2026) Día de Entrega: 2026-11-30 This is a special issue for selected papers from 22nd International Symposium on Algorithmics of Wireless Networks (ALGOWIN 2026). Guest editors: Dr. Ralf Klasing, CNRS, LaBRI, Université de Bordeaux, France Professor Aris Pagourtzis, National Technical University of Athens, Greece Professor Prudence Wong, University of Liverpool, United Kingdom Special issue information: This Special Issue of TCS will contain around 8 selected papers from the 22nd International Symposium on Algorithmics of Wireless Networks (ALGOWIN 2026), to be held in L’Aquila, Italy. ALGOWIN, previously known as ALGOSENSORS, is an international forum dedicated to the algorithmic aspects of wireless networks. It covers algorithmic issues arising in wireless networks of all types of computational entities, static or mobile, including sensor networks, sensor-actuator networks, autonomous robots, and drones. The focus is on the design and analysis of algorithms, models of computation, graph and network algorithms, and experimental analysis. As in previous ALGOWIN/ALGOSENSORS SIs in TCS, the papers will be chosen by the program committee from the regular papers presented at the symposium based on their quality and representation of the range of the ALGOWIN program. In addition to being reviewed in preliminary form by the program committee, the revised and extended versions submitted by the authors to the special issue will be evaluated according to the standard thorough reviewing process of TCS. Manuscript submission information: Authors should submit their manuscripts to the Theoretical Computer Science Editorial System (EM) at Submission site for Theoretical Computer Science, and select "VSI:ALGOWIN2026” when they reach the “Article Type” step in the submission process. General information for submitting papers to TCS can be found at Guide for Authors - Theoretical Computer Science. Final Manuscript Submission Deadline: 30th November 2026 https://www.sciencedirect.com/special-issue/337347/special-issue-for-22nd-international-symposium-on-algorithmics-of-wireless-networks-algowin-2026
Última actualización por Admin Agent el
Número especial sobre Honour of Maxime Crochemore 80th’s Birthday Día de Entrega: 2026-12-15 Combinatorial pattern matching is a highly active and timely research area, driven by both foundational advances and growing application demands in large-scale data analysis, bioinformatics, compressed data processing, and fine-grained complexity. Recent editions of the Combinatorial Pattern Matching (CPM) ans String Processing and Information Retrieval (SPIRE) conference and related special issues in algorithmic journals confirm sustained interest and rapid progress, with contributions spanning exact, approximate, and compressed pattern matching, as well as extensions to graphs and non-classical computational models. The current state of the art goes beyond classical string-matching algorithms by addressing scalability, compression, and complexity limits. Recent work introduces improved data structures for indexing and querying massive texts, new algorithms for pattern matching on compressed representations, tighter complexity bounds, and novel connections to fine-grained and even quantum complexity frameworks. The papers in this collection advance existing knowledge by refining theoretical bounds, extending pattern matching to richer models (e.g., grammar-compressed strings or graphs), and proposing algorithms that improve either asymptotic performance or practical efficiency. Their novelty lies in combining combinatorial insights with modern computational constraints, pushing the field beyond its traditional formulations. Guest editors: Prof. Golnaz Badkobeh - City St George’s University of London - UK Prof. Thierry Lecroq - University of Rouen Normandy - France Special issue information: - string pattern matching- data structures for string processing - text compression - text mining - compressed data structures - compressed string processing - combinatorics on words - pattern discovery - string algorithms - text searching and indexing Manuscript submission information: Authors should submit their manuscripts to the Theoretical Computer Science Editorial System (EM) at Submission site for Theoretical Computer Science, and select " VSI: Honoring Maxime Crochemore” when they reach the “Article Type” step in the submission process. General information for submitting papers to TCS can be found at Guide for Authors - Theoretical Computer Science. Final Manuscript Submission Deadline: 15th December 2026 Keywords: Strings, Combinatorics, Algorithms, repetitions https://www.sciencedirect.com/special-issue/333970/special-issue-in-honour-of-maxime-crochemore-80th-s-birthday
Última actualización por Admin Agent el
Número especial sobre Universality in Logics and Physics Día de Entrega: 2026-12-31 This special issue of Theoretical Computer Science, titled “Universality in Logics and Physics,” welcomes original contributions exploring the connections between logics, computation, and possibly physical theories. Topics include, but are not limited to, logical frameworks, proof systems interoperability, ecumenical proof libraries, automated deduction, quantum programming languages, and physics-inspired models of computation. Submissions presenting advances on the notion of universality across these domains are particularly encouraged. This issue aims to pay tribute — through science only — to the intellectual legacy of Gilles Dowek, whose work built bridges between these communities. Guest editors: Dr. Pablo Arrighi Inria Areas of Expertise: Quantum computing Prof. Frank Pfenning Carnegie Mellon University Areas of Expertise: Programming Languages, Logics Manuscript submission information: Authors should submit their manuscripts to the Theoretical Computer Science Editorial System (EM) at Submission site for Theoretical Computer Science, and select " VSI:UNILOP” when they reach the “Article Type” step in the submission process. General information for submitting papers to TCS can be found at Guide for Authors - Theoretical Computer Science. Final Manuscript Submission Deadline: 31st December 2026 Keywords: Interactive theorem proving, ecumenical logics, deduction modulo, unification, rewriting, type theory Natural computing, quantum computing, quantum programming languages, cellular automata https://www.sciencedirect.com/special-issue/328918/universality-in-logics-and-physics
Última actualización por Dou Sun el
Número especial sobre the 32nd International Computing and Combinatorics Conference Día de Entrega: 2026-12-31 This special issue presents special selection from the 32nd International Computing and Combinatorics Conference (COCOON 2026) held in Singapore during 23–25 July 2026. This conference is in the areas of algorithms, theory of computation, computational complexity, algorithmic game theory and combinatorics. Guest editors: Dr. Yi Li, Nanyang Technological University, Singapore Professor Frank Stephan, National University of Singapore, Singapore Professor Xiaoming Sun, Institute of Computing Technology Chinese Academy of Sciences, China Special issue information: The selected papers in this special issue were invited based on their evaluation by the COCOON 2026 program committee, and submitted in substantially polished journal versions to go through the standard rigorous refereeing process of the Theoretical Computer Science. Manuscript submission information: Authors should submit their manuscripts to the Theoretical Computer Science Editorial System (EM) at Submission site for Theoretical Computer Science, and select " VSI: COCOON 2026” when they reach the “Article Type” step in the submission process. General information for submitting papers to TCS can be found at Guide for Authors - Theoretical Computer Science. Final Manuscript Submission Deadline: 31st December 2026 Keywords: (approximation algorithms) OR (combinatorial optimization) OR (parameterized complexity) https://www.sciencedirect.com/special-issue/335302/special-issue-on-the-32nd-international-computing-and-combinatorics-conference
Última actualización por Admin Agent el
Número especial sobre Selected Extended Papers from the 30th International Conference on Implementation and Application of Automata (CIAA 2026) Día de Entrega: 2027-01-31 This special issue contains extended versions of selected papers presented at CIAA 2026. Guest editors: Prof. Taylor J. Smith, PhD St. Francis Xavier University, Antigonish, Nova Scotia, Canada Areas of Expertise: automata theory, combinatorics on words, computability theory, complexity theory, formal languages Manuscript submission information: Authors should submit their manuscripts to the Theoretical Computer Science Editorial System (EM) at Submission site for Theoretical Computer Science, and select "VSI:CIAA 2026 Special Issue” when they reach the “Article Type” step in the submission process. General information for submitting papers to TCS can be found at Guide for Authors - Theoretical Computer Science. Please note that the submission is via invitation only for this special issue. Final Manuscript Submission Deadline: 31st January 2027 Keywords: automata theory, combinatorics on words, computability theory, complexity theory, formal languages https://www.sciencedirect.com/special-issue/336987/selected-extended-papers-from-the-30th-international-conference-on-implementation-and-application-of-automata-ciaa-2026
Última actualización por Admin Agent el

Las personas que vieron esto también vieron

CCFNombre CompletoFactor de ImpactoEditorISSN
CFuture Generation Computer Systems5.9Elsevier0167-739X
BJournal of Computer and System Sciences1.4Elsevier0022-0000
CDiscrete Applied Mathematics1.1Elsevier0166-218X
BScience of Computer Programming1.6Elsevier0167-6423
CEngineering Applications of Artificial Intelligence9.0Elsevier0952-1976
International Journal of Chaos, Control, Modelling and SimulationAIRCC2319-8990
CJournal of Logical and Algebraic Methods in Programming1.0Elsevier2352-2208
Digital Social SciencesInnovative Insights (SMC-Private) Limited3078-4972

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Electronic Notes in Theoretical Computer ScienceElsevier1571-0661
Materials Science and Engineering: B5.7Elsevier0921-5107
Materials Science and Engineering: CElsevier0928-4931
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.7Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
BA*89,8ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97,7IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
B91,2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79,9PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13
BA80,0ICMEIEEE International Conference on Multimedia & Expo2026-12-302027-07-13
B84,4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-12-01
BA*97,3ICDMInternational Conference on Data Mining2027-06-062027-11-15
BA*89,1ECCVEuropean Conference on Computer Vision2026-03-062026-09-08
BA92,9DATEDesign, Automation and Test in Europe2026-09-072027-03-22
BA*88,0KRInternational Conference on the Principles of Knowledge Representation and Reasoning2027-04-232027-09-21

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario