| 2002 | ||
|---|---|---|
| 3 | EE | Michael Huber, Steve King: Towards an Integrated Model Checker for Railway Signalling Data. FME 2002: 204-223 |
| 2001 | ||
| 2 | EE | Michael Huber: Classification of Flag-Transitive Steiner Quadruple Systems. J. Comb. Theory, Ser. A 94(1): 180-190 (2001) |
| 2000 | ||
| 1 | EE | Manfred Schmidt-Schauß, Michael Huber: A Lambda-Calculus with letrec, case, constructors and non-determinism CoRR cs.PL/0011008: (2000) |
| 1 | Steve King | [3] |
| 2 | Manfred Schmidt-Schauß | [1] |