Concepedia

R. Schmid

RS

2

Publications

112

Citations

2

H-Index

1990

Active since

Affiliations

Software (Spain)(Current)

R. Schmid is an author at Software (Spain) specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringThin FilmsFormal MethodsComputer ScienceMaterial ScienceCarbon-based FilmsAutomated ReasoningFormal VerificationMaterials Engineering

Publications per year

1990–1990

2

Publications

2

Ion-plated titanium carbonitride films

E. Bergmann, Helmut Kaufmann, R. Schmid et al. · Surface and Coatings Technology · 1990 · 101 citations

Materials Engineering, Materials Science, Engineering +4

Symbolic constraint handling through unification in finite algebras

Wolfram Büttner, Klaus Estenfeld, R. Schmid et al. · Applicable Algebra in Engineering Communication and Computing · 1990 · 11 citations

Algebraic Logic, Constraint Solving, Engineering +6

Rows per page

1–2 of 2