The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Patrick Bellot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Bellot
    High Order Programming in Extended FP. [Citation Graph (1, 0)][DBLP]
    FPCA, 1985, pp:65-80 [Conf]
  2. Patrick Bellot, Olivier Camp, Christophe Matiachoff
    Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:401-408 [Conf]
  3. Patrick Bellot
    GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:82-98 [Conf]
  4. Patrick Bellot, Véronique Jay
    A theory for natural modelisation and implementation of functions with variable arity. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:212-233 [Conf]
  5. Patrick Bellot
    Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:270-285 [Conf]
  6. Patrick Bellot, Olivier Camp, Christophe Matiachoff
    An Overview of MILES and its constraint solving mechanism. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:387-390 [Conf]
  7. Patrick Bellot, Bernard Robinet
    Streams are not Dreams. [Citation Graph (0, 0)][DBLP]
    Combinators and Functional Programming Languages, 1985, pp:1-20 [Conf]
  8. Patrick Bellot, Bernard Robinet
    Logical Synthesis of Imperative O. O. Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:316-318 [Conf]
  9. Patrick Bellot
    Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. Backus. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1984, pp:23-34 [Conf]
  10. Patrick Bellot, Remi Legrand
    Functions and Relations: The GRAAL System. [Citation Graph (0, 0)][DBLP]
    STACS, 1988, pp:389-390 [Conf]
  11. Patrick Bellot, Djamil Sarni
    Proposal for A Natural Formalization of Functional Programming Concepts. [Citation Graph (0, 0)][DBLP]
    ITA, 1988, v:22, n:3, pp:341-360 [Journal]
  12. Patrick Bellot
    A New Proof for Craig's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:395-396 [Journal]
  13. Patrick Bellot, J.-P. Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
    Prolegomena of a Logic of Causality and Dynamism. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:1, pp:77-105 [Journal]

  14. A New Proposal for QKD Relaying Models. [Citation Graph (, )][DBLP]


  15. Towards the World-Wide Quantum Network. [Citation Graph (, )][DBLP]


  16. Robust overlay network with Self-Adaptive topology: Protocol description. [Citation Graph (, )][DBLP]


  17. Enhancement of AGT telecommunication security using quantum cryptography. [Citation Graph (, )][DBLP]


  18. Stochastic routing in large grid-shaped quantum networks. [Citation Graph (, )][DBLP]


  19. Towards Quantum Key Distribution System using Homodyne Detection with Differential Time-Multiplexed Reference. [Citation Graph (, )][DBLP]


  20. ROSA: A step torwards a global virtual network. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002