Philipp Schröer 个人学术档案

20212022202320243 11 16 20

开放获取的出版物数量

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Christoph MathejaProfessor of Theory of Correct Systems, University of Oldenburg在 uol.de 的电子邮件经过验证
Kevin BatzPhD Student, RWTH Aachen University在 rwth-aachen.de 的电子邮件经过验证
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College London在 cs.uni-saarland.de 的电子邮件经过验证
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang University在 zju.edu.cn 的电子邮件经过验证
Sebastian JungesAssistant Professor, Radboud University, Nijmegen在 ru.nl 的电子邮件经过验证

Philipp Schröer

在 cs.rwth-aachen.de 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Latticed -Induction with an Application to Probabilistic Programs K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer Computer Aided Verification. CAV 2020, 524-549, 2021	23	2021
PrIC3: Property Directed Reachability for MDPs K Batz, S Junges, BL Kaminski, JP Katoen, C Matheja, P Schröer Computer Aided Verification. CAV 2020, 2020	18	2020
A Deductive Verification Infrastructure for Probabilistic Programs P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2052-2082, 2023	9	2023
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version) P Schröer, K Batz, BL Kaminski, JP Katoen, C Matheja arXiv preprint arXiv:2309.07781, 2023		2023
PrIC3: Property Directed Reachability for MDPs JP Katoen, C Matheja, P Schröer

系统目前无法执行此操作，请稍后再试。

文章 1–5

每年引用数