Unbounded knapsack problem: Dynamic programming revisited R Andonov, V Poirriez, S Rajopadhye European Journal of Operational Research 123 (2), 394-407, 2000 | 220 | 2000 |
A hybrid algorithm for the unbounded knapsack problem V Poirriez, N Yanev, R Andonov Discrete Optimization 6 (1), 110-124, 2009 | 73 | 2009 |
Optimal tiling for the RNA base pairing problem F Almeida, R Andonov, D Gonzalez, LM Moreno, V Poirriez, C Rodriguez Proceedings of the fourteenth annual ACM symposium on Parallel algorithms …, 2002 | 22 | 2002 |
Duration calculus: A real-time semantic for b S Colin, G Mariano, V Poirriez International Colloquium on Theoretical Aspects of Computing, 431-446, 2004 | 17 | 2004 |
Optimal protein threading by cost-splitting P Veber, N Yanev, R Andonov, V Poirriez Algorithms in Bioinformatics: 5th International Workshop, WABI 2005 …, 2005 | 16 | 2005 |
BRILLANT: An open source and XML-based platform for rigourous software development S Colin, D Petit, J Rocheteau, R Marcano, G Mariano, V Poirriez Third IEEE International Conference on Software Engineering and Formal …, 2005 | 15 | 2005 |
The B method and the component-based approach D Petit, V Poirriez, G Mariano Journal of Integrated Design and Process Science 8 (1), 65-76, 2004 | 13 | 2004 |
Automatic annotated code generation from b formal specifications D Petit, G Mariano, V Poirriez, JL Boulanger Symposium on Formal Methods for Railway Operation and Control Systems, 37-44, 2003 | 9 | 2003 |
Génération de composant à partir de spécifications B D Petit, G Mariano, V Poirriez Proceedings of the conference” Approches Formelles dans l’Assistance au …, 2003 | 9 | 2003 |
Parallélisations d’une méthode de reconnaissance de repliements de protéines (frost) J Pley, R Andonov, JF Gibrat, A Marin, V Poirriez Proceedings des Journées Ouvertes Biologie Informatique Mathématiques, 287-288, 2002 | 9 | 2002 |
Analysis and enhancements of an efficient biometric-based remote user authentication scheme using smart cards S Ibjaoun, A Abou El Kalam, V Poirriez, AA Ouahman, M De Montfort 2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016 | 8 | 2016 |
Frost: Revisited and distributed V Poirriez, A Marin, R Andonov, JF Gibrat 19th IEEE International Parallel and Distributed Processing Symposium, 7 pp., 2005 | 8 | 2005 |
BRILLANT: an open source platform for B S Colin, D Petit, G Mariano, V Poirriez Workshop on Tool Building in Formal Methods, 2010 | 7 | 2010 |
Évaluation de l’extensibilité de PhoX: B/PhoX un assistant de preuves pour B J Rocheteau, S Colin, G Mariano, V Poirriez Journées Francophones des Langages Applicatifs (JFLA 2004), 37-54, 2004 | 7 | 2004 |
Development of Formal Components using the B method D Petit, V Poirriez, G Mariano Proceedings of the First COLOGNET Joint Workshop on Component-based Software …, 2002 | 7 | 2002 |
Biometric template privacy using visual cryptography S Ibjaoun, A Abou El Kalam, V Poirriez, A Ait Ouahman Innovations in Bio-Inspired Computing and Applications: Proceedings of the …, 2018 | 5 | 2018 |
Thoughts about the implementation of the duration calculus with coq S Colin, V Poirriez, G Mariano Fourth Workshop on the Implementation of Logics, 33, 2003 | 5 | 2003 |
Unbounded knapsack problem: new results V Poirriez, R Andonov Workshop, 103-111, 1998 | 5 | 1998 |
Integration de fonctionnalites logiques dans un langage fonctionnel fortement type: mlog une extension V Poirriez Paris 7, 1991 | 5 | 1991 |
Recent advances in solving the protein threading problem R Andonov, G Collet, JF Gibrat, A Marin, V Poirriez, N Yanev Grid Computing for Bioinformatics and Computational Biology, 325-356, 2007 | 4 | 2007 |