Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1 , Jérôme Leroux2 , and Philipp Rümmer1 1 2 Oxford University Computing Laboratory, United Kingdom

Source URL: www.labri.fr

Ecological Informatics–143 Contents lists available at ScienceDirect Ecological Informatics journal homepage: www.elsevier.com/locate/ecolinf

Source URL: sueur.jerome.perso.neuf.fr

Proc. R. Soc. B, 1087–1092 doi:rspbPublished online 6 February 2007 Dispersive and non-dispersive waves through plants: implications for arthropod

Source URL: sueur.jerome.perso.neuf.fr

Systematic Entomology, 481–492 Specificity of cicada calling songs in the genus Tibicina (Hemiptera: Cicadidae) J E´ R Oˆ M E S U E U R 1 and T H I E R R Y A U B I N 2 E´cole Pratique des Hautes E´tudes,

Source URL: sueur.jerome.perso.neuf.fr

Working Paper NoTHE HIERARCHY OF MONEY by Stephanie Bell Visiting Scholar, The Jerome Levy Economics Institute

Source URL: www.levyinstitute.org

Plan Particulier d’Intervention du site industriel de Port-Jérôme - Notre-Dame-de-Gravenchon - Lillebonne PRÉFET DE LA SEINE-MARITIME PRÉFET DE L’EURE

Source URL: www.esso.com

The  Jerome  L.  Greene  Performance  Space     44  Charlton  Street  (at  the  corner  of  Varick  Street)     SPACE  USAGE  APPLICATION  

Source URL: media.wnyc.org

• Radio
• Broadcasting
• WNYC
• New York Public Radio
• WQXR
• Varick Street
• WNYC-FM

Denis Jerome Laboratoire de Physique des Solides, CNRS, Université Paris-Sud et Académie des Sciences RÉSUMÉ de l’INTERVENTION L’édition scientifique : une révolution suivie d’une évolution La publication sc

Source URL: jao2015.sciencesconf.org

Ann. soc. entomol. Fr. (n.s.), 2011, 47 (3–4) : BRÈVE NOTE  SHORT ARTICLE NOTE

Source URL: sueur.jerome.perso.neuf.fr

IEEE TRANSACTIONS ON MAGNETICS, VOL. 39, NO. 5, NOVEMBERMagnetic Micro-Actuators and Systems (MAGMAS) Orphée Cugat, Jérôme Delamare, and Gilbert Reyne

Source URL: www.msrl.ethz.ch