Search results
- ....pdf "Relational Analysis of Integer Programs"] M. Bozga, R. Iosif, and F. Konecny. VERIMAG technical report, TR-2012-10, 2012. </ref>. ...me="tacas12"> Deciding Conditional Termination. M. Bozga, R. Iosif, and F. Konecny. In Proc. of TACAS'12, volume 7214 of LNCS, pages 252-266, 2012. Springer-V5 KB (736 words) - 16:06, 29 December 2016
- * Filip Konecny (2009 -- 2012) [https://tel.archives-ouvertes.fr/tel-00805599/ "Relational3 KB (446 words) - 12:16, 20 March 2024
- * M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Per * P. Ganty, R. Iosif and F. Konecny. [http://link.springer.com/article/10.1007%2Fs10009-016-0420-7 Underapproxi10 KB (1,441 words) - 16:34, 28 February 2024