Almost-Tiling the Plane by Ellipses. - Krystyna Trybulec Kuperberg; Wlodzimierz Kuperberg; Jirí Matousek 001; Pavel Valtr 001 (Discret. Comput. Geom., 1999)

Total Curvature and Spiralling Shortest Paths. - Imre Bárány; Krystyna Trybulec Kuperberg; Tudor Zamfirescu (Discret. Comput. Geom., 2003)

Formal Mathematics for Mathematicians - Foreward to the Special Issue. - Andrzej Trybulec; Artur Kornilowicz; Adam Naumowicz; Krystyna Trybulec Kuperberg (J. Autom. Reason., 2013)

Andrzej Trybulec - in Memoriam. - Krystyna Trybulec Kuperberg (J. Autom. Reason., 2015)