MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. - Vincent Poirriez (Theor. Comput. Sci., 1994)

Unbounded knapsack problem: Dynamic programming revisited. - Rumen Andonov; Vincent Poirriez; Sanjay V. Rajopadhye (Eur. J. Oper. Res., 2000)

Optimal tiling for the RNA base pairing problem. - Francisco Almeida; Rumen Andonov; Daniel González; Luz Marina Moreno; Vincent Poirriez; Casiano Rodríguez (SPAA, 2002)

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 (PARCO, 2003)

Reuse of SML module system for the B language. - Dorian Petit; Vincent Poirriez; Georges Mariano (FDL, 2004)

Duration Calculus: A Real-Time Semantic for B. - Samuel Colin; Georges Mariano; Vincent Poirriez (ICTAC, 2004)

The B Method and the Component-Based Approach. - Dorian Petit; Vincent Poirriez; Georges Mariano (Trans. SDPS, 2004)

FROST: Revisited and Distributed. - Vincent Poirriez; Rumen Andonov; Antoine Marin; Jean-François Gibrat (IPDPS, 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 (SEFM, 2005)

Optimal Protein Threading by Cost-Splitting. - Philippe Veber; Nicola Yanev; Rumen Andonov; Vincent Poirriez (WABI, 2005)

Contributions à la compréhension de problèmes d'optimisation combinatoire et études d'extensions de la méthode B. - Vincent Poirriez (2006)

Recent Advances in Solving the Protein Threading Problem. - Rumen Andonov; Guillaume Collet; Jean-François Gibrat; Antoine Marin; Vincent Poirriez; Nicola Yanev (Grid Computing for Bioinformatics and Computational Biology, 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)

A hybrid algorithm for the unbounded knapsack problem. - Vincent Poirriez; Nicola Yanev; Rumen Andonov (Discret. Optim., 2009)

Relaxing B Sharing Restrictions within CSP||B. - Arnaud Lanoix; Olga Kouchnarenko; Samuel Colin; Vincent Poirriez (SC@TOOLS, 2012)

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 (AICCSA, 2016)

Biometric Template Privacy Using Visual Cryptography. - Sana Ibjaoun; Anas Abou El Kalam; Vincent Poirriez; Abdellah Ait Ouahman (IBICA, 2017)

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., 2023)