Search the dblp DataBase

Publications of Author

1. Vincent Poirriez
   MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. [Citation Graph (0, 0)][DBLP]
   FGCS, 1992, pp:674-681 [Conf]
   
2. Samuel Colin, Georges Mariano, Vincent Poirriez
   Duration Calculus: A Real-Time Semantic for B. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:431-446 [Conf]
   
3. Vincent Poirriez, Rumen Andonov, Antoine Marin, Jean-François Gibrat
   FROST: Revisited and Distributed. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2005, pp:- [Conf]
   
4. Francisco Almeida, Rumen Andonov, Luz Marina Moreno, Vincent Poirriez, M. Pérez, Casiano Rodríguez
   On the parallel prediction of the RNA secondary structure. [Citation Graph (0, 0)][DBLP]
   PARCO, 2003, pp:525-532 [Conf]
   
5. Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano
   BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:373-382 [Conf]
   
6. Francisco Almeida, Rumen Andonov, Daniel González, Luz Marina Moreno, Vincent Poirriez, Casiano Rodríguez
   Optimal tiling for the RNA base pairing problem. [Citation Graph (0, 0)][DBLP]
   SPAA, 2002, pp:173-182 [Conf]
   
7. Philippe Veber, Nicola Yanev, Rumen Andonov, Vincent Poirriez
   Optimal Protein Threading by Cost-Splitting. [Citation Graph (0, 0)][DBLP]
   WABI, 2005, pp:365-375 [Conf]
   
8. Vincent Poirriez
   MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:122, n:1&2, pp:201-223 [Journal]
   
9. Rumen Andonov, Guillaume Collet, Jean-François Gibrat, Antoine Marin, Vincent Poirriez, Nicola Yanev
   Recent Advances in Solving the Protein Threading Problem [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
10. 
    Reuse of SML module system for the B language. [Citation Graph (, )][DBLP]