Travelled to:1 × Australia
1 × Austria
1 × Denmark
1 × Estonia
1 × Germany
1 × Ireland
1 × Italy
1 × Norway
1 × Switzerland
2 × United Kingdom
3 × USA
Collaborated with:∅ V.Sorge E.Melis M.Kropp R.L.McCasland S.Colton R.A.Lorie M.Mateescu C.G.Zahn N.Werro M.Albrecht M.Sarakinos J.H.Siekmann C.Benzmüller L.Cheikhrouhou A.Fiedler M.Kohlhase D.Fehrer X.Huang M.Kerber K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann M.Pollet C.Ullrich C.Wirth J.Zimmer
Talks about:proof (5) databas (3) strategi (2) descript (2) approach (2) develop (2) classif (2) automat (2) algebra (2) system (2)
Person: Andreas Meier
DBLP: Meier:Andreas
Contributed to:
20142013
2006
2005
2005
2005200420022000
2000199719951983
1982Wrote 14 papers:
- CSEET-2014-KroppMMZ #agile #collaboration #education #learning
- Teaching and learning agile collaboration (MK, AM, MM, CGZ), pp. 139–148.
- CSEET-2013-KroppM #agile #development #education
- Teaching agile software development at university level: Values, management, and craftsmanship (MK, AM), pp. 179–188.
- IJCAR-2006-SorgeMMC #automation #invariant #verification
- Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
- CADE-2005-MeierM #multi #proving #theorem proving
- System Description: Multi A Multi-strategy Proof Planner (AM, EM), pp. 250–254.
- SAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set
- A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
- VLDB-2005-MeierWAS #classification #fuzzy #query #using
- Using a Fuzzy Classification Query Language for Customer Relationship Management (AM, NW, MA, MS), pp. 1089–1096.
- IJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem
- Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.
- CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
- Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
- CADE-2000-Meier #proving
- System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level (AM), pp. 460–464.
- CL-2000-MelisM #multi #proving #theorem proving
- Proof Planning with Multiple Strategies (EM, AM), pp. 644–659.
- CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
- VLDB-1995-Meier #approach #database #migration #tool support
- Providing Database Migration Tools — A Practicioner’s Approach (AM), pp. 635–641.
- VLDB-1983-MeierL #concept #database
- A Surrogate Concept for Engineering Databases (AM, RAL), pp. 30–32.
- GG-1982-Meier #approach #database #graph
- A graph-relational approach to geographic databases (AM), pp. 245–254.