Refinement is equivalent to Fullness. - Albert Ziegler 001 (Math. Log. Q., 2010)

Generalizing realizability and Heyting models for constructive set theory. - Albert Ziegler 001 (Ann. Pure Appl. Log., 2012)

A cumulative hierarchy of sets for constructive set theory. - Albert Ziegler 001 (Math. Log. Q., 2014)

The standard coder: a machine learning approach to measuring the effort required to produce source code change. - Ian Wright; Albert Ziegler 001 (RAISE@ICSE, 2019)

Unsupervised Recalibration. - Albert Ziegler 001; Pawel Czyz (CoRR, 2019)

Productivity assessment of neural code completion. - Albert Ziegler 001; Eirini Kalliamvakou; X. Alice Li; Andrew Rice; Devon Rifkin; Shawn Simister; Ganesh Sittampalam; Edward Aftandilian (MAPS@PLDI, 2022)

Extracting Meaningful Attention on Source Code: An Empirical Study of Developer and Neural Model Code Exploration. - Matteo Paltenghi; Rahul Pandita; Austin Z. Henley; Albert Ziegler 001 (CoRR, 2022)

Bayesian Quantification with Black-Box Estimators. - Albert Ziegler 001; Pawel Czyz (Trans. Mach. Learn. Res., 2024)

Measuring GitHub Copilot's Impact on Productivity. - Albert Ziegler 001; Eirini Kalliamvakou; X. Alice Li; Andrew Rice; Devon Rifkin; Shawn Simister; Ganesh Sittampalam; Edward Aftandilian (Commun. ACM, 2024)

Follow-Up Attention: An Empirical Study of Developer and Neural Model Code Exploration. - Matteo Paltenghi; Rahul Pandita; Austin Z. Henley; Albert Ziegler 001 (IEEE Trans. Software Eng., 2024)