A LOGICAL FRAMEWORK TO REASON ABOUT REO CIRCUITS | 0 | 0.34 | 2022 |
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic | 0 | 0.34 | 2021 |
Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs | 1 | 0.34 | 2020 |
Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows. | 0 | 0.34 | 2020 |
Robust Joint Synchronization and Channel Estimation Approach for Frequency-Selective Environments. | 0 | 0.34 | 2018 |
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. | 0 | 0.34 | 2018 |
Efficient channel estimation using TCH codes | 0 | 0.34 | 2017 |
Propositional Dynamic Logic for Petri Nets with Iteration. | 1 | 0.36 | 2016 |
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. | 2 | 0.38 | 2015 |
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets | 3 | 0.44 | 2015 |
Propositional dynamic logic for Petri nets. | 7 | 0.51 | 2014 |
A new proof of normalization for NS4 | 0 | 0.34 | 2012 |