PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schmitt, Peter H."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification.

, and . The KeY Approach, volume 4334 of Lecture Notes in Computer Science, Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Syn Schmitt University of Stuttgart

Replication Data for: "Development and plausibility assessment of an active human body model in numerical cyclist to vehicle collision simulations based on real-life accident data", , and . Dataset, (2024)Related to: N. Trube, P. Lerge, L.V. Noelle, J. Moennich, T. Lich, S. Schmitt, 'Development and plausibility assessment of an active human body model in numerical cyclist to vehicle collision simulations based on real-life accident data', IRCOBI Conference 2024.

Marvin Schmitt University of Stuttgart

H. Binz

H. Bungartz

Elke Peter University of Stuttgart

 

Other publications of authors with the same name

Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem. Information and Control, 61 (2): 147-158 (May 1984)Vererbungshierarchien und Prädikatenlogik.. Wissensrepräsentation in Expertensystemen, volume 172 of Informatik-Fachberichte, page 79-97. Springer, (1987)Automated Deduction with Shannon Graphs., and . J. Log. Comput., 5 (6): 697-729 (1995)Entwurfgesteuerte Erzeugung von OCL-Constraints., , , and . Softwaretechnik-Trends, (2000)A closer look at the semantic relationship between Datalog and description logics., , and . Semantic Web, 6 (1): 63-79 (2015)Integrierter Deduktiver Software-Entwurf., , and . KI, 12 (4): 40-41 (1998)LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung, , , , , , , , , and 1 other author(s). LILOG-Report, (1986)The Liberalized delta-Rule in Free Variable Semantic Tableaux., and . J. Autom. Reasoning, 13 (2): 211-221 (1994)Tableau Calculus for Order Sorted Logic., and . Sorts and Types in Artificial Intelligence, volume 418 of Lecture Notes in Computer Science, page 49-60. Springer, (1989)An Improved Rule for While Loops in Deductive Program Verification., , and . ICFEM, volume 3785 of Lecture Notes in Computer Science, page 315-329. Springer, (2005)