vincent poirriez
vincent poirriez
Email verificata su univ-valenciennes.fr
TitoloCitata daAnno
Unbounded knapsack problem: Dynamic programming revisited
R Andonov, V Poirriez, S Rajopadhye
European Journal of Operational Research 123 (2), 394-407, 2000
1612000
A hybrid algorithm for the unbounded knapsack problem
V Poirriez, N Yanev, R Andonov
Discrete Optimization 6 (1), 110-124, 2009
472009
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
112005
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
Actes de la conférence 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
Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé: MLOG une extension de ML
V Poirriez
61991
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
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
A natural extension of B substitutions: postconditions
S Colin, G Mariano, V Poirriez
Foundations of Software Technology and Theoretical Computer Science, 2004
32004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20