14 citations · 22 across the 9 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2014★ 1 cited
On the Termination of Linear and Affine Programs over the Integers
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
The termination problem for affine programs over the integers was left open in\cite{Braverman}. For more that a decade, it has been considered and cited as a challenging open probl…
cs.DM2014★ 1 cited
Generating Asymptotically Non-Terminating Initial Values for Linear Programs
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
We present the notion of asymptotically non-terminating initial variable values for linear loop programs. Those values are directly associated to initial variable values for which…