Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 7: Line 7:
 
==== Journals ====
 
==== Journals ====
  
* P. Ganty, R. Iosif and F. Konecny. [http://link.springer.com/journal/10009 Underapproximation of Procedure Summaries for Integer Programs] Software Tools for Technology Transfer, pp 1-20 [[http://arxiv.org/abs/1210.4289 arXiv:1210.4289]]
+
* P. Ganty, R. Iosif and F. Konecny. [http://link.springer.com/article/10.1007%2Fs10009-016-0420-7 Underapproximation of Procedure Summaries for Integer Programs] Software Tools for Technology Transfer, pp 1-20 [[http://arxiv.org/abs/1210.4289 arXiv:1210.4289]]
 
* M. Bozga, R. Iosif and F. Konecny. [http://arxiv.org/abs/1302.2762 Deciding Conditional Termination] Logical Methods in Computer Science, Vol. 10(3:8) 2014 pp 1-61
 
* M. Bozga, R. Iosif and F. Konecny. [http://arxiv.org/abs/1302.2762 Deciding Conditional Termination] Logical Methods in Computer Science, Vol. 10(3:8) 2014 pp 1-61
 
* R. Iosif and A. Rogalewicz. [[Media:Cai13.pdf|Automata-based termination proofs]] Computing and Informatics, Vol.22 (2013) pp 1001-1035
 
* R. Iosif and A. Rogalewicz. [[Media:Cai13.pdf|Automata-based termination proofs]] Computing and Informatics, Vol.22 (2013) pp 1001-1035

Revision as of 12:23, 11 July 2016

Newspapers-stacked.jpg

Pending

  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences