Write in a clean editor, then format for Electronic Notes in Theoretical Computer Science in one click — DocuGuru applies the official Elsevier template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Electronic Notes in Theoretical Computer Science is a peer-reviewed journal published by Elsevier, covering Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge.
| Publisher | Elsevier |
|---|---|
| Reference style | Numbered (Elsevier) Numbered — [1], [2] in the text [1] A. Smith, B. Jones, C. Lee, A representative article title, Electronic Notes in Theoretical Computer Science 12 (2023) 45–58.
Formats any DOI in Electronic Notes in Theoretical Computer Science style. No sign-up. |
| Publishes research in | Logic, programming, and type systems Formal Methods in Verification Logic, Reasoning, and Knowledge Model-Driven Software Engineering Techniques Advanced Software Engineering Methodologies |
| ISSN | 1571-0661 |
| h-index | 88 |
| i10-index | 2,248 |
| Total citations | 84,517 |
| Open access | Yes |
| Top institutions publishing here | Centre National de la Recherche Scientifique |
| Journal website | www.elsevier.com |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking k-slices of the language, thus introducing readers to new classes of algorithms which may be analysed more precisely than was the case until now. The book…
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of correct computer programs from specifications of their desired behaviour. Synthesis of programs with iteration or recursion requires inductive proof, but standard techniques for the construction of appropriate induction rules are restricted to…
This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development. This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a…
Human computer interaction is increasingly utilized in smart home, industry 4.0 and personal health. Communication between human and computer can benefit by a flawless exchange of emotions. As emotions have substantial influence on cognitive processes of the human brain such as learning, memory, perception and problem solving, emotional interactions benefit different applications. It can further…
Valgrind is a programmable framework for creating program supervision tools such as bug detectors and profilers. It executes supervised programs using dynamic binary translation, giving it total control over their every part without requiring source code, and without the need for recompilation or relinking prior to execution. New supervision tools can be easily created by…
