Academic Journal
Quartile not availableElectronic Notes in Theoretical Computer Science
About Electronic Notes in Theoretical Computer Science
About Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science is a peer-reviewed scholarly journal published by Elsevier BV.
Key indicators: ISSN 15710661.
Understanding This Journal's Metrics
Journal metrics help researchers assess fit, but they must be interpreted in context:
Publishing in Electronic Notes in Theoretical Computer Science
When considering this journal, verify its current indexing status, editorial board, and recent publications to ensure it meets your needs for visibility and credibility.
- Author guidelines: Follow formatting, reference style, and article-type requirements exactly — non-compliant manuscripts may be returned without review.
- Submission: Submit via the official journal website.
Is This Journal Right for Your Paper?
- Audience match: Will the journal's readers cite and build on your findings?
- Timeline: Higher-tier journals mean longer review and higher rejection risk. Balance prestige against your schedule.
- Indexing: Confirm indexing in Web of Science, Scopus, and PubMed (if biomedical) meets your institutional requirements.
- Open access needs: Check funder mandates and whether the journal offers compliant OA options.
Frequently Asked Questions
What is the ISSN of Electronic Notes in Theoretical Computer Science?
15710661.
Who publishes Electronic Notes in Theoretical Computer Science?
Elsevier BV.
Where do I submit to Electronic Notes in Theoretical Computer Science?
Via the official website.
Is Electronic Notes in Theoretical Computer Science peer-reviewed?
Yes — it is a peer-reviewed scholarly journal indexed in major academic databases.
Journal Metrics
A quartile may vary by subject category. Values without a source or reporting year are unverified historical entries. Verify the current Journal Impact Factor with Clarivate or the publisher before using it.
Aims & Scope
The publisher’s official aims and scope have not yet been verified for this profile. Use the journal website to check subject fit and accepted article types before submitting.
Recent Research Articles
Latest publications matched automatically by ISSN.
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs
Cristina López-Ramírez, Jorge Eduardo Gutiérrez Gómez, Guillermo De Ita Luna
2020-12 · DOI: 10.1016/j.entcs.2020.10.007Gradual Typing Using Union Typing With Records
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes del Carmen González Huesca
2020-12 · DOI: 10.1016/j.entcs.2020.10.013An Extension of the Stable Semantics via Lukasiewicz Logic
Mauricio Osorio, José Luis Carballido Carranza
2020-12 · DOI: 10.1016/j.entcs.2020.10.011Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
Mauricio Osorio, Claudia Zepeda
2020-12 · DOI: 10.1016/j.entcs.2020.10.012On Interactive Proof-Search for Constructive Modal Necessity
Favio E. Miranda-Perea, Lourdes del Carmen González Huesca, P. Selene Linares-Arévalo
2020-12 · DOI: 10.1016/j.entcs.2020.10.009Preface
Pilar Pozos Parra, J. Raymundo Marcial-Romero
2020-12 · DOI: 10.1016/j.entcs.2020.10.001Weighted Complete Graphs for Condensing Data
A. Guzmán-Ponce, J. Raymundo Marcial-Romero, R.M. Valdovinos-Rosas, J.S. Sánchez-Garreta et al.
2020-12 · DOI: 10.1016/j.entcs.2020.10.005Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach – Extended and Revised version
Flavio Everardo, Mauricio Osorio
2020-12 · DOI: 10.1016/j.entcs.2020.10.004An Ontology-based Approach to Describe Collaborative Work by Reusing and Enriching Data From an Institutional Repository
María Auxilio Medina Nieto, Delia Arrieta Díaz, Jorge de la Calleja Mora, Laura Zacatzontetl Hernández et al.
2020-12 · DOI: 10.1016/j.entcs.2020.10.010A Heuristic for the Coloring of Planar Graphs
Guillermo De Ita Luna, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge E. Gutiérrez-Gómez et al.
2020-12 · DOI: 10.1016/j.entcs.2020.10.008Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
2020-12 · DOI: 10.1016/j.entcs.2020.10.006A Note on Constructive Interpolation for the Multi-Modal Logic K
Everardo Bárcenas, José-de-Jesús Lavalle-Martínez, Guillermo Molero-Castillo, Alejandro Velázquez-Mena et al.
2020-12 · DOI: 10.1016/j.entcs.2020.10.002Murphree's Numerical Term Logic Tableaux
J. Martín Castro-Manzano
2020-12 · DOI: 10.1016/j.entcs.2020.10.003On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications
Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni et al.
2020-11 · DOI: 10.1016/j.entcs.2020.09.020Energy Consumption by Servers under Unknown Service Demand
Ali Alssaiari, Nigel Thomas
2020-11 · DOI: 10.1016/j.entcs.2020.09.017Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System
Ohud Almutairi, Nigel Thomas
2020-11 · DOI: 10.1016/j.entcs.2020.09.016Compositional Model Checking and Model Repair for a Class of Product Form Models
Amin Soltanieh, Markus Siegle
2020-11 · DOI: 10.1016/j.entcs.2020.09.021Preface
Matthew Forshaw, Marco Gribaudo, William Knottenbelt, Nigel Thomas et al.
2020-11 · DOI: 10.1016/j.entcs.2020.09.015Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities
L. Echabbi, J.M. Fourneau, O. Gacem, H. Lotfi et al.
2020-11 · DOI: 10.1016/j.entcs.2020.10.014Modelling Load-Changing Attacks in Cyber-Physical Systems
Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere et al.
2020-11 · DOI: 10.1016/j.entcs.2020.09.018Reviews
Community Reviews
Version History
October 10, 2026 at 6:23 pm
October 9, 2026