Explore All Access
Check if your research matches the topics covered in Electronic Proceedings in Theoretical Computer Science?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Electronic Proceedings in Theoretical Computer Science : Impact Factor & More
eISSN: 2075-2180
Open AccessShare this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Topics Covered on Electronic Proceedings in Theoretical Computer Science
Programming language
Functional programming
Category theory
Simulation
Heuristic
Formal verification
Linear logic
Java
Risk assessment
Quantum
Event structure
Point process
Transitive closure
Technical communication
Temporal logic
Distribution law
Reactive synthesis
Educational software
Automated reasoning
Model checking
Electronic Proceedings in Theoretical Computer Science Journal Specifications
Indexed in the following public directories
DOAJ 
SJR
| Overview | |
| Publisher | Open Publishing Association |
| Language | English |
| Publication Time | 21 |
| Editorial Review Process | Peer review |
| General Details | |
| Language | English |
| Website URL | Visit website |
| Publication Details | |
| Publication Time | 21 |
| Editorial Review Detail | |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| License type | CC BY-NC-ND |
| OA statement | Visit website |
View less
Planning to publish in Electronic Proceedings in Theoretical Computer Science ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Electronic Proceedings in Theoretical Computer Science
Efficient Performance Analysis of Modular Rewritable Petri Nets
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Leveraging Slither and Interval Analysis to build a Static Analysis Tool
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Intuitionistic Propositional Logic in Lean
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Converting BPMN Diagrams to Privacy Calculus
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Efficient Performance Analysis of Modular Rewritable Petri Nets
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Leveraging Slither and Interval Analysis to build a Static Analysis Tool
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Intuitionistic Propositional Logic in Lean
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Converting BPMN Diagrams to Privacy Calculus
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
- 31 Oct 2024
- Electronic Proceedings in Theoretical Computer Science
Compare Similar Journals with Electronic Proceedings in Theoretical Computer Science
Select Journals to Compare with Electronic Proceedings in Theoretical Computer Science
Total journals - 6
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Journal of Physics Conference Series
Publisher: Institute of Physics Publishing
Photogrammetric Record
Publisher: WILEY
Proceedings of the ACM on Programming Languages
Publisher: ACM
Theory and Practice of Logic Programming
Publisher: CAMBRIDGE UNIV PRESS
Communications in Computer and Information Science
Publisher: Springer Nature
0 Journals Selected to compare with
Electronic Proceedings in Theoretical Computer Science
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Electronic Proceedings in Theoretical Computer Science
How many articles did Electronic Proceedings in Theoretical Computer Science publish last year? 
In 2023, Electronic Proceedings in Theoretical Computer Science publsihed 393 articles.
Who is the publisher of Electronic Proceedings in Theoretical Computer Science?
Open Publishing Association is the publisher of Electronic Proceedings in Theoretical Computer Science.
