Recent publications

From Numerical Transition Systems
Jump to: navigation, search
Newspapers-stacked.jpg

Pending

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

Journals

Conferences