| 2022 | SBAC-PAD | Performance Improvements of Parallel Applications thanks to MPI-4.0 Hints. | Maxim Moraru, Adrien Roussel, Hugo Taboada, Christophe Jaillet, Marc Prache, Michal Krajecki |
| 2013 | SECRYPT | From a Logical Approach to Internal States of Hash Functions - How SAT Problem Can Help to Understand SHA-* and MD*. | Florian Legendre, Gilles Dequen, Michal Krajecki |
| 2012 | ICTAI | Encoding Hash Functions as a SAT Problem. | Florian Legendre, Gilles Dequen, Michal Krajecki |
| 2012 | SECRYPT | Inverting Thanks to SAT Solving - An Application on Reduced-step MD*. | Florian Legendre, Gilles Dequen, Michal Krajecki |
| 2011 | HPCC | Source-to-Source Code Translator: OpenMP C to CUDA. | Gabriel Noaje, Christophe Jaillet, Michal Krajecki |
| 2010 | PDPTA | Parallel Ant Colony Optimization on Graphics Processing Units. | Audrey Delevacq, Pierre Delisle, Marc Gravel, Michal Krajecki |
| 2009 | ICTAI | Toward Easy Parallel SAT Solving. | Gilles Dequen, Pascal Vander-Swalmen, Michal Krajecki |
| 2004 | ISPDC | Solving the Langford Problem in Parallel. | Christophe Jaillet, Michal Krajecki |
| 2003 | ICCSA | CONFIIT: A Middleware for Peer to Peer Computing. | Olivier Flauzac, Michal Krajecki, Jean Fugre |
| 2001 | PPAM | The Langford's Problem: A Challenge for Parallel Resolution of CSP. | Zineb Habbas, Michal Krajecki, Daniel Singer |
| 1999 | PACT | An Object Oriented Environment to Manage the Parallelism of the FIIT Applications. | Michal Krajecki |
| 1999 | RSP | A Methodological Approach to Implement CSP on FPGA. | Zineb Habbas, Francine Herrmann, Daniel Singer, Michal Krajecki |