Janno von Stülpnagel is an author at University of Mannheim specializing in formal verification, automated reasoning, and knowledge discovery.
Top concepts
BusinessEngineeringData ScienceSemantic WebFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationKnowledge DiscoveryOntology Engineering
Publications per year
2017–2017
1
1
Rows per page
1–1 of 1