3
Publications
133
Citations
3
H-Index
2017
Active since
Affiliations
Humboldt-Universität zu Berlin(Current)
Jens Keppeler is an author at Humboldt-Universität zu Berlin specializing in automated reasoning, engineering, and formal methods.
Top concepts
EngineeringData ScienceFormal MethodsData ManagementComputer ScienceQuery OptimizationAutomated ReasoningSemanticsFormal VerificationInformation Retrieval
Publications per year
2017–2018
3
3
Answering Conjunctive Queries under Updates
Christoph Berkholz, Jens Keppeler, Nicole Schweikardt · 2017 · 96 citations
Rows per page
1–3 of 3