vincent poirriez
vincent poirriez
Email verificata su univ-valenciennes.fr
Titolo
Citata da
Citata da
Anno
Unbounded knapsack problem: Dynamic programming revisited
R Andonov, V Poirriez, S Rajopadhye
European Journal of Operational Research 123 (2), 394-407, 2000
1642000
A hybrid algorithm for the unbounded knapsack problem
V Poirriez, N Yanev, R Andonov
Discrete Optimization 6 (1), 110-124, 2009
522009
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
202002
Duration calculus: A real-time semantic for b
S Colin, G Mariano, V Poirriez
International Colloquium on Theoretical Aspects of Computing, 431-446, 2004
172004
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
142004
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
132005
Optimal protein threading by cost-splitting
P Veber, N Yanev, R Andonov, V Poirriez
International Workshop on Algorithms in Bioinformatics, 365-375, 2005
122005
Frost: Revisited and distributed
V Poirriez, A Marin, R Andonov, JF Gibrat
19th IEEE International Parallel and Distributed Processing Symposium, 7 pp., 2005
92005
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, 2002
92002
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
82003
BRILLANT: an open source platform for B
S Colin, D Petit, G Mariano, V Poirriez
Workshop on Tool Building in Formal Methods, 2010
72010
É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
72004
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
72003
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
62002
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
52003
Unbounded knapsack problem: new results
V Poirriez, R Andonov
Workshop, 103-111, 1998
51998
Integration de fonctionnalites logiques dans un langage fonctionnel fortement type: mlog une extension
V Poirriez
Paris 7, 1991
51991
Recent advances in solving the protein threading problem
R Andonov, G Collet, JF Gibrat, A Marin, V Poirriez, NM Yanev
IRISA, 2007
42007
Efficient dynamic programming for the unbounded knapsack problem
R Andonov, V Poirriez, S Rajopadhye
LIMAV, Universit'e de Valenciennes, Le Mont Houy, BP 311, 59304 Valenciennes …, 1996
41996
Analysis and enhancements of an efficient biometric-based remote user authentication scheme using smart cards
S Ibjaoun, AA El Kalam, V Poirriez, AA Ouahman, M De Montfort
2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016
32016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20