| |
| 2008 | ||
|---|---|---|
| 2 | EE | Andrey Bovykin: Resplendent models and S11{\Sigma_1^1} -definability with an oracle. Arch. Math. Log. 47(6): 607-623 (2008) |
| 2006 | ||
| 1 | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006 | |
| 1 | Ian Horrocks | [1] |
| 2 | Duncan Hull | [1] |
| 3 | Ulrike Sattler | [1] |
| 4 | Robert Stevens (Robert D. Stevens) | [1] |
| 5 | Evgeny Zolin | [1] |