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:
2014
2014
2013
20122008
20072004
2002200120001997Wrote 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.