| 2008 |
|---|
| 7 | EE | Martin Gebser,
Torsten Schaub,
Sven Thiele,
Björn Usadel,
Philippe Veber:
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.
ICLP 2008: 130-144 |
| 6 | EE | Steve Dworschak,
Torsten Grote,
Arne König,
Torsten Schaub,
Philippe Veber:
The System BioC for Reasoning about Biological Models in Action Language C.
ICTAI (1) 2008: 11-18 |
| 2007 |
|---|
| 5 | EE | Mathieu Giraud,
Philippe Veber,
Dominique Lavenier:
Path-Equivalent Developments in Acyclic Weighted Automata.
Int. J. Found. Comput. Sci. 18(4): 799-811 (2007) |
| 2006 |
|---|
| 4 | EE | Mathieu Giraud,
Philippe Veber,
Dominique Lavenier:
Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton.
CIAA 2006: 23-33 |
| 2005 |
|---|
| 3 | EE | Philippe Veber,
Nicola Yanev,
Rumen Andonov,
Vincent Poirriez:
Optimal Protein Threading by Cost-Splitting.
WABI 2005: 365-375 |
| 2 | EE | Rumen Andonov,
Dominique Lavenier,
Philippe Veber,
Nicola Yanev:
Dynamic programming for LR-PCR segmentation of bacterium genomes.
Concurrency and Computation: Practice and Experience 17(14): 1657-1668 (2005) |
| 2004 |
|---|
| 1 | EE | Rumen Andonov,
Dominique Lavenier,
Philippe Veber,
Nicola Yanev:
Dynamic Programming for LR-PCR Segmention of Bacterium Genomes.
IPDPS 2004 |
