Fundamenta Informaticae, vol. 192, no. 3-4, page. 261 - 312, 2024-09
SCIENCE OF COMPUTER PROGRAMMING, vol. 233, 2024-03
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10
SCIENCE OF COMPUTER PROGRAMMING, vol. 200, 2020-12
SCIENCE OF COMPUTER PROGRAMMING, vol. 178, page. 20 - 42, 2019-06
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11222 LNCS, page. VI, 2018-10
LOGIC, REWRITING, AND CONCURRENCY, vol. 9200, page. 114 - 134, 2015-08
SCIENCE OF COMPUTER PROGRAMMING, vol. 103, page. 13 - 50, 2015-06-01
SCIENCE OF COMPUTER PROGRAMMING, vol. 99, page. 193 - 234, 2015-03-07
SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-01
Electronic Notes in Theoretical Computer Science, vol. 290, page. 19 - 36, 2012-12
SCIENCE OF COMPUTER PROGRAMMING, vol. 77, no. 12, page. 1235 - 1271, 2012-10-01