MODOMICS: a database of RNA modification pathways. - Stanislaw Dunin-Horkawicz; Anna Czerwoniec; Michal J. Gajda; Marcin Feder; Henri Grosjean; Janusz M. Bujnicki (Nucleic Acids Res., 2006)

MetaMQAP: A meta-server for the quality assessment of protein models. - Marcin Pawlowski 001; Michal J. Gajda; Ryszard Matlak; Janusz M. Bujnicki (BMC Bioinform., 2008)

FILTREST3D: discrimination of structural models using restraints from experimental data. - Michal J. Gajda; Irina Tuszynska; Marta Kaczor; Anastasia Yu. Bakulina; Janusz M. Bujnicki (Bioinform., 2010)

Towards a more perfect union type. - Michal J. Gajda (CoRR, 2020)

Fast XML/HTML for Haskell: XML TypeLift. - Michal J. Gajda; Dmitry Krylov (CoRR, 2020)

Less Arbitrary waiting time. - Michal J. Gajda (CoRR, 2020)

Infer XPath. - Michal J. Gajda; Hai Nguyen Quang; Do Ngoc Khanh; Vuong Hai Thanh (CoRR, 2020)

Multicloud API Binding Generation from Documentation. - Gabriel Araujo; Vitor Vitali Barrozzi; Michal J. Gajda (SAI (1), 2022)

Curious Properties of Latency Distributions. - Michal J. Gajda (SAI (1), 2022)

Consistent Ultrafinitist Logic. - Michal J. Gajda (TYPES, 2023)

Data accounting and error counting. - Michal J. Gajda (CoRR, 2023)

Computational philosophy of science. - Michal J. Gajda (CoRR, 2023)