Concepedia

Peter H. Schmitt

PH

15

Publications

666

Citations

12

H-Index

1984

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Aicas (Germany)

Peter H. Schmitt is an author at Karlsruhe Institute of Technology specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceVerificationFormal MethodsFormal VerificationSystems EngineeringSystem SoftwareProgram AnalysisSoftware Testing

Publications per year

1984–2021

15

Publications

15

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

An order-sorted logic for knowledge representation systems

Christoph Beierle, U. Hedtstück, Udo Pletat et al. · Artificial Intelligence · 1992 · 71 citations

Knowledge Base, Knowledge Representation, Engineering +6

The liberalized ?-rule in free variable semantic tableaux

Reiner H�hnle, Peter H. Schmitt · Journal of Automated Reasoning · 1994 · 64 citations

Formal Semantics, Syntax, Automated Reasoning +6

The theory of ordered abelian groups does not have the independence property

Yuri Gurevich, Peter H. Schmitt · Transactions of the American Mathematical Society · 1984 · 52 citations · Full text

Order Theory, Linear Groups, Annotation Encoding= +7

Polyol‐Mediated Synthesis and Properties of Nanoscale Molybdates/Tungstates: Color, Luminescence, Catalysis

Peter H. Schmitt, Nadine Brem, Stephan A. Schunk et al. · Advanced Functional Materials · 2011 · 50 citations

Materials Science, Inorganic Chemistry, Nanoscale Molybdates/tungstates +14

Rows per page

1–5 of 15