Vincent Poirriez

19 papers A 2B 2C 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
A hybrid genetic algorithm for stochastic job-shop scheduling problems.
RAIRO Oper. Res.
Mohammed Boukedroun, David Duvivier, Abdessamad Ait El Cadi, Vincent Poirriez, Moncef Abbas
2017 — conf
Biometric Template Privacy Using Visual Cryptography.
IBICA
Sana Ibjaoun, Anas Abou El Kalam, Vincent Poirriez, Abdellah Ait Ouahman
2016 C conf
Analysis and enhancements of an efficient biometric-based remote user authentication scheme using smart cards.
AICCSA
Sana Ibjaoun, Anas Abou El Kalam, Vincent Poirriez, Abdellah Ait Ouahman, Mina De Montfort
2012 A conf
Relaxing B Sharing Restrictions within CSP||B.
SC
Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
2009 J jnl
A hybrid algorithm for the unbounded knapsack problem.
Discret. Optim.
Vincent Poirriez, Nicola Yanev, Rumen Andonov
2007 J jnl
Recent Advances in Solving the Protein Threading Problem
CoRR
Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev
2007 — ch.
Recent Advances in Solving the Protein Threading Problem.
Grid Computing for Bioinformatics and Computational Biology
Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev
2006 — book
Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B.
Vincent Poirriez
2005 B conf
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.
SEFM
Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
2005 A conf
FROST: Revisited and Distributed.
IPDPS
Vincent Poirriez, Rumen Andonov, Antoine Marin, Jean-François Gibrat
2005 C conf
Optimal Protein Threading by Cost-Splitting.
WABI
Philippe Veber, Nicola Yanev, Rumen Andonov, Vincent Poirriez
2004 C conf
Duration Calculus: A Real-Time Semantic for B.
ICTAC
Samuel Colin, Georges Mariano, Vincent Poirriez
2004 C conf
Reuse of SML module system for the B language.
FDL
Dorian Petit, Vincent Poirriez, Georges Mariano
2004 J jnl
The B Method and the Component-Based Approach.
Trans. SDPS
Dorian Petit, Vincent Poirriez, Georges Mariano
2003 — conf
On the parallel prediction of the RNA secondary structure.
PARCO
Francisco Almeida, Rumen Andonov, Luz Marina Moreno, Vincent Poirriez, Melquíades Pérez Pérez, Casiano Rodríguez
2002 B conf
Optimal tiling for the RNA base pairing problem.
SPAA
Francisco Almeida, Rumen Andonov, Daniel González, Luz Marina Moreno, Vincent Poirriez, Casiano Rodríguez
2000 J jnl
Unbounded knapsack problem: Dynamic programming revisited.
Eur. J. Oper. Res.
Rumen Andonov, Vincent Poirriez, Sanjay V. Rajopadhye
1994 J jnl
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
Theor. Comput. Sci.
Vincent Poirriez
1992 — conf
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
FGCS
Vincent Poirriez