BibSonomy :: author  ::

bookmarks

publications

(10)

• Improving Context-Sensitive Dependency Pairs.
  Beatriz Alarcón and Fabian Emmes and Carsten Fuhs and Jürgen Giesl and Raúl Gutiérrez and Salvador Lucas and Peter Schneider-Kamp and René Thiemann LPAR 636-651 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Context Learning in the Rodent Hippocampus.
  Mark C. Fuhs and David S. Touretzky Neural Computation 19 3173-3215 (2007)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Deforming the Hippocampal Map
  D. S. Touretzky and W. E. Weisman and M. C. Fuhs and W. E. Skaggs and A. A. Fenton and R. U. Muller Hippocampus 15 41-55 (2005)
  to hip by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• Search Techniques for Rational Polynomial Orders.
  Carsten Fuhs and Rafael Navarro-Marset and Carsten Otto and Jürgen Giesl and Salvador Lucas and Peter Schneider-Kamp AISC/MKM/Calculemus 109-124 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Maximal Termination.
  Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl RTA 110-125 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Implementing RPO and POLO using SAT.
  Peter Schneider-Kamp and Carsten Fuhs and René Thiemann and Jürgen Giesl and Elena Annov and Michael Codish and Aart Middeldorp and Harald Zankl Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• SAT Solving for Termination Analysis with Polynomial Interpretations.
  Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl SAT 340-354 (2007)
  to dblp by dblp on 2007-07-03 00:00:00
  | URL | BibTeX  
• Semi-Algebraic Networks: An Attempt to Design Geometric Autopoietic Models.
  Guillaume Deffuant and Thierry Fuhs and Etienne Monneret and Paul Bourgine and Francisco J. Varela Artificial Life 2 157-177 (1995)
  to dblp by dblp on 2005-10-26 00:00:00
  | URL | BibTeX  
• Circular pipe-connections.
  Wilhelm Fuhs and Hellmuth Stachel Computers & Graphics 12 53-57 (1988)
  to dblp by dblp on 2005-10-13 00:00:00
  | URL | BibTeX  
• Synaptic learning models of map separation in the hippocampus.
  Mark C. Fuhs and David S. Touretzky Neurocomputing 32-33 379-384 (2000)
  to dblp by dblp on 2003-05-12 00:00:00
  | URL | BibTeX