| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009) |
| 2008 | ||
| 2 | EE | Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008) |
| 2007 | ||
| 1 | EE | Vladimir Batagelj, Iztok Kavkler, Matija Lokar: Network Analysis of Repositories. LODE 2007 |
| 1 | Vladimir Batagelj | [1] |
| 2 | Andrej Bauer | [2] [3] |
| 3 | Matija Lokar | [1] |