| |
| 2006 | ||
|---|---|---|
| 4 | EE | H. J. Limbach, A. Arnold, B. A. Mann, C. Holm: ESPResSo - an extensible simulation package for research on soft matter systems. Computer Physics Communications 174(9): 704-727 (2006) |
| 1991 | ||
| 3 | A. Arnold: An extension of the notions of traces and of asynchronous automata. ITA 25: 355-396 (1991) | |
| 1990 | ||
| 2 | A. Arnold: Recognizable sets of finite bilabelled transition systems. Acta Cybern. 9(4): 333-347 (1990) | |
| 1983 | ||
| 1 | A. Arnold: A negative result for Büchi's automata. Bulletin of the EATCS 21: 11 (1983) | |
| 1 | C. Holm | [4] |
| 2 | H. J. Limbach | [4] |
| 3 | B. A. Mann | [4] |