Alfons Geser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1986–2003
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | MFCS | Match-Bounded String Rewriting Systems. | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
| 2003 | WSC | Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. | Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, Csar A. Muoz |
| 1998 | FM | Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip | Alfons Geser, Wolfgang Kchlin |
| 1996 | CC | Non-monotone Fixpoint Iterations to Resolve Second Order Effects. | Alfons Geser, Jens Knoop, Gerald Lttgen, Oliver Rthing, Bernhard Steffen |
| 1996 | CSL | Relative Undecidability in Term Rewriting. | Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema |
| 1986 | ESOP | Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. | Alfons Geser, Heinrich Humann |