Schwichtenberg-Style Lambda Definability Is Undecidable. - Jan Malolepszy; Malgorzata Moczurad; Marek Zaionc (TLCA, 1997)

Statistical properties of simple types. - Malgorzata Moczurad; Jerzy Tyszkiewicz; Marek Zaionc (Math. Struct. Comput. Sci., 2000)

Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes. - Malgorzata Moczurad; Wlodzimierz Moczurad (COCOON, 2004)

Asymptotic density of brick and word codes. - Malgorzata Moczurad; Wlodzimierz Moczurad (Ars Comb., 2007)

How Many Figure Sets Are Codes?. - Malgorzata Moczurad; Wlodzimierz Moczurad (LATA, 2008)

New lower bound estimates for quadratures of bounded analytic functions. - Malgorzata Moczurad; Piotr Zgliczynski; Wlodzimierz Zwonek (J. Complex., 2016)

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis. - Malgorzata Moczurad; Piotr Zgliczynski (CoRR, 2017)

On the Petras algorithm for verified integration of piecewise analytic functions. - Malgorzata Moczurad; Piotr Zgliczynski (J. Complex., 2017)

Central configurations on the plane with N heavy and k light bodies. - Malgorzata Moczurad; Piotr Zgliczynski (Commun. Nonlinear Sci. Numer. Simul., 2022)