Concepedia

Rainer Himmeröder

RH

2

Publications

171

Citations

2

H-Index

1997

Active since

Affiliations

University of Freiburg(Current)

Rainer Himmeröder is an author at University of Freiburg specializing in engineering, logic programming, and automated reasoning.

Top concepts

EngineeringSemanticsManagementData ScienceSemantic WebVerificationData ModelingFormal MethodsData ManagementSoftware Design

Publications per year

1997–1998

2

Publications

2

Managing semistructured data with FLORID: A deductive object-oriented perspective

Bertram Ludäscher, Rainer Himmeröder, Georg Lausen et al. · Information Systems · 1998 · 127 citations

Engineering, Data Science, Deductive Object-oriented Perspective +9

FLORID: a prototype for F-logic

Juergen Frohn, Rainer Himmeröder, P.-Th. Kandzia et al. · 1997 · 44 citations

Computational Logic, Logic Synthesis, Database Theory +15

Rows per page

1–2 of 2