Travelled to:1 × Brazil
1 × Germany
1 × USA
Collaborated with:S.Altmeyer R.Naujoks C.Scholl F.Pigorsch S.Disch S.Canzar M.R.Emmett A.Karrenbauer A.G.Marshall A.Meyer-Bäse H.Zhang
Talks about:parametr (1) interpol (1) fragment (1) arithmet (1) exchang (1) analysi (1) residu (1) precis (1) peptic (1) linear (1)
Person: Ernst Althaus
DBLP: Althaus:Ernst
Contributed to:
2014
2011
2008Wrote 3 papers:
- DATE-2014-SchollPDA #linear
- Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.
- LCTES-2011-AlthausAN #analysis #parametricity #performance #precise
- Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.
- SAC-2008-AlthausCEKMMZ
- Computing H/D-exchange speeds of single residues from data of peptic fragments (EA, SC, MRE, AK, AGM, AMB, HZ), pp. 1273–1277.