Travelled to:1 × Australia
1 × Cyprus
1 × France
1 × Italy
1 × USA
2 × Germany
Collaborated with:M.Müller-Olm H.M.Bücker A.Rasch M.Fuchs P.Jakobi J.Schumann V.Rath B.I.Dahn J.Gehne T.Honigmann
Talks about:parallel (2) theorem (2) elimin (2) model (2) autom (2) data (2) translat (1) procedur (1) interact (1) geotherm (1)
Person: Andreas Wolf
DBLP: Wolf:Andreas
Contributed to:
20092004
2000
1999
1998
19981997Wrote 8 papers:
- SAC-2009-BuckerRRW #automation #parallel #problem #simulation
- Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
- SAC-2004-BuckerRW #parallel
- A class of OpenMP applications involving nested parallelism (HMB, AR, AW), pp. 220–224.
- ESOP-2000-Muller-OlmW #finite #on the
- On the Translation of Procedures to Finite Machines (MMO, AW), pp. 290–304.
- FM-v2-1999-Muller-OlmW #on the
- On Excusable and Inexcusable Failures (MMO, AW), pp. 1107–1127.
- CADE-1998-FuchsW
- System Description: Cooperation in Model Elimination: CPTHEO (MF, AW), pp. 42–46.
- CSMR-1998-JakobiW #automation #database #evaluation #framework #maintenance #named #proving #theorem proving
- DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data (PJ, AW), pp. 185–188.
- CADE-1997-DahnGHW #automation #integration #interactive #proving #theorem proving
- Integration of Automated and Interactive Theorem Proving in ILP (BID, JG, TH, AW), pp. 57–60.
- CADE-1997-WolfS #named #natural language #proving
- ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.