`Travelled to:`

1 × Australia

1 × China

1 × Denmark

1 × France

1 × Germany

1 × Italy

1 × Singapore

1 × Spain

1 × The Netherlands

2 × United Kingdom

`Collaborated with:`

∅ P.Höfner A.Armstrong V.B.F.Gomes S.Foster A.McIver T.M.Rabehaja

`Talks about:`

algebra (5) autom (4) concurr (2) calculi (2) reason (2) lattic (2) verif (2) relat (2) kleen (2) focus (2)

## Person: Georg Struth

### DBLP: Struth:Georg

### Contributed to:

### Wrote 11 papers:

- FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
- SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification
- Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
- QAPL-2013-McIverRS #algebra #concurrent #probability
- Probabilistic Concurrent Kleene Algebra (AM, TMR, GS), pp. 97–115.
- IJCAR-2012-FosterS #algebra #analysis #automation
- Automated Analysis of Regular Algebra (SF, GS), pp. 271–285.
- IJCAR-2008-HofnerS #automation #calculus #on the
- On Automating the Calculus of Relations (PH, GS), pp. 50–66.
- CADE-2007-HofnerS #algebra #automation #reasoning
- Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
- SEFM-2004-Struth #automation #reasoning #set
- Automated Element-Wise Reasoning with Sets (GS), pp. 320–329.
- RTA-2002-Struth #calculus
- Deriving Focused Lattice Calculi (GS), pp. 83–97.
- RTA-2001-Struth #calculus #transitive
- Deriving Focused Calculi for Transitive Relations (GS), pp. 291–305.
- RTA-2000-Struth #algebra
- An Algebra of Resolution (GS), pp. 214–228.
- RTA-1997-Struth #for free #on the #problem #word
- On the Word Problem for Free Lattices (GS), pp. 128–141.