- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez: Relaxing B Sharing Restrictions within CSP||B. Software Composition 2012: 35-50 |
| 2009 | ||
| j3 | | Vincent Poirriez, Nicola Yanev, Rumen Andonov: A hybrid algorithm for the unbounded knapsack problem. Discrete Optimization 6(1): 110-124 (2009) |
| 2007 | ||
| i1 | | 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 | ||
| c8 | | Vincent Poirriez, Rumen Andonov, Antoine Marin, Jean-François Gibrat: FROST: Revisited and Distributed. IPDPS 2005 |
| c7 | | 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 |
| c6 | | Philippe Veber, Nicola Yanev, Rumen Andonov, Vincent Poirriez: Optimal Protein Threading by Cost-Splitting. WABI 2005: 365-375 |
| 2004 | ||
| c5 | | Dorian Petit, Vincent Poirriez, Georges Mariano: Reuse of SML module system for the B language. FDL 2004: 637-649 |
| c4 | | Samuel Colin, Georges Mariano, Vincent Poirriez: Duration Calculus: A Real-Time Semantic for B. ICTAC 2004: 431-446 |
| 2003 | ||
| c3 |  | Francisco Almeida, Rumen Andonov, Luz Marina Moreno, Vincent Poirriez, Melquíades Pérez Pérez, Casiano Rodríguez: On the parallel prediction of the RNA secondary structure. PARCO 2003: 525-532 |
| 2002 | ||
| c2 | | 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 |
| 2000 | ||
| j2 | | Rumen Andonov, Vincent Poirriez, Sanjay V. Rajopadhye: Unbounded knapsack problem: Dynamic programming revisited. European Journal of Operational Research 123(2): 394-407 (2000) |
| 1994 | ||
| j1 | | Vincent Poirriez: MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. Theor. Comput. Sci. 122(1&2): 201-223 (1994) |
| 1992 | ||
| c1 | | Vincent Poirriez: MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. FGCS 1992: 674-681 |
Colors in the list of coauthors
Last update Tue May 21 22:18:30 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page