Scholar
Marcos Cramer
Google Scholar ID: ODViFjwAAAAJ
TU Dresden
logic
knowledge representation
argumentation
language of mathematics
philosophical logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
479
H-index
13
i10-index
16
Publications
20
Co-authors
10
list available
Contact
No contact links provided.
Publications
2 items
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
2026
Cited
0
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
2025
Cited
0
Resume (English only)
Co-authors
10 total
Co-author 1
Co-author 2
Co-author 3
Co-author 4
Co-author 5
Co-author 6
Marc Denecker
Prof. at KU-Leuven
Co-author 8
