Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Scalable Analysis for Multi-Scale Dataflow Models | ACM Transactions on Embedded Computing Systems |
| 2 | 2018 |
Passive testing with asynchronous communications and timestamps | Distributed Computing |
| 12 | 2017 |
Efficient testing and matching of deterministic regular expressions | Journal of Computer and System Sciences |
| 4 | 2017 |
VISUAL: Simulation of Visual Subgraph Query Formulation to Enable Automated Performance Benchmarking | IEEE Transactions on Knowledge and Data Engineering |
| 1 | 2017 |
Postfix automata | Theoretical Computer Science |
| 2 | 2015 |