0.8(top 50%)
impact factor
19(top 100%)
papers
63(top 100%)
citations
4(top 100%)
h-index
0.8(top 50%)
impact factor
4.8K
all documents
11.4K
doc citations
8(top 50%)
g-index
Top Articles
| # | Title | Journal | Year | Citations |
|---|---|---|---|---|
| 1 | Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 103 |
| 2 | UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 96 |
| 3 | Industrial-Strength Model-Based Testing - State of the Art and Current Challenges | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 71 |
| 4 | Koka: Programming with Row Polymorphic Effect Types | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 60 |
| 5 | Towards Proving the Adversarial Robustness of Deep Neural Networks | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 55 |
| 6 | Statistical Model Checking for Stochastic Hybrid Systems | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 54 |
| 7 | Model-Based Security Testing | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 47 |
| 8 | PKind: A parallel k-induction based model checker | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 47 |
| 9 | Phase Gadget Synthesis for Shallow Circuits | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 46 |
| 10 | IoT Architectural Framework: Connection and Integration Framework for IoT Systems | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 42 |
| 11 | Towards Large-scale Functional Verification of Universal Quantum Circuits | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 42 |
| 12 | OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 41 |
| 13 | Building-Blocks for Performance Oriented DSLs | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 41 |
| 14 | The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 36 |
| 15 | On the Robustness of Temporal Properties for Stochastic Models | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 35 |
| 16 | Quantum Algorithms for Compositional Natural Language Processing | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 35 |
| 17 | Integrating Testing and Interactive Theorem Proving | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 34 |
| 18 | The Cohomology of Non-Locality and Contextuality | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 34 |
| 19 | Lessons Learned From Microkernel Verification — Specification is the New Bottleneck | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 33 |
| 20 | How to Handle Assumptions in Synthesis | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 33 |
| 21 | A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 33 |
| 22 | CARMA: Collective Adaptive Resource-sharing Markovian Agents | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 30 |
| 23 | A Survey of Runtime Monitoring Instrumentation Techniques | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 30 |
| 24 | QWIRE Practice: Formal Verification of Quantum Circuits in Coq | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 30 |
| 25 | ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 30 |
| 26 | Graph-Controlled Insertion-Deletion Systems | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 30 |
| 27 | The Dafny Integrated Development Environment | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 28 |
| 28 | Adaptive Process Management in Highly Dynamic and Pervasive Scenarios | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 28 |
| 29 | PyZX: Large Scale Automated Diagrammatic Reasoning | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 28 |
| 30 | Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 27 |
| 31 | Learning Markov Decision Processes for Model Checking | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 26 |
| 32 | Machine Learning in Proof General: Interfacing Interfaces | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 26 |
| 33 | Solving Linux Upgradeability Problems Using Boolean Optimization | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 26 |
| 34 | Modelling and Verification of Multiple UAV Mission Using SMV | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 25 |
| 35 | Cooperative Epistemic Multi-Agent Planning for Implicit Coordination | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 25 |
| 36 | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 25 |
| 37 | PORGY: Strategy-Driven Interactive Transformation of Graphs | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 25 |
| 38 | Quantum Natural Language Processing on Near-Term Quantum Computers | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 24 |
| 39 | Recursive Definitions of Monadic Functions | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 24 |
| 40 | Bit-Blasting ACL2 Theorems | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 24 |
| 41 | Verifying the Steane code with Quantomatic | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 23 |
| 42 | A High-Level LTL Synthesis Format: TLSF v1.1 | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 23 |
| 43 | MiniAgda: Integrating Sized and Dependent Types | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 23 |
| 44 | Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 23 |
| 45 | Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 22 |
| 46 | SyGuS-Comp 2017: Results and Analysis | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 22 |
| 47 | Ten Diverse Formal Models for a CBTC Automatic Train Supervision System | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 22 |
| 48 | Probabilistic Model-Based Safety Analysis | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 22 |
| 49 | Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 22 |
| 50 | Synthesizing a Lego Forklift Controller in GR(1): A Case Study | Electronic Proceedings in Theoretical Computer Science, EPTCS | 0 | 21 |