Recent publications

From Numerical Transition Systems
Revision as of 15:20, 19 May 2014 by Radu iosif (Talk | contribs)

Jump to: navigation, search
Newspapers-stacked.jpg

Pending

  • M. Bozga, R. Iosif and F. Konecny. Deciding Conditional Termination arXiv:1302.2762
  • R. Iosif, A. Rogalewicz and T. Vojnar. Deciding Entailments in Inductive Separation Logic with Tree Automata arXiv:1402.2127
  • 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