pith. sign in

Radu Iosif

Identifiers

  • name variant Radu Iosif 0.60 · backfill

Papers (18)

  1. Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs cs.FL · 2026 · author #2
  2. Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures cs.FL · 2019 · author #2
  3. First Order Alternation cs.FL · 2018 · author #1
  4. Checking Deadlock-Freedom of Parametric Component-Based Systems cs.LO · 2018 · author #2
  5. The Complexity of Prenex Separation Logic with One Selector cs.LO · 2018 · author #2
  6. On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic cs.LO · 2018 · author #2
  7. Complete Cyclic Proof Systems for Inductive Entailments cs.LO · 2017 · author #1
  8. The Impact of Alternation cs.FL · 2017 · author #1
  9. Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic cs.LO · 2016 · author #2
  10. How hard is it to verify flat affine counter systems with the finite monoid property ? cs.CC · 2016 · author #1
  11. A Decision Procedure for Separation Logic in SMT cs.LO · 2016 · author #2
  12. Decidable Horn Systems with Difference Constraints Arithmetic cs.FL · 2015 · author #1
  13. Abstraction Refinement for Trace Inclusion of Infinite State Systems cs.LO · 2014 · author #1
  14. Interprocedural Reachability for Flat Integer Programs cs.FL · 2014 · author #2
  15. Deciding Entailments in Inductive Separation Logic with Tree Automata cs.LO · 2014 · author #1
  16. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops cs.CC · 2013 · author #2
  17. The Tree Width of Separation Logic with Recursive Definitions cs.LO · 2013 · author #1
  18. Underapproximation of Procedure Summaries for Integer Programs cs.PL · 2012 · author #2

Mentions

  • 1307.5321 #2 · backfill · confidence 0.70 Radu Iosif
  • 1301.5139 #1 · backfill · confidence 0.70 Radu Iosif
  • 1210.4289 #2 · backfill · confidence 0.70 Radu Iosif

Frequent Coauthors