Open Proofs and Open Terms: A Basis for Interactive Logic. - Herman Geuvers; Gueorgui I. Jojgov (CSL, 2002)

Holes with Binding Power. - Gueorgui I. Jojgov (TYPES, 2002)

Tactics and parameters. - Gueorgui I. Jojgov (Mathematics, Logic and Computation @ ICALP, 2003)

A Calculus of Tactics and Its Operational Semantics. - Gueorgui I. Jojgov; Herman Geuvers (MKM Symposium, 2003)

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. - Gueorgui I. Jojgov; Rob Nederpelt; M. Scheffer (MKM Symposium, 2003)

A Path to Faithful Formalizations of Mathematics. - Gueorgui I. Jojgov; Rob Nederpelt (MKM, 2004)

Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. - Gueorgui I. Jojgov (MKM, 2005)