Vincent Poirriez

According to our database, Vincent Poirriez authored at least 18 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A hybrid genetic algorithm for stochastic job-shop scheduling problems.

Mohammed Boukedroun, David Duvivier, Abdessamad Ait El Cadi, Vincent Poirriez, Moncef Abbas

RAIRO Oper. Res., July, 2023

2017

Biometric Template Privacy Using Visual Cryptography.

Sana Ibjaoun, Anas Abou El Kalam, Vincent Poirriez, Abdellah Ait Ouahman

Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2017

2016

Analysis and enhancements of an efficient biometric-based remote user authentication scheme using smart cards.

Sana Ibjaoun, Anas Abou El Kalam, Vincent Poirriez, Abdellah Ait Ouahman, Mina De Montfort

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2012

Relaxing B Sharing Restrictions within CSP||B.

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez

Proceedings of the Software Composition - 11th International Conference, 2012

2009

A hybrid algorithm for the unbounded knapsack problem.

Vincent Poirriez, Nicola Yanev, Rumen Andonov

Discret. Optim., 2009

2007

Recent Advances in Solving the Protein Threading Problem

Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev

CoRR, 2007

Recent Advances in Solving the Protein Threading Problem.

Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev

Proceedings of the Grid Computing for Bioinformatics and Computational Biology, 2007

2006

Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B.

Vincent Poirriez

, 2006

2005

Optimal Protein Threading by Cost-Splitting.

Philippe Veber, Nicola Yanev, Rumen Andonov, Vincent Poirriez

Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005

BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.

Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

FROST: Revisited and Distributed.

Vincent Poirriez, Rumen Andonov, Antoine Marin, Jean-François Gibrat

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

2004

The B Method and the Component-Based Approach.

Dorian Petit, Vincent Poirriez, Georges Mariano

Trans. SDPS, 2004

Duration Calculus: A Real-Time Semantic for B.

Samuel Colin, Georges Mariano, Vincent Poirriez

Proceedings of the Theoretical Aspects of Computing, 2004

Reuse of SML module system for the B language.

Dorian Petit, Vincent Poirriez, Georges Mariano

Proceedings of the Forum on specification and Design Languages, 2004

2003

On the parallel prediction of the RNA secondary structure.

Francisco Almeida, Rumen Andonov, Luz Marina Moreno, Vincent Poirriez, Melquíades Pérez Pérez, Casiano Rodríguez

Proceedings of the Parallel Computing: Software Technology, 2003

2002

Optimal tiling for the RNA base pairing problem.

Francisco Almeida, Rumen Andonov, Daniel González, Luz Marina Moreno, Vincent Poirriez, Casiano Rodríguez

Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

2000

Unbounded knapsack problem: Dynamic programming revisited.

Rumen Andonov, Vincent Poirriez, Sanjay V. Rajopadhye

Eur. J. Oper. Res., 2000

1994

MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.

Vincent Poirriez

Theor. Comput. Sci., 1994