| |
| 2006 | ||
|---|---|---|
| 4 | EE | John T. Langton, Astrid A. Prinz, David K. Wittenberg, Timothy J. Hickey: Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries. VIEW 2006: 77-91 |
| 2004 | ||
| 3 | Timothy J. Hickey, David K. Wittenberg: Using Analytic CLP to Model and Analyze Hybrid Systems. FLAIRS Conference 2004 | |
| 2 | EE | Timothy J. Hickey, David K. Wittenberg: Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. HSCC 2004: 402-416 |
| 1999 | ||
| 1 | Timothy J. Hickey, David K. Wittenberg: Validated Constraint Compilation. CP 1999: 482-483 | |
| 1 | Timothy J. Hickey | [1] [2] [3] [4] |
| 2 | John T. Langton | [4] |
| 3 | Astrid A. Prinz | [4] |