Electronic Notes in Theoretical Computer Science

Aims & Scope

Cessation.ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate.

Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution.

For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

Licensing & Copyright

This journal operates under an Open Access model. Articles are freely accessible to the public immediately upon publication. The content is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0), allowing users to share and adapt the work with proper attribution.

Copyright remains with the author(s), and no permission is required for non-commercial use, provided the original source is cited.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• A Taxonomy of Model Transformation

  Citation: 462

  Authors: Tom, Pieter

• Emotion Recognition from Physiological Signal Analysis: A Review

  Citation: 439

  Authors: Maria, Matthias, Sten

• Automated Security Protocol Analysis With the AVISPA Tool

  Citation: 337

  Authors: Luca

• Weaknesses of Margulis and Ramanujan-Margulis Low-Density Parity-Check Codes

  Citation: 206

  Authors: David J.C., Michael S.

• LEMON – an Open Source C++ Graph Template Library

  Citation: 202

  Authors: Balázs, Alpár, Péter

• Valgrind

  Citation: 202

  Authors: Nicholas, Julian

• Temporal Induction by Incremental SAT Solving

  Citation: 199

  Authors: Niklas, Niklas

• Dagger Compact Closed Categories and Completely Positive Maps

  Citation: 189

  Authors: Peter

• A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach

  Citation: 182

  Authors: Newton, Everton Alvares, Maria Carolina, Huei Diana

• Modelling Opacity Using Petri Nets

  Citation: 147

  Authors: Jeremy W., Maciej, Peter Y.A.