Concepedia

Georg Struth

GS

Statistics

Publications

17

Citations

628

H-Index

13

Active since

1996

Affiliations

University of Sheffield(Current)

University of Augsburg

Université Laval

Universität der Bundeswehr München

Kagoshima University

Georg Struth is an author at University of Sheffield specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationLinguisticsProbabilityVerificationDeep LearningImage Analysis

Publications per year

1996–2022

17

Publications

17

Kleene algebra with domain

Jules Desharnais, Bernhard Möller, Georg Struth · ACM Transactions on Computational Logic · 2006 · 171 citations

Kleene Algebra, Algebraic Logic, Abstract Algebra +11

Concurrent Kleene Algebra and its Foundations

Tony Hoare, Bernhard Möller, Georg Struth et al. · The Journal of Logic and Algebraic Programming · 2011 · 128 citations · Full text

Algebraic Logic, Automated Reasoning, Algebraic Semantics +3

Algebras of modal operators and partial correctness

Bernhard Möller, Georg Struth · Theoretical Computer Science · 2005 · 66 citations · Full text

Partial Correctness, Modern Algebra, Automated Reasoning +2

Internal axioms for domain semirings

Jules Desharnais, Georg Struth · Science of Computer Programming · 2010 · 55 citations

Topological Semigroups, Domain Theory, Ring Theory +2

Building program construction and verification tools from algebraic principles

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth · Formal Aspects of Computing · 2015 · 33 citations

Rows per page

1–5 of 17