Concepedia

Dietmar Seipel

DS

10

Publications

371

Citations

10

H-Index

1997

Active since

Affiliations

University of Würzburg(Current)

Dietmar Seipel is an author at University of Würzburg specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsData ScienceSemantic WebComputer ScienceFormal VerificationLanguageProgram Analysis

Publications per year

1997–2017

10

Publications

10

Unfolding partiality and disjunctions in stable model semantics

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel et al. · ACM Transactions on Computational Logic · 2006 · 141 citations

Engineering, Verification, Well-founded Semantics +21

Clone detection in source code by frequent itemset techniques

V. Wahler, Dietmar Seipel, J. Gerard Wolff et al. · 2005 · 82 citations

Software Maintenance, Engineering, Clone Detection +21

Anomalies in ontologies with rules

Joachim Baumeister, Dietmar Seipel · Journal of Web Semantics · 2010 · 29 citations

Ontological Analysis, Engineering, Automated Reasoning +4

Model generation and state generation for disjunctive logic programs

Dietmar Seipel, Jack Minker, Carolina Ruiz · The Journal of Logic Programming · 1997 · 25 citations

Applied Logic, Engineering, Automated Reasoning +6

Smelly Owls - Design Anomalies in Ontologies

Joachim Baumeister, Dietmar Seipel · The Florida AI Research Society · 2005 · 22 citations

Ontology (Information Science), Ontological Analysis, Ontological Knowledge +13

Rows per page

1–5 of 10