Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Géraud Sénizergues

Known as: Geraud Senizergues, Géraud, Géraud Senizergues 
Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. He won the 2002 Gödel Prize "for proving that… Expand
Wikipedia

Related topics

Related topics

3 relations
Computer scientistDeterministic pushdown automatonGödel Prize

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Géraud Magrin, Jacques Lemoalle, Roland Pourtier (éd.), Atlas du lac Tchad. Préface de Idriss Déby Itno, avant-propos Laurent Fabius, n° spécial de la revue Passages, n° 183, juin 2015, 228 p., résum…
Le plan de cet atlas est fort classique, divise en six ­sections qui vont du fait naturel (notamment hydrologie et biodiversite… Expand
Is this relevant?
2011
2011
Salles-Curan, église Saint-Géraud. Les vitraux
 
Is this relevant?
2010
2010
Les structures territoriales en Auvergne méridionale au temps de Géraud d'Aurillac
 
Is this relevant?
2010
2010
Magnetic anisotropy of Fe and Co ultrathin films deposited on Rh(111) and Pt(111) substrates: An experimental and first-principles investigation
We report on a combined experimental and theoretical investigation of the magnetic anisotropy of Fe and Co ultrathin layers on… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Magnetocrystalline anisotropy energy of Co and Fe adatoms on the (111) surfaces of Pd and Rh
We performed a combined theoretical and experimental investigation of the orbital magnetism and magnetocrystalline anisotropy of… Expand
  • table I
  • table II
  • table III
  • table IV
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Collapsible Pushdown Automata and Recursion Schemes
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a… Expand
  • figure 1
  • table 1
  • figure 5
  • figure 4
  • figure 3
Is this relevant?
1999
1999
Towards a Total Reusability of Image Processing Algorithms
This technical report presents the evolution of algorithms implementation in image processing libraries and discusses the limits… Expand
  • table 1
  • table 2
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Le nucléaire à l'épreuve de l'organisation
 
Is this relevant?
1989
1989
Les dépendances ecclésiastiques de Saint-Géraud d'Aurillac dans l'ancien diocèse de Périgueux
Essai de localisation de deux des cinq dependances situees dans le Perigord et appartenant a l'abbaye Saint-Geraud, citees dans… Expand
Is this relevant?
1966
1966
Géraud Lavergne (1884-1965)
 
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE