Concepedia

Petra Radeljak Kaufmann

PR

Statistics

Publications

4

Citations

85

H-Index

4

Active since

2013

Affiliations

TU Wien(Current)

University of Zagreb

Petra Radeljak Kaufmann is an author at TU Wien specializing in software design, formal methods, and software validation.

Top concepts

Software DesignDesignHousingBusinessStrategySociologyManagementEngineeringHomelessnessVerification

Publications per year

2013–2019

4

Publications

4

Integrating factor analysis and the Delphi method in scenario development: A case study of Dalmatia, Croatia

Petra Radeljak Kaufmann · Applied Geography · 2016 · 35 citations

Human Factor, Business Intelligence, Project Management +15

A feature-based classification of formal verification techniques for software models

Sebastian Gabmeyer, Petra Radeljak Kaufmann, Martina Seidl et al. · Software & Systems Modeling · 2017 · 22 citations

Software Maintenance, Engineering, Verification +16

OCL meets CTL: Towards CTL-Extended OCL Model Checking.

Robert Bill, Sebastian Gabmeyer, Petra Radeljak Kaufmann et al. · 2013 · 15 citations

Are attitudes determined by location? Differences in perceptions of asylum seekers between residents of two Zagreb neighbourhoods

Margareta Gregurović, Petra Radeljak Kaufmann, Drago Župarić‐Iljić et al. · Geoforum · 2019 · 13 citations · Full text

Human Migration, Housing, Asylum Seekers +7

1–4 of 4