Heinz Uphoff

Publications

139

Citations

H-Index

1993

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Mannheim

Heinz Uphoff is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, semantic web, and engineering.

Top concepts

SyntaxLanguageSemanticsEngineeringSemantic WebFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningSoftware Design

Publications per year

1993–1994

Publications

Methods and rules

Serge Abiteboul, Georg Lausen, Heinz Uphoff et al. · 1993 · 80 citations · Full text

Engineering, Well-founded Semantics, Higher-order Logic +16

Access to Objects by Path Expressions and Rules

Juergen Frohn, Georg Lausen, Heinz Uphoff · MADOC (University of Mannheim) · 1994 · 48 citations · Full text

Engineering, Software Engineering, Semantics +18

Methods and rules

Serge Abiteboul, Georg Lausen, Heinz Uphoff et al. · ACM SIGMOD Record · 1993 · 11 citations

Engineering, Well-founded Semantics, Higher-order Logic +16

Rows per page

1–3 of 3