Combining resource selection functions and home‐range data to identify habitat conservation priorities for brown bears von Pop, M. I., Iosif, R., Miu, I. V., Rozylowicz, L., Popescu, V. D.

Volltext

Exploiting heap symmetries in explicit-state model checking of software von Iosif, R.

Volltext

Symmetry Reduction Criteria for Software Model Checking von Iosif, Radu

Volltext

Accelerating Interpolants von Hojjat, Hossein, Iosif, Radu, Konečný, Filip, Kuncak, Viktor, Rümmer, Philipp

Volltext

On Decidability Within the Arithmetic of Addition and Divisibility von Bozga, Marius, Iosif, Radu

Volltext

Automata-Based Verification of Programs with Tree Updates von Habermehl, Peter, Iosif, Radu, Vojnar, Tomas

Volltext

On Logics of Aliasing von Bozga, Marius, Iosif, Radu, Lakhnech, Yassine

Volltext

dSPIN: A dynamic extension of SPIN von DEMARTINI, C, IOSIF, R, SISTO, R

Volltext

A deadlock detection tool for concurrent Java programs von Demartini, Claudio, Iosif, Radu, Sisto, Riccardo

Volltext

Formal verification applied to Java concurrent software von Iosif, Radu

Volltext

HIGHER EDUCATION, BETWEEN THE CRISIS OF QUALITY AND THE CRISIS OF IDENTITY -ROMANIAN AND EUROPEAN PERSPECTIVES von Urs, Iosif R

Volltext

Temporal logic properties of Java objects von Iosif, Radu, Sisto, Riccardo

Volltext

THE REGULATION OF THE CONTRACTUAL RELATIONS ON PUBLIC HEALT ASSITANCE THROUGH THE SOCIAL INSURANCE SYSTEM von Urs, Iosif R

Volltext

p35/p25 Is Not Essential for Tau and Cytoskeletal Pathology or Neuronal Loss in Niemann-Pick Type C Disease von Hallows, Janice L, Iosif, Robert E, Biasell, Rebecca D, Vincent, Inez

Volltext

Translating Java for Multiple Model Checkers: The Bandera Back-End von Iosif, Radu, Dwyer, Matthew B., Hatcliff, John

Volltext

Using Garbage Collection in Model Checking von Iosif, Radu, Sisto, Riccardo

Volltext

THE”PACTA SUNT SERVANDA” PRINCIPLE AND THE”REBUS SIC NON STANDIBUS” RULE IN COMPLYING WITH THE CONTRACTUAL OBLIGATIONS. THEORY OF IMPREVISION von Urs, Iosif R, Ispas, Petruţa-Elena

Volltext

CONSIDERATIONS REGARDING THE PRESCRIPTIBILITY OR IMPRESCRIPTIBILITY OF THE NOTICE OF CLAIM von Urs, Iosif R, Ispas, Petruţa-Elena

Volltext

ASPECTS OF CIVIL LIABILITY, AS A FORM OF SOCIAL LIABILTY, IN THE CONTEXT OF ECO-ECONOMY von DIANA-NICOLETA DASCALU, IOSIF R. URS

Volltext

ACQUISITIVE PRESCRIPTION, Comparative study between Romanian regulation and Spanish regulation von Urs, Iosif R, Ispas, Petruţa-Elena

Volltext