<REC>
<AU> Miguel Diaz - Banez , Giovanna Farigu , Francisco Gomez , David Rappaport , and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> El compas flamenco : A phylogenetic analysis </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of BRIDGES : Mathematical Connections in Art , Music , and Science </JN>
<DE> , </DE>
<OR> Southwestern College </OR>
<DE> , </DE>
<GL> Winfield , Kansas </GL>
<DE> , </DE>
<DA> July 30 to August 1 , 2004 </DA>
<DE> , </DE>
<PP> pp . 61 - 70 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Greg Aloupis , Thomas Fevens , Stefan Langerman , Tomomi Matsui , Antonio Mesa , Yurai Nunez , David Rappaport and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing a geometric measure of the similarity between two melodies </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the 15th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<DE> " </DE>
<OR> Dalhousie University </OR>
<DE> , </DE>
<GL> Halifax , Nova Scotia , Canada </GL>
<DE> , </DE>
<DA> August 11 - 13 , 2003 </DA>
<DE> , </DE>
<PP> pp . 81 - 84 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Ferran Hurtado , Godfried T. Toussaint , and Joan Trias </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On polyhedra induced by point sets in space </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the 15th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<DE> " </DE>
<OR> Dalhousie University </OR>
<DE> , </DE>
<GL> Halifax , Nova Scotia , Canada </GL>
<DE> , </DE>
<DA> August 11 - 13 , 2003 </DA>
<DE> , </DE>
<PP> pp . 107 - 110 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Bremner , Erik Demaine , Jeff Erickson , John Iacono , Stefan Langerman , Pat Morin , and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Output - sensitive algorithms for computing nearest - neighbour decision boundaries </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Algorithms and Data Structures </JN>
<DE> , </DE>
<AU> F. Dehne , J. - R. Sack and M. Smid </AU>
<DE> ( </DE>
<NG> Eds </NG>
<DE> . </DE>
<DE> ) </DE>
<DE> , </DE>
<JN> 8th International Workshop </JN>
<DE> , </DE>
<DA> July 30 - August 1 , 2003 </DA>
<DE> , </DE>
<GL> Ottawa , Ontario , Canada </GL>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<NG> LNCS 2748 </NG>
<DE> , </DE>
<PP> pp . 451 - 461 </PP>
<DE> , </DE>
<DA> 2003 </DA>
<DE> . </DE>
<JN> Discrete and Computational Geometry version </JN>
<DE> ( </DE>
<DA> accepted in 2004 </DA>
<DE> ) </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Classification and phylogenetic analysis of African ternary rhythm timelines </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Extended version of paper that appeared in : Proceedings of BRIDGES : Mathematical Connections in Art , Music , and Science </JN>
<DE> , </DE>
<OR> University of Granada </OR>
<DE> , </DE>
<GL> Granada , Spain </GL>
<DA> July 23 - 27 , 2003 </DA>
<DE> , </DE>
<PP> pp . 25 - 36 </PP>
<DE> . </DE>
<FL> compressed PostScript file Conference proceedings version - PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Algorithmic , geometric , and combinatorial problems in computational music theory </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Extended version of paper that appeared in : Proceedings of X Encuentros de Geometria Computacional </JN>
<DE> , </DE>
<OR> University of Sevilla </OR>
<DE> , </DE>
<GL> Sevilla , Spain </GL>
<DA> June 16 - 17 , 2003 </DA>
<DE> , </DE>
<PP> pp . 101 - 107 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
<DE> ( </DE>
<NG> long </NG>
<DE> ) </DE>
<FL> Conference proceedings version - PDF file </FL>
</REC>
<REC>
<AU> H. Bronnimann , J. Iacono , J. Katajainen , P. Morin , J. Morrison and G. T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Space - efficient planar convex hull algorithms </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Theoretical Computer Science </JN>
<DE> , </DE>
<NG> in press </NG>
<DE> , </DE>
<DA> 2003 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Toni Sellares and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the role of kinesthetic thinking in computational geometry </TI>
<DE> , </DE>
<DE> " </DE>
<JN> International Journal of Mathematical Education in Science and Technology </JN>
<DE> , </DE>
<DA> accepted for publication Sept . 26 , 2002 </DA>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Elsa Omana - Pulido and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Aperture - angle optimization problems in 3 dimensions </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Mathematical Modelling and Algorithms </JN>
<DE> , </DE>
<VO> Vol . 1 </VO>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 301 - 329 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Benjamin Marlin and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Constructing convex 3 - polytopes from two triangulations of a polygon </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the 14th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<OR> University of Lethbridge </OR>
<DE> , </DE>
<GL> Lethbridge , Alberta </GL>
<DE> , </DE>
<DA> August 12 - 14 , 2002 </DA>
<DE> , </DE>
<PP> pp . 36 - 39 </PP>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Greg Aloupis , Erik D. Demaine , Henk Meijer , Joseph O'Rourke , Ileana Streinu and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On flat - state connectivity of chains with fixed acute angles </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the 14th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<OR> University of Lethbridge </OR>
<DE> , </DE>
<GL> Lethbridge , Alberta </GL>
<DE> , </DE>
<DA> August 12 - 14 , 2002 </DA>
<DE> , </DE>
<PP> pp . 27 - 30 </PP>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Greg Aloupis , Prosenjit Bose , Erik D. Demaine , Stefan Langerman , Henk Meijer , Mark Overmars and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing signed permutations of polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the 14th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<OR> University of Lethbridge </OR>
<DE> , </DE>
<GL> Lethbridge , Alberta </GL>
<DE> , </DE>
<DA> August 12 - 14 , 2002 </DA>
<DE> , </DE>
<PP> pp . 68 - 71 </PP>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Proximity graphs for nearest neighbor decision rules : recent progress </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Interface - 2002 , 34th Symposium on Computing and Statistics </JN>
<DE> ( </DE>
<TI> theme : Geoscience and Remote Sensing </TI>
<DE> ) </DE>
<DE> , </DE>
<OR> Ritz - Carlton Hotel </OR>
<DE> , </DE>
<GL> Montreal , Canada </GL>
<DE> , </DE>
<DA> April 17 - 20 , 2002 </DA>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Convexifying polygons in 3D : a survey </TI>
<DE> , </DE>
<DE> " </DE>
<JN> in Physical Knots : Knotting , Linking , and Folding Geometric Objects in R3 , AMS Special Session on Physical Knotting , Linking , and Unknotting </JN>
<DE> , </DE>
<NG> Editors </NG>
<DE> , </DE>
<AU> Jorge A. Calvo , Keneth Millett , and Eric Rawdon </AU>
<DE> , </DE>
<OR> published by the A merican M athematical S ociety </OR>
<DE> , </DE>
<JN> Contemporary Mathematics Vol . 304 </JN>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 269 - 285 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A mathematical analysis of African , Brazilian , and Cuban clave </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of BRIDGES : Mathematical Connections in Art , Music and Science </JN>
<DE> , </DE>
<OR> Townson University </OR>
<DE> , </DE>
<GL> Towson , MD </GL>
<DE> , </DE>
<DA> July 27 - 29 , 2002 </DA>
<DE> , </DE>
<PP> pp . 157 - 168 </PP>
<DE> . </DE>
<JN> Also the long version is Technical Report SOCS - 02 . 2 </JN>
<DE> , </DE>
<DA> May 2002 </DA>
<DE> . </DE>
<FL> long version clave . pdf proceedings version PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Simple proofs of a geometric property of four - bar linkages </TI>
<DE> , </DE>
<DE> " </DE>
<JN> American Mathematical Monthly </JN>
<DE> , </DE>
<VO> Vol . 110 , No . 6 </VO>
<DE> , </DE>
<DA> June - July 2003 </DA>
<DE> , </DE>
<PP> pp . 482 - 494 </PP>
<DE> . </DE>
<DA> MS # 01 - 701 accepted for publication February 20 , 2002 </DA>
<DE> . </DE>
<JN> Also Tech . Report # SOCS - 01 . 4 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> April 12 , 2001 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> H. Bronnimann , J. Iacono , J. Katajainen , P. Morin , J. Morrison and G. T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Optimal in - place planar convex hull algorithms </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of L atin A merican T heoretical IN formatics , LATIN2002 </JN>
<DE> , </DE>
<GL> Cancun , Mexico </GL>
<DE> , </DE>
<DA> April 3 - 6 , 2002 </DA>
<DE> , </DE>
<PP> pp . 494 - 507 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Oswin Aichholzer , Carmen Cortes , Erik Demaine , Vida Dujmovic , Jeff Erickson , Henk Meijer , Mark Overmars , Belen Palop , Suneeta Ramaswami , and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Flipturning polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Discrete and Computational Geometry </JN>
<DE> , </DE>
<VO> Vol . 28 </VO>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 231 - 253 </PP>
<DE> . </DE>
<FL> Journal version </FL>
</REC>
<REC>
<AU> J. Antoni Sellares and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the role of kinesthetic thinking in computational geometry </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Technical Report IIiA 02 - 02 - RR </JN>
<DE> , </DE>
<OR> Institut d'Informatica i Aplicacions , Universitat de Girona </OR>
<DE> , </DE>
<GL> Spain </GL>
<DE> , </DE>
<DA> February 19 , 2002 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Francisco Gomez , Ferran Hurtado , J. A. Sellares and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Nice perspetive projections </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Visual Communication and Image Representation </JN>
<DE> , </DE>
<VO> Vol . 12 , No . 4 </VO>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 387 - 400 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Greg Aloupis , Stefan Langerman , Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the computation of the bivariate median and the Fermat - Toricelli problem for lines </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the Thirteenth Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<DE> ( </DE>
<FL> extended abstract </FL>
<DE> ) </DE>
<DE> , </DE>
<OR> University of Waterloo </OR>
<DE> , </DE>
<DA> August 13 - 15 , 2001 </DA>
<DE> , </DE>
<PP> pp . 21 - 24 </PP>
<DE> . </DE>
<NG> See also </NG>
<DE> : </DE>
<JN> Tech . Report # SOCS - 01 . 2 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> February 28 , 2001 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Michael E. Houle and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Every set of disjoint line segments admits a binary tree </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Discrete and Computational Geometry </JN>
<DE> , </DE>
<VO> Vol . 26 , No . 3 </VO>
<DE> , </DE>
<DA> August 2001 </DA>
<DE> , </DE>
<PP> pp . 387 - 410 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Oswin Aicholzer , Erik D. Demaine , Jeff Erickson , Ferran Hurtado , Mark Overmars , Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Reconfiguring convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computational Geometry : Theory and Applications </JN>
<DE> , </DE>
<VO> Vol . 20 , Numbers 1 - 2 </VO>
<DE> , </DE>
<DA> October 2001 </DA>
<DE> , </DE>
<PP> pp . 85 - 95 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Greg Aloupis , Carmen Cortes , Francisco Gomez , Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Lower bounds for computing statistical depth </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computational Statistics and Data Analysis </JN>
<DE> , </DE>
<VO> Vol . 40 </VO>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 223 - 229 </PP>
<DE> . </DE>
<JN> Also Tech . Report # SOCS - 01 . 1 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> February 22 , 2001 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A new class of stuck unknots in <I> Pol </B> - 6 </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Contributions to Algebra and Geometry </JN>
<DE> , </DE>
<VO> Vol . 42 , No . 2 </VO>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 301 - 306 </PP>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<JN> Tech . Report No . SOCS - 99 . 1 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> April 10 , 1999 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Thomas Fevens , Antonio Hernandez , Antonio Mesa , Patrick Morin , Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Simple polygons with an infinite sequence of deflations </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Contributions to Algebra and Geometry </JN>
<DE> , </DE>
<VO> Vol . 42 , No . 2 </VO>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 307 - 311 </PP>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> June 9 , 2000 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Jorge Alberto Calvo , Danny Krizanc , Pat Morin , Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Convexifying polygons with simple projections </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Information Processing Letters </JN>
<DE> , </DE>
<VO> Vol . 80 , No . 2 </VO>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 81 - 86 </PP>
<DE> . </DE>
<JN> Also Technical Report SOCS - 00 . 4 </JN>
<DE> , </DE>
<DA> July 2000 </DA>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Francisco Gomez , Ferran Hurtado , Toni Sellares and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On degeneracies removable by perspective projections </TI>
<DE> , </DE>
<DE> " </DE>
<JN> International Journal of Mathematical Algorithms </JN>
<DE> , </DE>
<VO> Vol . 2 </VO>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 227 - 248 </PP>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Advances in computational geometry for document analysis </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings Fourth International Workshop on Document Analysis Systems ( DAS ' 2000 </JN>
<DE> ) </DE>
<DE> , </DE>
<GL> Rio de Janeiro , Brazil </GL>
<DE> , </DE>
<DA> December 10 - 13 , 2000 </DA>
<DE> , </DE>
<PP> pp . 25 - 40 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Ferran Hurtado , Vera Sacristan and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Some constrained minimax and maximim location problems </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Studies in Locational Analysis , Special Issue on Computational Geometry in Locational Analysis </JN>
<DE> , </DE>
<NG> Guest Editor </NG>
<DE> : </DE>
<AU> Juan Mesa </AU>
<DE> , </DE>
<VO> Issue No . 15 </VO>
<DE> , </DE>
<DA> December 2000 </DA>
<DE> , </DE>
<PP> pp . 17 - 35 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing the constrained Euclidean , geodesic and link centers of a simple polygon with applications </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Studies in Locational Analysis , Special Issue on Computational Geometry in Locational Analysis </JN>
<DE> , </DE>
<NG> Guest Editor </NG>
<DE> : </DE>
<AU> Juan Mesa </AU>
<DE> , </DE>
<VO> Issue No . 15 </VO>
<DE> , </DE>
<DA> December 2000 </DA>
<DE> , </DE>
<PP> pp . 37 - 66 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Oswin Aichholzer , Carmen Cortes , Erik Demaine , Vida Dujmovic , Jeff Erickson , Henk Meijer , Mark Overmars , Belen Palop , Suneeta Ramaswami , and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Flipturning polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . of the Japan Conference on Discrete and Computational Geometry ( JCDCG 2000 </JN>
<DE> ) </DE>
<DE> , </DE>
<OR> Tokay University </OR>
<DE> , </DE>
<GL> Tokyo , Japan </GL>
<DE> , </DE>
<DA> November 22 - 25 , 2000 </DA>
<DE> , </DE>
<PP> pp . 107 - 108 </PP>
<DE> . </DE>
<FL> Extended Abstract Compressed PostScript </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Suneeta Ramaswami , Godfried Toussaint and Alain Turki </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Experimental results on quadrangulations of sets of fixed points </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer Aided Geometric Design </JN>
<DE> , </DE>
<DA> accepted for publication April 23 , 2002 </DA>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<JN> Techical Report SOCS - 00 . 6 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> September 2000 </DA>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Oswin Aichholzer , Erik D. Demaine , Jeff Erickson , Ferran Hurtado , Mark Overmars , Michael A. Soss , and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Reconfiguring convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . 12th Annual Canadian Conference on Computational Geometry ( CCCG 2000 </JN>
<DE> ) </DE>
<DE> , </DE>
<GL> Fredericton , New Brunswick , Canada </GL>
<DE> , </DE>
<DA> August 16 - 18 , 2000 </DA>
<DE> , </DE>
<PP> pp . 17 - 20 </PP>
<DE> . </DE>
<FL> Compressed PostScript file </FL>
</REC>
<REC>
<AU> Francisco Gomez , Ferran Hurtado , Suneeta Ramaswami , Vera Sacristan , and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Implicit convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Mathematical Modelling and Algorithms </JN>
<DE> , </DE>
<VO> Vol . 1 </VO>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 57 - 85 </PP>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<JN> Technical Report # SOCS - 00 . 5 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> July , 2000 </DA>
<DE> . </DE>
<FL> Compressed PostScript </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The complexity of computing nice viewpoints of objects in space </TI>
<DE> , </DE>
<DE> " </DE>
<NG> Keynote Address </NG>
<DE> , </DE>
<JN> Vision Geometry IX , Proc . SPIE International Symposium on Optical Science and Technology </JN>
<DE> , </DE>
<DA> 30 July to 4 August 2000 </DA>
<DE> , </DE>
<GL> San Diego , California </GL>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Michael Soss and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Geometric and computational aspects of polymer reconfiguration </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Mathematical Chemistry </JN>
<DE> , </DE>
<VO> Vol . 27 , No . 4 </VO>
<DE> , </DE>
<DA> September 2000 </DA>
<DE> , </DE>
<PP> pp . 303 - 318 </PP>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<JN> Technical Report No . SOCS - 00 . 2 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> May 4 , 2000 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The Erdos - Nagy theorem and its ramifications </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . 11th Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<GL> Vancouver , Canada </GL>
<DE> , </DE>
<DA> August 16 - 18 1999 </DA>
<DE> , </DE>
<PP> pp . 9 - 12 </PP>
<DE> . </DE>
<NG> Long version available at </NG>
<DE> : </DE>
<NG> http : / / www . cs . ubc . ca / conferences / CCCG </NG>
<DE> . </DE>
<NG> Also </NG>
<DE> : </DE>
<JN> Technical Report No . SOCS - 99 . 2 </JN>
<DE> , </DE>
<OR> School of Computer Science , McGill University </OR>
<DE> , </DE>
<DA> June 18 , 1999 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computational polygonal entanglement theory </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings VIII Encuentros de Geometria Computacional </JN>
<DE> , </DE>
<DA> July 7 - 9 </DA>
<DE> , </DE>
<DE> , </DE>
<GL> Castellon , Spain </GL>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Therese Biedl , Erik Demaine , Martin Demaine , Sylvain Lazard , Anna Lubiw , Joseph O'Rourke , Marc Overmars , Steve Robbins , Ileana Streinu , Godfried Toussaint and Sue Whitesides </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Locked and unlocked polygonal chains in 3D </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . Tenth ACM - SIAM Symposium on Discrete Algorithms </JN>
<DE> , </DE>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<GL> Baltimore , Maryland , USA </GL>
<DE> , </DE>
<DA> January 17 - 19 , 1999 </DA>
<DE> . </DE>
<JN> Also Discrete and Computational Geometry </JN>
<DE> , </DE>
<VO> Vol . 26 , No . 3 </VO>
<DE> , </DE>
<DA> August 2001 </DA>
<DE> , </DE>
<PP> pp . 269 - 281 </PP>
<DE> . </DE>
<FL> 2 - Page Proceedings version Full Paper archived by arXiv . org as cs . CG / 9910001 </FL>
<DE> : </DE>
</REC>
<REC>
<AU> Francisco Gomez , Suneeta Ramaswami and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On removing non - degeneracy assumptions in computational geometry </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the Italian Conference on Algorithms </JN>
<DE> , </DE>
<DA> March 12 - 14 , 1997 </DA>
<DE> , </DE>
<GL> Rome , Italy </GL>
<DE> , </DE>
<PP> pp . 52 - 63 </PP>
<DE> . </DE>
<DE> ( </DE>
<FL> updated version ) compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Marc van Kreveld and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Filling polyhedral molds </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer Aided Design </JN>
<DE> , </DE>
<VO> Vol . 30 , No . 4 </VO>
<DE> , </DE>
<DA> 1998 </DA>
<DE> , </DE>
<PP> pp . 245 - 254 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Francisco Gomez , Ferran Hurtado , Toni Sellares and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Perspective projections and removal of degeneracies </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . Tenth Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<GL> Montreal , Quebec , Canada </GL>
<DE> , </DE>
<DA> August 9 - 12 , 1998 </DA>
<DE> . </DE>
<FL> PostScript file </FL>
</REC>
<REC>
<AU> Therese Biedl , Erik Demaine , Martin Demaine , Anna Lubiw and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Hiding disks in folded polygons </TI>
<DE> " </DE>
<JN> Proc . Tenth Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<GL> Montreal , Quebec , Canada </GL>
<DE> , </DE>
<DA> August 9 - 12 , 1998 </DA>
<DE> . </DE>
<FL> PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Ferran Hurtado , Henk Meijer , Suneeta Ramaswami , David Rappaport , Vera Sacristan , Tom Shermer and Godfried Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Finding specified sections of arrangements : 2D results </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . Tenth Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<GL> Montreal , Quebec , Canada </GL>
<DE> , </DE>
<DA> August 9 - 12 , 1998 </DA>
<DE> . </DE>
<FL> PostScript file </FL>
</REC>
<REC>
<AU> Therese Biedl , Erik Demaine , Martin Demaine , Sylvain Lazard , Anna Lubiw , Joseph O'Rourke , Steve Robbins , Ileana Streinu , Godfried Toussaint and Sue Whitesides </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On reconfiguring tree linkages : Trees can lock </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . Tenth Canadian Conference on Computational Geometry </JN>
<DE> , </DE>
<GL> Montreal , Quebec , Canada </GL>
<DE> , </DE>
<DA> August 9 - 12 , 1998 </DA>
<DE> . </DE>
<FL> Proceedings version : PostScript file Full Paper : locked - tree . ps . gz Short version : note . ps . gz </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Ferran Hurtado - Diaz , Elsa Omana - Pulido , Jack Snoeyink and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Some aperture - angle optimization problems </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Algorithmica </JN>
<DE> , </DE>
<DA> accepted for publication in June 2001 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Suneeta Ramaswami , Pedro Ramos and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Converting triangulations to quadrangulations </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computational Geometry : Theory and Applications </JN>
<DE> , </DE>
<VO> Vol . 9 </VO>
<DE> , </DE>
<DA> March 1998 </DA>
<DE> , </DE>
<PP> pp . 257 - 276 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Characterizing and efficiently computing quadrangulations of planar point sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer Aided Geometric Design </JN>
<DE> , </DE>
<VO> vol . 14 </VO>
<DE> , </DE>
<DA> 1997 </DA>
<DE> , </DE>
<PP> pp . 763 - 785 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Boudewijn Asberg , Gregoria Blanco , Prosenjit Bose , Jesus Garcia - Lopez , Mark Overmars , Godfried Toussaint , Gordon Wilfong and Binhai Zhu </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Feasibility of design in stereolithography </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Algorithmica </JN>
<DE> , </DE>
<DE> , </DE>
<VO> vol . 19 , No . 1 / 2 </VO>
<DE> , </DE>
<DA> Sept / Oct , 1997 </DA>
<DE> , </DE>
<PP> pp . 61 - 83 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Thomas Shermer , Godfried T. Toussaint and Binhai Zhu </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Guarding polyhedral terrains </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computational Geometry : Theory and Applications </JN>
<DE> , </DE>
<VO> vol . 7 , No . 3 </VO>
<DE> , </DE>
<DA> February 1997 </DA>
<DE> , </DE>
<PP> pp . 173 - 186 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing the constrained Euclidean , geodesic and link centers of a simple polygon with applications </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of Computer Graphics International </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<GL> Pohang , Korea </GL>
<DE> , </DE>
<DA> June 24 - 28 , 1996 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Gregoria Blanco , Hazel Everett , Jesus Garcia - Lopez and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Illuminating the free space between quadrilaterals with point light source s </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer Graphics </JN>
<DE> , </DE>
<NG> Eds </NG>
<DE> . </DE>
<DE> , </DE>
<AU> M. Gigante and T. L. Kunii </AU>
<DE> , </DE>
<JN> Proc . Computer Graphics International 1994 </JN>
<DE> , </DE>
<GL> Melbourne , Australia </GL>
<DE> , </DE>
<DA> 27 June - 1 July , 1994 </DA>
<DE> , </DE>
<JN> World Scientific </JN>
<DE> , </DE>
<DA> 1996 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Avis , Prosenjit Bose , Thomas Shermer , Jack Snoeyink , Godfried T. Toussaint and Binhai Zhu </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the sectionsl area of convex polytopes </TI>
<DE> , </DE>
<DE> " </DE>
<JN> short version appeared in Proc . 12th ACM Symposium on Computational Geometry </JN>
<DE> , </DE>
<GL> Philadelphia </GL>
<DE> , </DE>
<DA> May 24 - 26 , 1996 </DA>
<DE> , </DE>
<PP> pp . C11 - C12 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , David Bremner and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> All convex polyhedra can be clamped with parallel jaw grippers </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computational Geometry : Theory and Applications </JN>
<DE> , </DE>
<VO> vol . 6 </VO>
<DE> , </DE>
<DA> 1996 </DA>
<DE> , </DE>
<PP> pp . 291 - 302 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Eu , Eric Guevremont and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On envelopes of arrangements of lines </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Algorithms </JN>
<DE> , </DE>
<VO> vol . 21 </VO>
<DE> , </DE>
<DA> 1996 </DA>
<DE> , </DE>
<PP> pp . 111 - 148 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose , Francisco Gomez , Pedro Ramos and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Drawing nice projections of objects in space </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of Graph Drawing ' 95 </JN>
<DE> , </DE>
<GL> Passau , Germany </GL>
<DE> , </DE>
<DA> September 1995 </DA>
<DE> , </DE>
<PP> pp . 52 - 63 </PP>
<DE> . </DE>
<DE> ( </DE>
<NG> This is an expanded version of the paper that appeared in the conference proceedings </NG>
<DE> ) </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Quadrangulations of planar sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of 4th International Workshop on Algorithms and Data Structures ( WADS ' 95 </JN>
<DE> ) </DE>
<DE> , </DE>
<NG> invited paper </NG>
<DE> , </DE>
<DA> August 16 - 18 , 1995 </DA>
<DE> , </DE>
<PP> pp . 218 - 227 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Geometric and computational aspects of gravity casting </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer - Aided Design </JN>
<DE> , </DE>
<VO> vol . 27 , No . 6 </VO>
<DE> , </DE>
<DA> June 1995 </DA>
<DE> , </DE>
<PP> pp . 455 - 464 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Growing a tree from its branches </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Algorithms </JN>
<DE> , </DE>
<VO> vol . 19 </VO>
<DE> , </DE>
<DA> 1995 </DA>
<DE> , </DE>
<PP> pp . 86 - 103 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Prosenjit Bose and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computational geometry for CAD / CAM </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of the Pacific Conference on Computer Graphics and Applications </JN>
<DE> , </DE>
<GL> Beijing , China </GL>
<DE> , </DE>
<DA> August 26 - 29 , 1994 </DA>
<DE> , </DE>
<PP> pp . 279 - 291 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A counter - example to a fast algorithm for finding the convex hull of a simple polygon </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computer Aided Drafting , Design and Manufacturing </JN>
<DE> , </DE>
<VO> vol . 4 , No . 2 </VO>
<DE> , </DE>
<DA> December 1994 </DA>
<DE> , </DE>
<PP> pp . 1 - 4 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A counter - example to Tomek 's consistency theorem for a condensed nearest neighbor decision rule </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition Letter s </JN>
<DE> , </DE>
<VO> vol . 15 </VO>
<DE> , </DE>
<DA> August 1994 </DA>
<DE> , </DE>
<PP> pp . 797 - 801 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Chuzo Iwamoto and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Finding Hamiltonian circuits in arrangements of Jordan curves is NP - Complete </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Information Processing Letters </JN>
<DE> , </DE>
<VO> vol . 52 </VO>
<DE> , </DE>
<DA> 1994 </DA>
<DE> , </DE>
<PP> pp . 183 - 189 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computational geometry for document analysis </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Third Annual Symposium on Document Analysis and Information Retrieval </JN>
<DE> , </DE>
<OR> Alexis Park Hotel </OR>
<DE> , </DE>
<GL> Las Vegas , Nevada </GL>
<DE> , </DE>
<DA> April 11 - 13 , 1994 </DA>
<DE> , </DE>
<PP> pp . 23 - 42 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Hossam ElGindy , Hazel Everett and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Slicing an ear in linear time </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition Letters </JN>
<DE> , </DE>
<VO> vol . 14 </VO>
<DE> , </DE>
<DA> September 1993 </DA>
<DE> , </DE>
<PP> pp . 719 - 722 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A new look at Euclid 's second proposition </TI>
<DE> , </DE>
<DE> " </DE>
<JN> The Mathematical Intelligencer </JN>
<DE> , </DE>
<VO> vol . 15 , No . 3 </VO>
<DE> , </DE>
<DA> 1993 </DA>
<DE> , </DE>
<PP> pp . 12 - 23 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Luc Devroye and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Convex hulls for random lines </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Algorithms </JN>
<DE> , </DE>
<VO> vol . 14 </VO>
<DE> , </DE>
<DA> 1993 </DA>
<DE> , </DE>
<PP> pp . 381 - 394 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> What is computational geometry </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . IEEE </JN>
<DE> , </DE>
<VO> vol . 80 , No . 9 </VO>
<DE> , </DE>
<DA> September , 1992 </DA>
<DE> , </DE>
<PP> pp . 1347 - 1363 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Jerzy W. Jaromczyk and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Relative neighborhood graphs and their relatives </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . IEEE </JN>
<DE> , </DE>
<VO> vol . 80 , No . 9 </VO>
<DE> , </DE>
<DA> September , 1992 </DA>
<DE> , </DE>
<PP> pp . 1502 - 1517 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Binay K. Bhattacharya and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing shortest transversals </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computing </JN>
<DE> , </DE>
<VO> vol . 46 </VO>
<DE> , </DE>
<DA> 1991 </DA>
<DE> , </DE>
<PP> pp . 93 - 119 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Binay K. Bhattacharya Hazel Everett and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A counterexample to a dynamic algorithm for convex hulls of line arrangements </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition Letters </JN>
<DE> , </DE>
<VO> vol . 12 </VO>
<DE> , </DE>
<DA> March 1991 </DA>
<DE> , </DE>
<PP> pp . 145 - 147 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Efficient triangulation of simple polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> The Visual Computer </JN>
<DE> , </DE>
<VO> vol . 7 </VO>
<DE> , </DE>
<DA> 1991 </DA>
<DE> , </DE>
<PP> pp . 280 - 295 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing morphological properties of arrangements of lines </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . 2nd Japan International Symposium of the Society for the Advancement of Materials and Process Engineering </JN>
<DE> , </DE>
<GL> Chiba , Japan </GL>
<DE> , </DE>
<DA> December 11 - 14 , 1991 </DA>
<DE> , </DE>
<PP> pp . 1406 - 1411 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computational geometry and computer vision </TI>
<DE> , </DE>
<DE> " </DE>
<JN> in Vision Geometry </JN>
<DE> , </DE>
<DE> , </DE>
<VO> vol . 119 </VO>
<DE> , </DE>
<OR> American Mathematical Society </OR>
<DE> , </DE>
<DA> 1991 </DA>
<DE> , </DE>
<PP> pp . 213 - 224 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Anthropomorphic polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> American Mathematical Monthly </JN>
<DE> , </DE>
<DA> January , 1991 </DA>
<DE> , </DE>
<PP> pp . 31 - 35 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Thomas M. Shermer and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Characterizations of convex and star - shaped polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Tech . Report No . SOCS - 92 . 18 </JN>
<DE> , </DE>
<DA> December 1992 </DA>
<DE> , </DE>
<OR> McGill University </OR>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Rappaport , Hiroshi Imai and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing simple circuits from a set of line segments </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Discrete and Computational Geometry </JN>
<DE> , </DE>
<VO> vol . 5 </VO>
<DE> , </DE>
<DA> 1990 </DA>
<DE> , </DE>
<PP> pp . 289 - 304 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Jean - Marc Robert and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computational geometry and facility location </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . International Conf . on Operations Research and Management Science </JN>
<DE> , </DE>
<DE> " </DE>
<GL> Manila , The Philippines </GL>
<DE> , </DE>
<DA> Dec . 11 - 15 , 1990 </DA>
<DE> , </DE>
<PP> pp . B - 1 to B - 19 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Xianshu Kong , Hazel Everett and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The Graham scan triangulates simple polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition Letters </JN>
<DE> , </DE>
<VO> vol . 11 </VO>
<DE> , </DE>
<DA> November 1990 </DA>
<DE> , </DE>
<PP> pp . 713 - 716 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On separating two simple polygons by a single translation </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Discrete and Computational Geometry </JN>
<DE> , </DE>
<VO> vol . 4 </VO>
<DE> , </DE>
<DA> 1989 </DA>
<DE> , </DE>
<PP> pp . 265 - 278 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing geodesic properties inside a simple polygon </TI>
<DE> , </DE>
<DE> " </DE>
<NG> Invited Paper </NG>
<DE> , </DE>
<JN> Revue D'Intelligence Artificielle </JN>
<DE> , </DE>
<VO> vol . 3 , No . 2 </VO>
<DE> , </DE>
<DA> 1989 </DA>
<DE> , </DE>
<PP> pp . 9 - 42 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Binay K. Bhattacharya , David G. Kirkpatrick and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Determining sector visibility of a polygon </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings Fifth Annual ACM Symposium on Computational Geometry </JN>
<DE> , </DE>
<GL> Saarbrucken , Germany </GL>
<DE> , </DE>
<DA> June 5 - 7 , 1989 </DA>
<DE> , </DE>
<PP> pp . 247 - 253 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Some unsolved problems on proximity graphs </TI>
<DE> , </DE>
<DE> " </DE>
<JN> First Workshop on Proximity Graphs </JN>
<DE> , </DE>
<GL> Las Cruces , New Mexico </GL>
<DE> , </DE>
<DA> December , 1989 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Michael E. Houle and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Computing the width of a set </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Pattern Analysis and Machine Intelligence </JN>
<DE> , </DE>
<VO> vol . 10 , No . 5 </VO>
<DE> , </DE>
<DA> September , 1988 </DA>
<DE> , </DE>
<PP> pp . 761 - 765 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Thomas Shermer and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A new characterization of L - convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> in Snapshots of Computational and Discrete Geometry </JN>
<DE> , </DE>
<NG> Ed </NG>
<DE> . </DE>
<DE> , </DE>
<AU> G. T. Toussaint </AU>
<DE> , </DE>
<JN> Tech . Report SOCS - 88 . 11 </JN>
<DE> , </DE>
<DA> June , 1988 </DA>
<DE> , </DE>
<PP> pp . 37 - 41 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Movable separability of sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> in Computational Geometry </JN>
<DE> , </DE>
<NG> Ed </NG>
<DE> . </DE>
<DE> , </DE>
<AU> G. T. Toussaint </AU>
<DE> , </DE>
<PU> North - Holland </PU>
<DE> , </DE>
<DA> 1985 </DA>
<DE> , </DE>
<PP> pp . 335 - 375 </PP>
<DE> . </DE>
<NG> This paper is a tutorial survey of research results obtained before 1985 related to disassembly and interlocking puzzles in two and three dimensions . This area is sometimes called local motion planning </NG>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A simple linear algorithm for intersecting convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> The Visual Computer </JN>
<DE> , </DE>
<VO> vol . 1 </VO>
<DE> , </DE>
<DA> 1985 </DA>
<DE> , </DE>
<PP> pp . 118 - 123 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the role of logical , visual and kinesthetic thinking in geometry </TI>
<DE> , </DE>
<DE> " </DE>
<JN> a preliminary version of this paper was presented at the Conference on Thinking </JN>
<DE> , </DE>
<OR> Harvard University </OR>
<DE> , </DE>
<DA> August 1984 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint and Hossam A. ElGindy </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Separation of two monotone polygons in linear time </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Robotica </JN>
<DE> , </DE>
<VO> vol . 2 </VO>
<DE> , </DE>
<DA> 1984 </DA>
<DE> , </DE>
<PP> pp . 215 - 220 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint , Binay K. Bhattacharya and Ronald S. Poulsen </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The application of Voronoi diagrams to non - parametric decision rules </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . 16th Symposium on Computer Science and Statistics : The Interface </JN>
<DE> , </DE>
<GL> Atlanta , Georgia </GL>
<DE> , </DE>
<DA> March 14 - 16 , 1984 </DA>
<DE> , </DE>
<PP> pp . 97 - 108 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> An optimal algorithm for computing the minimum vertex distance between two crossing convex polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computing </JN>
<DE> , </DE>
<VO> vol . 32 </VO>
<DE> , </DE>
<DA> 1984 </DA>
<DE> , </DE>
<PP> pp . 357 - 364 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Binay K. Bhattacharya and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Efficient algorithms for computing the maximum distance between two finite planar sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Journal of Algorithms </JN>
<DE> , </DE>
<VO> vol . 4 </VO>
<DE> , </DE>
<DA> 1983 </DA>
<DE> , </DE>
<PP> pp . 121 - 136 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<TI> Book Review of " Progress in Pattern Recognition </TI>
<DE> " </DE>
<DE> , </DE>
<NG> Eds </NG>
<DE> . </DE>
<AU> L. Kanal and A. Rozenfeld </AU>
<DE> , </DE>
<PU> North - Holland </PU>
<DE> , </DE>
<DA> 1981 </DA>
<DE> , </DE>
<JN> in IEEE Transactions on Information Theory </JN>
<DE> , </DE>
<VO> Vol . IT - 29 , No . 5 </VO>
<DE> , </DE>
<DA> September 1983 </DA>
<DE> , </DE>
<PP> pp . 779 - 780 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Solving geometric problems with the rotating calipers </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings of IEEE MELECON ' 83 </JN>
<DE> , </DE>
<GL> Athens , Greece </GL>
<DE> , </DE>
<DA> May 1983 </DA>
<DE> , </DE>
<PP> pp . A10 . 02 / 1 - 4 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint and Jim A. McAlear </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A simple O ( n log n ) algorithm for finding the maximum distance between two finite planar sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition Letters </JN>
<DE> , </DE>
<VO> vol . 1 </VO>
<DE> , </DE>
<DA> October 1982 </DA>
<DE> , </DE>
<PP> pp . 21 - 24 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint and Binay K. Bhattacharya </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Optimal algorithms for computing the minimum distance between two finite planar sets </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proc . Fifth International Congress of Cybernetics and Systems </JN>
<DE> , </DE>
<GL> Mexico City </GL>
<DE> , </DE>
<DA> August 1981 </DA>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Luc Devroye and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A note on linear expected time algorithms for finding convex hulls </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Computing </JN>
<DE> , </DE>
<VO> vol . 26 </VO>
<DE> , </DE>
<DA> 1981 </DA>
<DE> , </DE>
<PP> pp . 361 - 366 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Avis and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> An optimal algorithm for determining the visibility of a polygon from an edge </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Computers </JN>
<DE> , </DE>
<VO> vol . C - 30 , No . 12 </VO>
<DE> , </DE>
<DA> December 1981 </DA>
<DE> , </DE>
<PP> pp . 910 - 914 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> David Avis and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> An efficient algorithm for decomposing a polygon into star - shaped polygons </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition </JN>
<DE> , </DE>
<VO> vol . 13 , No . 6 </VO>
<DE> , </DE>
<DA> 1981 </DA>
<DE> , </DE>
<PP> pp . 395 - 398 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The relative neighbourhood graph of a finite planar set </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition </JN>
<DE> , </DE>
<VO> Vol . 12 </VO>
<DE> , </DE>
<DA> 1980 </DA>
<DE> , </DE>
<PP> pp . 261 - 268 </PP>
<DE> . </DE>
<NG> Winner of an Outstanding Paper Award given by the Pattern Recognition Society </NG>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> The use of context in pattern recognition </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition </JN>
<DE> , </DE>
<VO> Vol . 10 </VO>
<DE> , </DE>
<DA> 1978 </DA>
<DE> , </DE>
<PP> pp . 189 - 204 </PP>
<DE> . </DE>
<NG> Winner of the Best Paper of the Year Award given by the Pattern Recognition Society </NG>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Melvin Cohen and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the detection of structures in noisy pictures </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Pattern Recognition </JN>
<DE> , </DE>
<VO> Vol . 9 </VO>
<DE> , </DE>
<DA> 1977 </DA>
<DE> , </DE>
<PP> pp . 95 - 98 </PP>
<DE> . </DE>
<DE> ( </DE>
<NG> line and circle detection with the Hough transform to optimally compensate for random noise </NG>
<DE> ) </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Jack Koplowitz and Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> A unified theory of coding schemes for the efficient transmission of line drawings </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Extended version of : Proceedings of the 1976 IEEE Conference on Communications and Power </JN>
<DE> , </DE>
<GL> Montreal </GL>
<DE> , </DE>
<DA> October 1976 </DA>
<DE> , </DE>
<PP> pp . 205 - 208 </PP>
<DE> . </DE>
<FL> compressed PostScript file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Sharper lower bounds for discrimination information in terms of variation </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Information Theory </JN>
<DE> , </DE>
<DA> January 1975 </DA>
<DE> , </DE>
<PP> pp . 99 - 100 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Bibliography on estimation of misclassification </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Information Theory </JN>
<DE> , </DE>
<VO> Vol . IT - 20 </VO>
<DE> , </DE>
<DA> July 1974 </DA>
<DE> , </DE>
<PP> pp . 472 - 479 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> On the divergence between two distributions and the probability of misclassification of several decision rules </TI>
<DE> , </DE>
<DE> " </DE>
<JN> Proceedings Second International Joint Conference on Pattern Recognition </JN>
<DE> , </DE>
<DA> August 13 - 15 , 1974 </DA>
<DE> , </DE>
<GL> Copenhagen , Denmark </GL>
<DE> , </DE>
<PP> pp . 27 - 35 </PP>
<DE> . </DE>
<FL> PDF file </FL>
<DE> ( </DE>
<NG> warning </NG>
<DE> : </DE>
<DE> ) </DE>
<FL> divergence . pdf </FL>
<DE> ( </DE>
<NG> warning </NG>
<DE> : </DE>
<DE> ) </DE>
<FL> divergence . ps . gz </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Comments on a modified figure of merit for feature selection in pattern recognition </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Information Theory </JN>
<DE> , </DE>
<VO> Vol . IT - 17 </VO>
<DE> , </DE>
<DA> September 1971 </DA>
<DE> , </DE>
<PP> pp . 618 - 620 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Godfried T. Toussaint </AU>
<DE> , </DE>
<DE> " </DE>
<TI> Note on optimal selection of independent binary - valued features for pattern recognition </TI>
<DE> , </DE>
<DE> " </DE>
<JN> IEEE Transactions on Information Theory </JN>
<DE> , </DE>
<VO> Vol . IT - 17 </VO>
<DE> , </DE>
<DA> September 1971 </DA>
<DE> , </DE>
<PP> p. 618 </PP>
<DE> . </DE>
<FL> PDF file </FL>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> Race checking by context inference </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference on Programming Language Design and Implementation </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Dirk Beyer , Adam J. Chlipala , Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> Generating tests from counterexamples </TI>
<DE> . </DE>
<JN> Proceedings of the 26th Annual International Conference on Software Engineering </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Arkadeb Ghosal , Thomas A. Henzinger , Christoph M. Kirsch , and Marco A. A. Sanvido </AU>
<DE> . </DE>
<TI> Event - driven programming with logical execution times </TI>
<DE> . </DE>
<JN> Proceedings of the Seventh International Workshop on Hybrid Systems : Computation and Control </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> , </DE>
<PP> pp . 357 - 371 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , and Marielle Stoelinga </AU>
<DE> . </DE>
<TI> Model checking discounted temporal properties </TI>
<DE> . </DE>
<JN> Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> , </DE>
<PP> pp . 77 - 92 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Ken McMillan </AU>
<DE> . </DE>
<TI> Abstractions from proofs </TI>
<DE> . </DE>
<JN> Proceedings of the 31st Annual Symposium on Principles of Programming Languages </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> , </DE>
<PP> pp . 232 - 244 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Marco A. A. Sanvido </AU>
<DE> . </DE>
<TI> Extreme model checking </TI>
<DE> . </DE>
<JN> In Verification : Theory and Practice , Lecture Notes in Computer Science 2772 </JN>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2004 </DA>
<DE> , </DE>
<PP> pp . 332 - 358 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Krishnendu Chatterjee , Marcin Jurdzinski , and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Quantitative stochastic parity games </TI>
<DE> . </DE>
<JN> Proceedings of the 15th Annual Symposium on Discrete Algorithms </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<DA> 2004 </DA>
<DE> , </DE>
<PP> pp . 114 - 123 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Christoph M. Kirsch , and Slobodan Matic </AU>
<DE> . </DE>
<TI> Schedule carrying code </TI>
<DE> . </DE>
<JN> Proceedings of the Third International Conference on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 241 - 256 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , and Marielle Stoelinga </AU>
<DE> . </DE>
<TI> Resource interfaces </TI>
<DE> . </DE>
<JN> Proceedings of the Third International Conference on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 117 - 133 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Krishnendu Chatterjee , Marcin Jurdzinski , and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Simple stochastic parity games </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference for Computer Science Logic </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 100 - 113 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , and Marielle Stoelinga </AU>
<DE> . </DE>
<TI> The element of surprise in timed games </TI>
<DE> . </DE>
<JN> Proceedings of the 14th International Conference on Concurrency Theory </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 144 - 158 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Shaz Qadeer </AU>
<DE> . </DE>
<TI> Thread - modular abstraction refinement </TI>
<DE> . </DE>
<JN> Proceedings of the 15th International Conference on Computer - Aided Verification </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 262 - 274 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> Counterexample - guided control </TI>
<DE> . </DE>
<JN> Proceedings of the 30th International Colloquium on Automata , Languages , and Programming </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 886 - 902 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> Discounting the future in systems theory </TI>
<DE> . </DE>
<JN> Proceedings of the 30th International Colloquium on Automata , Languages , and Programming </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 1022 - 1037 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Krishnendu Chatterjee , Di Ma , Rupak Majumdar , Tian Zhao , Thomas A. Henzinger , and Jens Palsberg </AU>
<DE> . </DE>
<TI> Stack size analysis for interrupt - driven programs </TI>
<DE> . </DE>
<JN> Proceedings of the Tenth International Static Analysis Symposium </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 109 - 126 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Gregoire Sutre </AU>
<DE> . </DE>
<TI> Software verification with Blast </TI>
<DE> . </DE>
<JN> Proceedings of the Tenth International Workshop on Model Checking of Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 235 - 239 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> Embedded control systems development with Giotto </TI>
<DE> . </DE>
<JN> In Software - Enabled Control : Information Technology for Dynamical Systems </JN>
<DE> ( </DE>
<AU> T. Samad , G. Balas </AU>
<DE> , </DE>
<NG> eds </NG>
<DE> . </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Press and Wiley - Interscience </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 123 - 146 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> Giotto : A time - triggered language for embedded programming </TI>
<DE> . </DE>
<JN> Proceedings of the IEEE </JN>
<VO> 91 </VO>
<DE> : </DE>
<PP> 84 - 99 </PP>
<DE> , </DE>
<DA> 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Christoph M. Kirsch , Marco A. A. Sanvido , and Wolfgang Pree </AU>
<DE> . </DE>
<TI> From control models to real - time code using Giotto </TI>
<DE> . </DE>
<JN> IEEE Control Systems Magazine </JN>
<VO> 23 ( 1 </VO>
<DE> ) </DE>
<DE> : </DE>
<PP> 50 - 64 </PP>
<DE> , </DE>
<DA> 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Orna Kupferman , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> On the universal and existential fragments of the mu - calculus </TI>
<DE> . </DE>
<JN> Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2003 </DA>
<DE> , </DE>
<PP> pp . 49 - 64 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Orna Kupferman , and Shaz Qadeer </AU>
<DE> . </DE>
<TI> From pre historic to post modern symbolic model checking </TI>
<DE> . </DE>
<JN> Formal Methods in System Design </JN>
<VO> 23 </VO>
<DE> : </DE>
<PP> 303 - 327 </PP>
<DE> , </DE>
<DA> 2003 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur , Thomas A. Henzinger , and Orna Kupferman </AU>
<DE> . </DE>
<TI> Alternating - time temporal logic </TI>
<DE> . </DE>
<JN> Journal of the ACM </JN>
<VO> 49 </VO>
<DE> : </DE>
<PP> 672 - 713 </PP>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Franck Cassez , Thomas A. Henzinger , and J. - F. Raskin </AU>
<DE> . </DE>
<TI> A comparison of control problems for timed and hybrid systems </TI>
<DE> . </DE>
<JN> Proceedings of the Fifth International Workshop on Hybrid Systems : Computation and Control </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 134 - 148 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , Marcin Jurdzinski , and Freddy Y. C. Mang </AU>
<DE> . </DE>
<TI> Interface compatibility checking for software modules </TI>
<DE> . </DE>
<JN> Proceedings of the 14th International Conference on Computer - Aided Verification </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 428 - 441 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Arindam Chakrabarti , Luca de Alfaro , Thomas A. Henzinger , and Freddy Y. C. Mang </AU>
<DE> . </DE>
<TI> Synchronous and bidirectional component interfaces </TI>
<DE> . </DE>
<JN> Proceedings of the 14th International Conference on Computer - Aided Verification </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 414 - 427 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and Marielle Stoelinga </AU>
<DE> . </DE>
<TI> Timed interfaces </TI>
<DE> . </DE>
<JN> Proceedings of the Second International Workshop on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 108 - 122 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , George C. Necula , Gregoire Sutre , and Westley Weimer </AU>
<DE> . </DE>
<TI> Temporal safety proofs for systems code </TI>
<DE> . </DE>
<JN> Proceedings of the 14th International Conference on Computer - Aided Verification </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 526 - 538 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , and Gregoire Sutre </AU>
<DE> . </DE>
<TI> Lazy abstraction </TI>
<DE> . </DE>
<JN> Proceedings of the 29th Annual Symposium on Principles of Programming Languages </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 58 - 70 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> The Embedded Machine : Predictable , portable real - time code </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference on Programming Language Design and Implementation </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 315 - 326 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Christoph M. Kirsch , Rupak Majumdar , and Slobodan Matic </AU>
<DE> . </DE>
<TI> Time - safety checking for embedded programs </TI>
<DE> . </DE>
<JN> Proceedings of the Second International Workshop on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 76 - 92 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Sriram C. Krishnan , Orna Kupferman , and Freddy Y. C. Mang </AU>
<DE> . </DE>
<TI> Synthesis of uninitialized systems </TI>
<DE> . </DE>
<JN> Proceedings of the 29th International Colloquium on Automata , Languages , and Programming </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 644 - 656 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Orna Kupferman , and Sriram K. Rajamani </AU>
<DE> . </DE>
<TI> Fair simulation </TI>
<DE> . </DE>
<JN> Information and Computation </JN>
<VO> 173 </VO>
<DE> : </DE>
<PP> 64 - 81 </PP>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Shaz Qadeer , Sriram K. Rajamani , and Serdar Tasiran </AU>
<DE> . </DE>
<TI> An assume - guarantee rule for checking simulation </TI>
<DE> . </DE>
<JN> ACM Transactions on Programming Languages and Systems </JN>
<VO> 24 </VO>
<DE> : </DE>
<PP> 51 - 64 </PP>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Benjamin Horowitz , Judith Liebman , Cedric Ma , T. John Koo , Thomas A. Henzinger , Alberto Sangiovanni - Vincentelli , and Shankar Sastry </AU>
<DE> . </DE>
<TI> Embedded software design and system integration for rotorcraft UAV using platforms </TI>
<DE> . </DE>
<JN> Proceedings of the 15th IFAC World Congress on Automatic Control </JN>
<DE> , </DE>
<PU> Elsevier </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Marcin Jurdzinski , Orna Kupferman , and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Trading probability for fairness </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference for Computer Science Logic </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 292 - 305 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Christoph M. Kirsch , Marco A. A. Sanvido , Thomas A. Henzinger , and Wolfgang Pree </AU>
<DE> . </DE>
<TI> A Giotto - based helicopter control system </TI>
<DE> . </DE>
<JN> Proceedings of the Second International Workshop on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 46 - 60 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Roberto Passerone , Luca de Alfaro , Thomas A. Henzinger , and Alberto Sangiovanni - Vincentelli </AU>
<DE> . </DE>
<TI> Convertibility verification and converter synthesis : Two faces of the same coin </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference on Computer - Aided Design </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 2002 </DA>
<DE> , </DE>
<PP> pp . 132 - 139 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> J. - F. Raskin , P. - Y. Schobbens , and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Axioms for real - time logics </TI>
<DE> . </DE>
<JN> Theoretical Computer Science </JN>
<VO> 274 </VO>
<DE> : </DE>
<PP> 151 - 182 </PP>
<DE> , </DE>
<DA> 2002 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur , Robert K. Brayton , Thomas A. Henzinger , Shaz Qadeer , and Sriram K. Rajamani </AU>
<DE> . </DE>
<TI> Partial - order reduction in symbolic state - space exploration </TI>
<DE> . </DE>
<JN> Formal Methods in System Design </JN>
<VO> 18 </VO>
<DE> : </DE>
<PP> 97 - 116 </PP>
<DE> , </DE>
<DA> 2001 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur , Luca de Alfaro , Radu Grosu , Thomas A. Henzinger , Minsu Kang , Christoph M. Kirsch , Rupak Majumdar , F. Y. C. Mang , Bow - Yaw Wang </AU>
<DE> . </DE>
<TI> jMocha : A model - checking tool that exploits design structure </TI>
<DE> . </DE>
<JN> Proceedings of the 23rd Annual International Conference on Software Engineering </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 835 - 836 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Timothy Brown , Alessandro Pasetti , Wolfgang Pree , Thomas A. Henzinger , and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> A reusable and platform - independent framework for distributed control systems </TI>
<DE> . </DE>
<JN> Proceedings of the 20th Annual Digital Avionics Systems Conference </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<VO> vol . 2 </VO>
<DE> , </DE>
<PU> IEEE Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 1 - 11 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Interface automata </TI>
<DE> . </DE>
<JN> Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 109 - 120 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Interface theories for component - based design </TI>
<DE> . </DE>
<JN> Proceedings of the First International Workshop on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 148 - 165 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and Ranjit Jhala </AU>
<DE> . </DE>
<TI> Compositional methods for probabilistic systems </TI>
<DE> . </DE>
<JN> Proceedings of the 12th International Conference on Concurrency Theory </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 351 - 365 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> From verification to control : Dynamic programs for omega - regular objectives </TI>
<DE> . </DE>
<JN> Proceedings of the 16th Annual Symposium on Logic in Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 279 - 290 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and Rupak Majumdar </AU>
<DE> . </DE>
<TI> Symbolic algorithms for infinite - state games </TI>
<DE> . </DE>
<JN> Proceedings of the 12th International Conference on Concurrency Theory </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 536 - 550 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang </AU>
<DE> . </DE>
<TI> The control of synchronous systems , part II </TI>
<DE> . </DE>
<JN> Proceedings of the 12th International Conference on Concurrency Theory </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 566 - 580 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang </AU>
<DE> . </DE>
<TI> McWeb : A model - checking tool for web - site debugging </TI>
<DE> . </DE>
<JN> Poster Proceedings of the Tenth International Word - Wide Web Conference </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 86 - 87 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> Giotto : A time - triggered language for embedded programming </TI>
<DE> . </DE>
<JN> Proceedings of the First International Workshop on Embedded Software </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 166 - 184 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Benjamin Horowitz , and Christoph M. Kirsch </AU>
<DE> . </DE>
<TI> Embedded control systems development with Giotto </TI>
<DE> . </DE>
<JN> Proceedings of the International Conference on Languages , Compilers , and Tools for Embedded Systems </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> ACM Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 64 - 72 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Marius Minea , and Vinayak Prabhu </AU>
<DE> . </DE>
<TI> Assume - guarantee reasoning for hierarchical hybrid systems </TI>
<DE> . </DE>
<JN> Proceedings of the Fourth International Workshop on Hybrid Systems : Computation and Control </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 275 - 290 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger , Joerg Preussig , and Howard Wong - Toi </AU>
<DE> . </DE>
<TI> Some lessons from the HyTech experience </TI>
<DE> . </DE>
<JN> Proceedings of the 40th Annual Conference on Decision and Control </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Press </PU>
<DE> , </DE>
<DA> 2001 </DA>
<DE> , </DE>
<PP> pp . 2887 - 2892 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Rajeev Alur , Thomas A. Henzinger , Gerardo Lafferriere , and George J. Pappas </AU>
<DE> . </DE>
<TI> Discrete abstractions of hybrid systems </TI>
<DE> . </DE>
<JN> Proceedings of the IEEE </JN>
<VO> 88 </VO>
<DE> : </DE>
<PP> 971 - 984 </PP>
<DE> , </DE>
<DA> 2000 </DA>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro and Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Concurrent omega - regular games </TI>
<DE> . </DE>
<JN> Proceedings of the 15th Annual Symposium on Logic in Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<PU> IEEE Computer Society Press </PU>
<DE> , </DE>
<DA> 2000 </DA>
<DE> , </DE>
<PP> pp . 141 - 154 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang </AU>
<DE> . </DE>
<TI> Detecting errors before reaching them </TI>
<DE> . </DE>
<JN> Proceedings of the 12th International Conference on Computer - Aided Verification </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2000 </DA>
<DE> , </DE>
<PP> pp . 186 - 201 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Luca de Alfaro , Thomas A. Henzinger , and F. Y. C. Mang </AU>
<DE> . </DE>
<TI> The control of synchronous systems </TI>
<DE> . </DE>
<JN> Proceedings of the 11th International Conference on Concurrency Theory </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2000 </DA>
<DE> , </DE>
<PP> pp . 458 - 473 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> Masaccio : A formal model for embedded components </TI>
<DE> . </DE>
<JN> Proceedings of the First IFIP International Conference on Theoretical Computer Science </JN>
<DE> ( </DE>
<DE> ) </DE>
<DE> , </DE>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2000 </DA>
<DE> , </DE>
<PP> pp . 549 - 563 </PP>
<DE> . </DE>
</REC>
<REC>
<AU> Thomas A. Henzinger </AU>
<DE> . </DE>
<TI> The theory of hybrid automata </TI>
<DE> . </DE>
<JN> In Verification of Digital and Hybrid Systems </JN>
<DE> ( </DE>
<AU> M. K. Inan , R. P. Kurshan </AU>
<DE> , </DE>
<NG> eds </NG>
<DE> . </DE>
<DE> ) </DE>
<DE> , </DE>
<JN> NATO ASI Series F : Computer and Systems Sciences </JN>
<DE> , </DE>
<VO> Vol . 170 </VO>
<DE> , </DE>
<PU> Springer - Verlag </PU>
<DE> , </DE>
<DA> 2000 </DA>
<DE> , </DE>
<PP> pp . 265 - 292 </PP>
<DE> . </DE>
</REC>
