| 2024 | AAAI | CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. | Kerian Thuillier, Anne Siegel, Loc Paulev |
| 2017 | LPNMR | Hybrid Metabolic Network Completion. | Clmence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
| 2015 | MCU | Decidability Problems for Self-induced Systems Generated by a Substitution. | Timo Jolivet, Anne Siegel |
| 2014 | VMCAI | Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach. | Vicente Acua, Andrs Aravena, Alejandro Maass, Anne Siegel |
| 2013 | LPNMR | An ASP Application in Integrative Biology: Identification of Functional Gene Units. | Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele |
| 2013 | LPNMR | Extending the Metabolic Network of | Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele |
| 2010 | KR | Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. | Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber |