Concepedia

Alfons Geser

AG

10

Publications

289

Citations

10

H-Index

1996

Active since

Affiliations

Leipzig University of Applied Sciences(Current)

University of Passau

Utrecht University

Alfons Geser is an author at Leipzig University of Applied Sciences specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisComputational ComplexityMathematical ProgrammingGrammarBusiness

Publications per year

1996–2007

10

Publications

10

Tactical conflict detection and resolution in a 3-d airspace

Gilles Dowek, Munoz Cesar, Alfons Geser · Defense Technical Information Center (DTIC) · 2001 · 58 citations

Match-Bounded String Rewriting Systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann · Applicable Algebra in Engineering Communication and Computing · 2004 · 54 citations

Engineering, String-searching Algorithm, Automated Reasoning +5

On tree automata that certify termination of left-linear term rewriting systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann et al. · Information and Computation · 2007 · 47 citations · Full text

Tree Automata, Tree Language, Engineering +11

Non-Looping String Rewriting

Alfons Geser, Hans Zantema · RAIRO - Theoretical Informatics and Applications · 1999 · 26 citations

Dummy Elimination, Infinite Reductions, Engineering +14

Parallelizing functional programs by generalization

Alfons Geser, Sergei Gorlatch · Journal of Functional Programming · 1999 · 26 citations · Full text

Mathematical Programming, Term Rewriting, Generalization Problem +15

Rows per page

1–5 of 10