Recent publications

From Numerical Transition Systems
Revision as of 14:41, 4 August 2015 by Radu iosif (Talk | contribs)

Jump to: navigation, search
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
  • R. Iosif. Decidable Horn Systems with Difference Constraints Arithmetic arXiv:1503.00258
  • R. Iosif, A. Rogalewicz and T. Vojnar. Abstraction Refinement for Trace Inclusion of Infinite State Systems arXiv:1410.5056
  • P. Ganty, R. Iosif and F. Konecny. Underapproximation of Procedure Summaries for Integer Programs arXiv:1210.4289

Journals

Conferences