Environment modeling and language universality
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Generalized structured programs and loop trees
Science of Computer Programming
Separator-based data reduction for signed graph balancing
Journal of Combinatorial Optimization
Certain expected values in the random assignment problem
Operations Research Letters
Fundamenta Informaticae - Machines, Computations and Universality, Part I
On the metric dimension of infinite graphs
Discrete Applied Mathematics
Hi-index | 0.00 |