Search the dblp DataBase

Publications of Author

1. Christophe Prieur, Christian Choffrut, Michel Latteux
   Constructing Sequential Bijections. [Citation Graph (0, 0)][DBLP]
   Structures in Logic and Computer Science, 1997, pp:308-321 [Conf]
   
2. Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur
   Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton. [Citation Graph (0, 0)][DBLP]
   Developments in Language Theory, 2003, pp:373-385 [Conf]
   
3. Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
   Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers. [Citation Graph (0, 0)][DBLP]
   LATIN, 2000, pp:397-406 [Conf]
   
4. Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
   Squaring transducers: an efficient procedure for deciding functionality and sequentiality. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:292, n:1, pp:45-63 [Journal]
   
5. Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur
   Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:3, pp:349-373 [Journal]
   
6. Christophe Prieur
   How to decide continuity of rational functions on infinite words. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:250, n:1-2, pp:71-82 [Journal]
   
7. Christophe Prieur
   How to decide continuity of rational functions on infinite words. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:276, n:1-2, pp:445-447 [Journal]
   
8. Valérie dos Santos, Christophe Prieur
   Boundary control of a channel - last improvements. [Citation Graph (0, 0)][DBLP]
   ICINCO-ICSO, 2007, pp:320-325 [Conf]
   
9. Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur
   Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
10. 
    Structure of Neighborhoods in a Large Social Network. [Citation Graph (, )][DBLP]
    
    
11. 
    Stability of reset control systems with nonzero reference. [Citation Graph (, )][DBLP]
    
    
12. 
    Uniting two Control Lyapunov Functions for affine systems. [Citation Graph (, )][DBLP]
    
    
13. 
    A controlled distributed parameter model for a fluid-flexible structure system: numerical simulations and experiment validations. [Citation Graph (, )][DBLP]
    
    
14. 
    Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions. [Citation Graph (, )][DBLP]
    
    
15. 
    Thematic and Social Indicators for Flickr Groups. [Citation Graph (, )][DBLP]
    
    
16. 
    The Stength of Weak cooperation: A Case Study on Flickr [Citation Graph (, )][DBLP]
    
    
17. 
    Efficient Measurement of Complex Networks Using Link Queries [Citation Graph (, )][DBLP]