Recent publications

From Numerical Transition Systems
Revision as of 18:18, 1 November 2022 by Radu iosif (Talk | contribs)

Jump to: navigation, search
Newspapers-stacked.jpg

Pending

  • R. Iosif and F. Zuleger. On the Expressiveness of a Logic of Separated Relations. arXiv:2208.01520
  • M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. arXiv:1908.11345
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences