Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.
Research Interests

Papers共 202 篇Author StatisticsCo-AuthorSimilar Experts

By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Generic Model Checking for Modal Fixpoint Logics in COOL-MC
Daniel Hausmann,Merlin Humml,Simon Prucker,Lutz Schroeder, Aaron Strahlberger
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT I (2024): 171-185
Cited0Views0EIBibtex
0
0
A Point-free Perspective on Lax Extensions and Predicate Liftings
Sergey Goncharov,Dirk Hofmann,Pedro Nora,Lutz Schroder,Paul Wild
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCEno. 2 (2024): 98-127
Cited1Views0EIBibtex
1
0
Identity-Preserving Lax Extensions and Where to Find Them
Sergey Goncharov, Dirk Hofmaan,Pedro Nora,Lutz Schröder,Paul Wild
CoRR (2024)
Cited0Views0EIBibtex
0
0
Nominal Tree Automata with Name Allocation
Simon Prucker,Lutz Schröder
CONCUR (2024): 35:1-35:17
Cited0Views0EIBibtex
0
0
DIREGA – Building Decision Support for German Register Law1
Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz,Merlin Humml,Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner,Max Rapp,Lutz Schröder, Verena Stürmer
Frontiers in Artificial Intelligence and Applications Legal Knowledge and Information Systems (2024)
Cited0Views0Bibtex
0
0
Load More
Author Statistics

#Papers: 202

#Citation: 2847

H-Index: 26

G-Index: 38

Sociability: 5

Diversity: 3

Activity: 31

  • 合作者
  • 学生
  • 导师
No result temporarily, you can search similar Scholar with the same research interest
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn