Recent publications

From Numerical Transition Systems
Revision as of 13:18, 3 March 2015 by Radu iosif (Talk | contribs)

Jump to: navigation, search
Newspapers-stacked.jpg

Pending

  • 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
  • P. Ganty, R. Iosif. Generating Bounded Languages Using Bounded Control Sets arXiv:1405.3069

Journals

Conferences