BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wolf:Andreas

Contributed to:

SAC 20092009
SAC 20042004
ESOP 20002000
World Congress on Formal Methods 19991999
CADE 19981998
CSMR 19981998
CADE 19971997

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.