Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Janine Lohse
Observed name:
Lohse, Janine
Institutions:
Max Planck Institute for Software Systems,
Saarland University
Observed institutions:
Max Planck Institute for Software Systems,
Saarland University
ORCID:
0009-0009-9423-2083
Observed ORCID:
0009-0009-9423-2083
OpenAlex ID:
A5038291917
An Iris for Expected Cost Analysis
2024
·
Lohse, Janine
, Garg, Deepak
·
arXiv (Cornell University)
·
9
PDF
Automata-Based Software Model Checking of Hyperproperties
2023
·
Bernd Finkbeiner
, Hadar Frenkel
, et al.
·
Lecture notes in computer science
·
4
PDF
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026
·
Lohse, Janine
, Rohde, Tim
, et al.
·
arXiv (Cornell University)
·
2
PDF
Artifact of Amaryllis: Integrating Dynamic Allocation and Iris-Style Resources into a Distributional Probabilistic Logic
2026
·
Lohse, Janine
, Rohde, Tim
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
5
Citation count:
15
H-index:
2
I10-index:
Year
Topic
Type
