Travelled to:1 × Finland
1 × France
1 × Japan
Collaborated with:W.Thomas M.Grohe J.Altenbernd
Talks about:infinit (2) system (2) existenti (1) synchron (1) transit (1) theorem (1) product (1) pictur (1) condit (1) accept (1)
Person: Stefan Wöhrle
DBLP: W=ouml=hrle:Stefan
Contributed to:
2004
2002
2001Wrote 3 papers:
- LICS-2004-WohrleT #infinity #model checking
- Model Checking Synchronized Products of Infinite Transition Systems (SW, WT), pp. 2–11.
- DLT-2002-AltenberndTW #infinity
- Tiling Systems over Infinite Pictures and Their Acceptance Conditions (JHA, WT, SW), pp. 297–306.
- CSL-2001-GroheW #locality #theorem
- An Existential Locality Theorem (MG, SW), pp. 99–114.