2007 | ||
---|---|---|
2 | EE | Jesse McGeachie, Jürgen Dingel: Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Electr. Notes Theor. Comput. Sci. 190(1): 3-18 (2007) |
2005 | ||
1 | EE | Tracy Jenkin, Jesse McGeachie, David Fono, Roel Vertegaal: eyeView: focus+context views for large group video conferences. CHI Extended Abstracts 2005: 1497-1500 |
1 | Jürgen Dingel | [2] |
2 | David Fono | [1] |
3 | Tracy Jenkin | [1] |
4 | Roel Vertegaal | [1] |