Sabine Rieder

11 papers B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
RV
Jan Kretínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb
2024 conf
Principles of Verification (3)
Sudeep Kanav, Jan Kretínský, Sabine Rieder
2024 J jnl
CoRR
Saeed Rahmani, Sabine Rieder, Erwin de Gelder, Marcel Sonntag, Jorge Lorente Mallada, Sytze Kalisvaart, Vahid Hashemi, Simeon C. Calvert
2024 B conf
RV
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024 J jnl
CoRR
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024 conf
CAV (2)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
CoRR
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2023 conf
CAV (1)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 J jnl
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 B conf
FM
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
2022 J jnl
CoRR
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt