Michal J. Gajda

15 papers Journal 12Unranked 3

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