Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Tim Rohde
Observed name:
Rohde, Tim
Institutions:
Max Planck Institute for Software Systems,
Saarland University
Observed institutions:
Max Planck Institute for Software Systems,
Saarland University
ORCID:
0009-0000-2419-1604
Observed ORCID:
0009-0000-2419-1604
OpenAlex ID:
A5123516023
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
2026
·
Lohse, Janine
, Rohde, Tim
, et al.
·
arXiv (Cornell University)
·
2
PDF
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
2026
·
Bernd Finkbeiner
, Hadar Frenkel
, et al.
·
Lecture notes in computer science
·
1
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:
3
Citation count:
3
H-index:
1
I10-index:
Year
Topic
Type
