The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Exact solution of general integer systems of linear equations
ACM Transactions on Mathematical Software (TOMS) - The MIT Press scientific computation series
Congruence Techniques for the Exact Solution of Integer Systems of Linear Equations
ACM Transactions on Mathematical Software (TOMS)
A reachability algorithm for general petri nets based on transition invariants
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
| Hi-index | 48.22 |