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

Search the dblp DataBase

Title:
Author:
Henri Lombardi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
    05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  2. Thierry Coquand, Henri Lombardi, Peter Schuster
    A Nilregular Element Property. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  3. Hervé Perdry, Mariemi Alonso, Henri Lombardi
    Henselian Local Rings: Around a Work in Progress. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  4. L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Sturm-Habicht Sequence. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:136-146 [Conf]
  5. M. Hibti, Henri Lombardi, Bruno Legeard
    Deciding in HFS-Theory via Linear Integer Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:170-181 [Conf]
  6. Nadia Ben Atti, Gema M. Diaz-Toca, Henri Lombardi
    The Berlekamp-Massey Algorithm revisited. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2006, v:17, n:1, pp:75-82 [Journal]
  7. Michel Coste, Henri Lombardi, Marie-Françoise Roy
    Dynamical method in algebra: effective Nullstellensätze. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:111, n:3, pp:203-256 [Journal]
  8. Salah Labhalla, Henri Lombardi
    Real Numbers, Continued Fractions and Complexity Classes. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:50, n:1, pp:1-28 [Journal]
  9. Henri Lombardi
    Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:137, n:1-3, pp:256-290 [Journal]
  10. Henri Lombardi
    Relecture constructive de la théorie d'Artin-Schreier. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1998, v:91, n:1, pp:59-92 [Journal]
  11. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Spécialisation de la suite de Sturm. [Citation Graph (0, 0)][DBLP]
    ITA, 1994, v:28, n:1, pp:1-24 [Journal]
  12. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Spécialisation de la suite de Sturm et sous-résulants. [Citation Graph (0, 0)][DBLP]
    ITA, 1990, v:24, n:, pp:561-0 [Journal]
  13. M. Hibti, Bruno Legeard, Henri Lombardi
    Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. [Citation Graph (0, 0)][DBLP]
    ITA, 1997, v:31, n:3, pp:205-236 [Journal]
  14. Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy
    Generalized Budan-Fourier theorem and virtual roots. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 2005, v:21, n:4, pp:479-486 [Journal]
  15. Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
    New Structure Theorem for Subresultants. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:4-5, pp:663-689 [Journal]
  16. Henri Lombardi, Ihsen Yengui
    Suslin's algorithms for reduction of unimodular rows. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:6, pp:707-717 [Journal]
  17. Mohamed Khalouani, Salah Labhalla, Henri Lombardi
    Étude constructive de problèmes de topologie pour les réels irrationnels. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:257-288 [Journal]
  18. Salah Labhalla, Henri Lombardi
    Analyse de complexité pour un théorème de Hall sur les fractions continues. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:134-144 [Journal]
  19. Salah Labhalla, Henri Lombardi
    Représentations des nombres réels par développements en base entière et complexité. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:88, n:1, pp:171-182 [Journal]
  20. Salah Labhalla, Henri Lombardi, E. Moutai
    Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:250, n:1-2, pp:265-332 [Journal]
  21. Salah Labhalla, Henri Lombardi, Roger Marlin
    Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:161, n:1&2, pp:69-92 [Journal]

  22. Spectral schemes as ringed lattices. [Citation Graph (, )][DBLP]


Search in 0.050secs, Finished in 0.052secs
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