BibSonomy :: author  ::

bookmarks

publications

(420)

• A note on the axiomatisation of real numbers.
  Thierry Coquand and Henri Lombardi Math. Log. Q. 54 224-228 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Elementary constructive theory of Henselian local rings.
  Maria Emilia Alonso and Henri Lombardi and Hervé Perdry Math. Log. Q. 54 253-271 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Comparison of Picard groups in dimension 1.
  Henri Lombardi and Claude Quitté Math. Log. Q. 54 247-252 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Neural Control Applied to the Problem of Trajectory Tracking of Mobile Robots with Uncertainties.
  Nardênio A. Martins and Douglas Bertol and Warody C. Lombardi and Edson R. Pieri and Maria M. Dias SBRN 117-122 (2008)
  to dblp by dblp on 2008-11-08 00:00:00
  | URL | BibTeX  
• Experimenting with diversity in the model driven development of a railway signaling system.
  Michele Banci and Alessandro Fantechi and Stefania Gnesi and Giovanni Lombardi EFTS 5 (2007)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• Curvature Estimation and Curve Inference with Tensor Voting: A New Approach.
  Gabriele Lombardi and Elena Casiraghi and Paola Campadelli ACIVS 613-624 (2008)
  to dblp by dblp on 2008-10-22 00:00:00
  | URL | BibTeX  
• A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine.
  Luca Benini and Michele Lombardi and Michela Milano and Martino Ruggiero CP 21-35 (2008)
  to dblp by dblp on 2008-09-24 00:00:00
  | URL | BibTeX  
• Synthesis of Tile Sets for DNA Self-Assembly.
  Xiaojun Ma and Fabrizio Lombardi IEEE Trans. on CAD of Integrated Circuits and Systems 27 963-967 (2008)
  to dblp by dblp on 2008-09-19 00:00:00
  | URL | BibTeX  
• Cabergoline.
  A. Colao and G. Lombardi and L. Annunziato Expert Opinion on Pharmacotherapy 1 555-74 (2000)
  to da by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• Communication via eye blinks and eyebrow raises: video-based human-computer interfaces.
  Kristen Grauman and Margrit Betke and J. Lombardi and James Gips and Gary R. Bradski Universal Access in the Information Society 2 359-373 (2003)
  to dblp by dblp on 2008-09-12 00:00:00
  | URL | BibTeX