Electronic Notes in Theoretical Computer Science
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.
Benefits to authors
We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.
Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: http://support.elsevier.com
Managing Editor: M.W. Mislove
Imprint: Elsevier
ISSN: 1571-0661
Most cited
Top 10 Cited (articles published in the last five years)
Extracted from Scopus (on Fri Jun 28)76 Datta, A. | Derek, A. | Mitchell, J.C. | Roy, A. Protocol Composition Logic (PCL) Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 311-358 40 Selinger, P. Dagger Compact Closed Categories and Completely Positive Maps. (Extended Abstract) Electronic Notes in Theoretical Computer Science, Volume 170, 2007-03-06, Pages 139-163 37 Robbes, R. | Lanza, M. A Change-based Approach to Software Evolution Electronic Notes in Theoretical Computer Science, Volume 166, Issue SPEC. ISS., 2007-01-03, Pages 93-109 34 Cuppens, F. | Cuppens-Boulahia, N. | Ghorbel, M.B. High Level Conflict Management Strategies in Advanced Access Control Models Electronic Notes in Theoretical Computer Science, Volume 186, Issue SPEC. ISS., 2007-07-14, Pages 3-26 32 Ren, F. Affective Information Processing and Recognizing Human Emotion Electronic Notes in Theoretical Computer Science, Volume 225, Issue C, 2009-01-02, Pages 39-50 31 Bloem, R. | Galler, S. | Jobstmann, B. | Piterman, N. | Pnueli, A. | Weiglhofer, M. Specify, Compile, Run: Hardware from PSL Electronic Notes in Theoretical Computer Science, Volume 190, Issue 4, 2007-11-02, Pages 3-16 29 John, M. | Ewald, R. | Uhrmacher, A.M. A Spatial Extension to the π Calculus Electronic Notes in Theoretical Computer Science, Volume 194, Issue 3, 2008-01-20, Pages 133-148 26 Yoshida, N. | Vasconcelos, V.T. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication Electronic Notes in Theoretical Computer Science, Volume 171, Issue 4, 2007-07-10, Pages 73-93 25 Nielsen, M. | Krukow, K. | Sassone, V. A Bayesian Model for Event-based Trust Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 499-521 23 Clouston, R.A. | Pitts, A.M. Nominal Equational Logic Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 223-257 - View all items
Special issues
- Buy now
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
Volume 295,
Published May 2013 - Buy now
Proceedings of the 2013 Validation Strategies for Software Evolution (VSSE) Workshop
Volume 294,
Published March 2013 - Buy now
Proceedings of the XXXVIII Latin American Conference in Informatics (CLEI)
Volume 292,
Published March 2013
Recent articles
Fri Jun 281 Michal Malohlava | Petr Hnetynka | Tomas Bures SOFA 2 Component Framework and Its Ecosystem Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 101-106 2 Ammar Osaiweran | Mathijs Schuts | Jozef Hooman | Jacco Wesselius Incorporating Formal Techniques into Industrial Practice: an Experience Report Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 49-63 3 Fazle Rabbi | Hao Wang | Wendy MacCaull | Adrian Rutle A Model Slicing Method for Workflow Verification Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 79-93 4 Natallia Kokash | Mohammad Mahdi Jaghoori | Farhad Arbab From Timed Reo Networks to Networks of Timed Automata Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 11-29 5 Samuel Kounev | Christoph Rathfelder | Benjamin Klatt Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 3-9 6 Samir Chouali | Ahmed Hammad | Hassan Mountassir Assembling Components using SysML with Non-Functional Requirements Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 31-47 7 Christian Prehofer Behavioral Refinement and Compatibility of Statechart Extensions Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 65-78 8 Eduard Paul Enoiu | Raluca Marinescu | Aida Čaušević | Cristina Seceleanu A Design Tool for Service-oriented Systems Electronic Notes in Theoretical Computer Science, 9 May 2013, Pages 95-100 9 Mark Anthony Cachia | Mark Micallef | Christian Colombo Towards Incremental Mutation Testing Electronic Notes in Theoretical Computer Science, 22 March 2013, Pages 2-11 10 Min Zhang | Kazuhiro Ogata | Kokichi Futatsugi Formalization and Verification of Behavioral Correctness of Dynamic Software Updates Electronic Notes in Theoretical Computer Science, 22 March 2013, Pages 12-23 - View all items

