| 2021 | EPIA | Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. | Ricardo Ferreira, Carolina Lopes, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | EPIA | Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. | Joo Ferreira, Diogo Lavado, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2016 | CP | Constraining Redundancy to Improve Protein Docking. | Ludwig Krippahl, Pedro Barahona |
| 2013 | AIME | Constraining Protein Docking with Coevolution Data for Medical Research. | Ludwig Krippahl, Fbio Madeira, Pedro Barahona |
| 2011 | IWINAC | Classification Tree Generation Constrained with Variable Weights. | Pedro Barahona, Gemma Bel Enguix, Vernica Dahl, Mara Dolores Jimnez-Lpez, Ludwig Krippahl |
| 2010 | ICAART | Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. | Vernica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl |
| 2007 | PADL | A Constraint Programming Approach to Bioinformatics Structural Problems. | Pedro Barahona, Ludwig Krippahl |
| 2005 | CP | Applying Constraint Programming to Rigid Body Protein Docking. | Ludwig Krippahl, Pedro Barahona |
| 2003 | CP | Propagating N-Ary Rigid-Body Constraints. | Ludwig Krippahl, Pedro Barahona |
| 1999 | CP | Applying Constraint Programming to Protein Structure Determination. | Ludwig Krippahl, Pedro Barahona |