![]() | ![]() |
2003 | ||
---|---|---|
2 | EE | Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303 |
2002 | ||
1 | Mira Balaban, Eli Barzilay, Michael Elhadad: Abstraction as a means for end-user computing in creative applications. IEEE Transactions on Systems, Man, and Cybernetics, Part A 32(6): 640-653 (2002) |
1 | Brian E. Aydemir | [2] |
2 | Mira Balaban | [1] |
3 | Yegor Bryukhov | [2] |
4 | Robert L. Constable | [2] |
5 | Richard Eaton | [2] |
6 | Michael Elhadad | [1] |
7 | Adam Granicz | [2] |
8 | Jason Hickey | [2] |
9 | Alexei Kopylov | [2] |
10 | Christoph Kreitz | [2] |
11 | Vladimir Krupski | [2] |
12 | Lori Lorigo | [2] |
13 | Aleksey Nogin | [2] |
14 | Stephan Schmitt | [2] |
15 | Carl Witty | [2] |
16 | Xin Yu | [2] |