2009 |
11 | EE | Vincent Poirriez,
Nicola Yanev,
Rumen Andonov:
A hybrid algorithm for the unbounded knapsack problem.
Discrete Optimization 6(1): 110-124 (2009) |
2007 |
10 | EE | Rumen Andonov,
Guillaume Collet,
Jean-François Gibrat,
Antoine Marin,
Vincent Poirriez,
Nicola Yanev:
Recent Advances in Solving the Protein Threading Problem
CoRR abs/0707.3750: (2007) |
2005 |
9 | EE | Vincent Poirriez,
Rumen Andonov,
Antoine Marin,
Jean-François Gibrat:
FROST: Revisited and Distributed.
IPDPS 2005 |
8 | EE | Samuel Colin,
Dorian Petit,
Vincent Poirriez,
Jérôme Rocheteau,
Rafael Marcano,
Georges Mariano:
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.
SEFM 2005: 373-382 |
7 | EE | Philippe Veber,
Nicola Yanev,
Rumen Andonov,
Vincent Poirriez:
Optimal Protein Threading by Cost-Splitting.
WABI 2005: 365-375 |
2004 |
6 | EE | Dorian Petit,
Vincent Poirriez,
Georges Mariano:
Reuse of SML module system for the B language.
FDL 2004: 637-649 |
5 | EE | Samuel Colin,
Georges Mariano,
Vincent Poirriez:
Duration Calculus: A Real-Time Semantic for B.
ICTAC 2004: 431-446 |
2003 |
4 | | Francisco Almeida,
Rumen Andonov,
Luz Marina Moreno,
Vincent Poirriez,
M. Pérez,
Casiano Rodríguez:
On the parallel prediction of the RNA secondary structure.
PARCO 2003: 525-532 |
2002 |
3 | EE | Francisco Almeida,
Rumen Andonov,
Daniel González,
Luz Marina Moreno,
Vincent Poirriez,
Casiano Rodríguez:
Optimal tiling for the RNA base pairing problem.
SPAA 2002: 173-182 |
1994 |
2 | | Vincent Poirriez:
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
Theor. Comput. Sci. 122(1&2): 201-223 (1994) |
1992 |
1 | | Vincent Poirriez:
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
FGCS 1992: 674-681 |