The following publications are possibly variants of this publication:
- Monitoring Second-Order HyperpropertiesRaven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger 0001. atal 2024: 180-188 [doi]
- The First-Order Logic of HyperpropertiesBernd Finkbeiner, Martin Zimmermann 0002. STACS 2017: [doi]
- Timed hyperpropertiesHsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001. iandc, 280:104639, 2021. [doi]
- Concurrent HyperpropertiesBernd Finkbeiner, Ernst-RĂ¼diger Olderog. BIRTHDAY 2023: 211-231 [doi]
- Monitoring HyperpropertiesBernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. RV 2017: 190-207 [doi]
- Deciding HyperpropertiesBernd Finkbeiner, Christopher Hahn. concur 2016: [doi]
- Temporal HyperpropertiesBernd Finkbeiner. eatcs, 123, 2017. [doi]
- Monitoring hyperpropertiesBernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. fmsd, 54(3):336-363, 2019. [doi]