1. Are Synchronous Programs Logic Programs?;Principled Software Development;2018
2. On Determinism;Lecture Notes in Computer Science;2018
3. An Empirical Analysis of Diagnosis of Industrial Business Processes at Sub-process Levels;2016 IEEE International Conference on Services Computing (SCC);2016-06
4. Four-Valued Reasoning and Cyclic Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2014-07
5. An Empirical Study of Error Patterns in Industrial Business Process Models;IEEE Transactions on Services Computing;2014-04