vincent poirriez
vincent poirriez
Verified email at
Cited by
Cited by
Unbounded knapsack problem: Dynamic programming revisited
R Andonov, V Poirriez, S Rajopadhye
European Journal of Operational Research 123 (2), 394-407, 2000
A hybrid algorithm for the unbounded knapsack problem
V Poirriez, N Yanev, R Andonov
Discrete Optimization 6 (1), 110-124, 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
Duration calculus: A real-time semantic for b
S Colin, G Mariano, V Poirriez
Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005
Optimal protein threading by cost-splitting
P Veber, N Yanev, R Andonov, V Poirriez
WABI, 365-375, 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
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
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
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
Frost: Revisited and distributed
V Poirriez, A Marin, R Andonov, JF Gibrat
19th IEEE International Parallel and Distributed Processing Symposium, 7 pp., 2005
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
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
BRILLANT: an open source platform for B
S Colin, D Petit, G Mariano, V Poirriez
Workshop on Tool Building in Formal Methods, 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
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
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
Unbounded knapsack problem: new results
V Poirriez, R Andonov
Workshop, 103-111, 1998
Integration de fonctionnalites logiques dans un langage fonctionnel fortement type: mlog une extension
V Poirriez
Paris 7, 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
Efficient dynamic programming for the unbounded knapsack problem
R Andonov, V Poirriez, S Rajopadhye
echnical Report LIMAV-RR 96–7, 1996
The system can't perform the operation now. Try again later.
Articles 1–20