Travelled to:1 × United Kingdom
2 × USA
Collaborated with:F.Brglez X.Y.Li M.Kormilitsin R.Chirkova Y.Fathi S.Balik R.D.Rodman S.Bahram M.C.Grace S.D.High
Talks about:algorithm (2) proof (2) benchmark (1) automata (1) skeptic (1) qualiti (1) perform (1) heurist (1) environ (1) correct (1)
Person: Matthias F. Stallmann
DBLP: Stallmann:Matthias_F=
Contributed to:
2008
2007
2002Wrote 3 papers:
- CIKM-2008-KormilitsinCFS #algorithm #heuristic
- View and index selection for query-performance improvement: quality-centered algorithms and heuristics (MK, RC, YF, MFS), pp. 1329–1330.
- ITiCSE-2007-StallmannBRBGH #automaton #correctness #named #proving
- ProofChecker: an accessible environment for automata theory correctness proofs (MFS, SB, RDR, SB, MCG, SDH), pp. 48–52.
- SAT-2002-BrglezLS #algorithm #benchmark #metric #satisfiability #testing
- The role of a skeptic agent in testing and benchmarking of SAT algorithms (FB, XYL, MFS), p. 13.