Michal J. Gajda

According to our database, Michal J. Gajda authored at least 12 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Computational philosophy of science.

Michal J. Gajda

CoRR, 2023

Data accounting and error counting.

Michal J. Gajda

CoRR, 2023

Consistent Ultrafinitist Logic.

Michal J. Gajda

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

Curious Properties of Latency Distributions.

Michal J. Gajda

Proceedings of the Intelligent Computing, 2022

Multicloud API Binding Generation from Documentation.

Gabriel Araujo, Vitor Vitali Barrozzi, Michal J. Gajda

Proceedings of the Intelligent Computing, 2022

2020

Infer XPath.

Michal J. Gajda, Hai Nguyen Quang, Do Ngoc Khanh, Vuong Hai Thanh

CoRR, 2020

Less Arbitrary waiting time.

Michal J. Gajda

CoRR, 2020

Fast XML/HTML for Haskell: XML TypeLift.

Michal J. Gajda, Dmitry Krylov

CoRR, 2020

Towards a more perfect union type.

Michal J. Gajda

CoRR, 2020

2010

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

2008

MetaMQAP: A meta-server for the quality assessment of protein models.

Marcin Pawlowski, Michal J. Gajda, Ryszard Matlak, Janusz M. Bujnicki

BMC Bioinform., 2008

2006

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