Publications
| Publication |
| Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog |
Advisors
| Department Head |
|---|
| Prof. Gregor Snelting |
| Former Staff Member |
|---|
| Dr. rer. nat. Joachim Breitner |
Students
| Former Students |
|---|
| Jan-Martin Knorr |
bachelor thesis (finished): Qualitative Modelling of Biological Signalling Pathways using SAT-solving in Prolog
This page is only available in German