Michal J. Gajda

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 12

Top Topics

Desirable Properties

Top Venues

Publications

Michal J. Gajda
Consistent Ultrafinitist Logic. TYPES (2023)
Michal J. Gajda
Data accounting and error counting. CoRR (2023)
Michal J. Gajda
Computational philosophy of science. CoRR (2023)
Gabriel Araujo, Vitor Vitali Barrozzi, Michal J. Gajda
Multicloud API Binding Generation from Documentation. SAI (1) (2022)
Michal J. Gajda
Curious Properties of Latency Distributions. SAI (1) (2022)
Michal J. Gajda
Consistent ultrafinitist logic. CoRR (2021)
Michal J. Gajda, Vitor Vitali Barrozzi, Gabriel Araujo
Multicloud API binding generation from documentation. CoRR (2020)
Michal J. Gajda
Less Arbitrary waiting time. CoRR (2020)
Michal J. Gajda, Dmitry Krylov
Fast XML/HTML for Haskell: XML TypeLift. CoRR (2020)
Michal J. Gajda
Towards a more perfect union type. CoRR (2020)
Michal J. Gajda, Hai Nguyen Quang, Do Ngoc Khanh, Vuong Hai Thanh
Infer XPath. CoRR (2020)
Michal J. Gajda
Curious properties of latency distributions. CoRR (2020)
Michal J. Gajda, Irina Tuszynska, Marta Kaczor, Anastasia Yu. Bakulina, Janusz M. Bujnicki
FILTREST3D: discrimination of structural models using restraints from experimental data. Bioinform. 26 (23) (2010)
Marcin Pawlowski, Michal J. Gajda, Ryszard Matlak, Janusz M. Bujnicki
MetaMQAP: A meta-server for the quality assessment of protein models. BMC Bioinform. 9 (2008)
Stanislaw Dunin-Horkawicz, Anna Czerwoniec, Michal J. Gajda, Marcin Feder, Henri Grosjean, Janusz M. Bujnicki
MODOMICS: a database of RNA modification pathways. Nucleic Acids Res. 34 (Database-Issue) (2006)