publication venue for
- The power of Tarski's relation algebra on trees. 126:100748-100748. 2022
- Calculational relation-algebraic proofs in the teaching tool. 117:100581-100581. 2020
- A theoretical framework for cardinality-based feature models: The semantics and computational aspects. 97:30-54. 2018
- Relational and algebraic methods in computer science. 85:447-448. 2016
- On the weaving process of aspect-oriented product family algebra. 85:146-172. 2016
- Relational and algebraic methods in computer science. 84:283-284. 2015
- Models of computation for partial functions on the reals. 84:218-237. 2015
- Characterizations of semicomputable sets of real numbers. 84:124-154. 2015
- Towards “mouldable code” via nested code graph transformation. 83:225-234. 2014