Recent publications

From Numerical Transition Systems
Revision as of 09:20, 19 October 2016 by Radu iosif (Talk | contribs)

Jump to: navigation, search
Newspapers-stacked.jpg

Pending

  • A. Reynolds, R. Iosif and C. Serban. Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic arXiv:1610.04707
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences