The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vincent Poirriez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002