Philippe Bouyer, Ph.D. - Publications

Affiliations: 
Institut d'Optique 

235 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Mielec N, Sapam R, Poulain C, Landragin A, Bertoldi A, Bouyer P, Canuel B, Geiger R. Degenerate optical resonator for the enhancement of large laser beams. Optics Express. 28: 39112-39127. PMID 33379468 DOI: 10.1364/OE.409293  1
2020 Sabulsky DO, Junca J, Lefèvre G, Zou X, Bertoldi A, Battelier B, Prevedelli M, Stern G, Santoire J, Beaufils Q, Geiger R, Landragin A, Desruelle B, Bouyer P, Canuel B. A fibered laser system for the MIGA large scale atom interferometer. Scientific Reports. 10: 3268. PMID 32094360 DOI: 10.1038/S41598-020-59971-8  1
2020 Naik DS, Eneriz-imaz H, Carey M, Freegarde T, Minardi F, Battelier B, Bouyer P, Bertoldi A. Loading and cooling in an optical trap via hyperfine dark states Arxiv: Atomic Physics. 2: 13212. DOI: 10.1103/Physrevresearch.2.013212  1
2020 Canuel B, Abend S, Amaro-Seoane P, Badaracco F, Beaufils Q, Bertoldi A, Bongs K, Bouyer P, Braxmaier C, Chaibi W, Christensen N, fitzek F, Flouris G, Gaaloul N, Gaffet S, et al. ELGAR - a European Laboratory for Gravitation and Atom-interferometric Research Classical and Quantum Gravity. DOI: 10.1088/1361-6382/Aba80E  1
2019 Condon G, Rabault M, Barrett B, Chichet L, Arguel R, Eneriz-Imaz H, Naik D, Bertoldi A, Battelier B, Bouyer P, Landragin A. All-Optical Bose-Einstein Condensates in Microgravity. Physical Review Letters. 123: 240402. PMID 31922832 DOI: 10.1103/PhysRevLett.123.240402  1
2019 Barrett B, Cheiney P, Battelier B, Napolitano F, Bouyer P. Multidimensional Atom Optics and Interferometry. Physical Review Letters. 122: 043604. PMID 30768283 DOI: 10.1103/Physrevlett.122.043604  1
2018 Canuel B, Bertoldi A, Amand L, Pozzo di Borgo E, Chantrait T, Danquigny C, Dovale Álvarez M, Fang B, Freise A, Geiger R, Gillot J, Henry S, Hinderer J, Holleville D, Junca J, ... ... Bouyer P, et al. Exploring gravity with the MIGA large scale atom interferometer. Scientific Reports. 8: 14064. PMID 30218107 DOI: 10.1038/S41598-018-32165-Z  1
2018 Ménoret V, Vermeulen P, Le Moigne N, Bonvalot S, Bouyer P, Landragin A, Desruelle B. Gravity measurements below 10 g with a transportable absolute quantum gravimeter. Scientific Reports. 8: 12300. PMID 30120334 DOI: 10.1038/S41598-018-30608-1  1
2017 Rota-Rodrigo S, Gouhier B, Laroche M, Zhao J, Canuel B, Bertoldi A, Bouyer P, Traynor N, Cadier B, Robin T, Santarelli G. Watt-level single-frequency tunable neodymium MOPA fiber laser operating at 915-937  nm. Optics Letters. 42: 4557-4560. PMID 29088212 DOI: 10.1364/Ol.42.004557  1
2017 Bouyer P. Testing general relativity with airborne and underground atom interferometers (Conference Presentation) Proceedings of Spie. 10119. DOI: 10.1117/12.2261209  0.01
2016 Barrett B, Antoni-Micollier L, Chichet L, Battelier B, Lévèque T, Landragin A, Bouyer P. Dual matter-wave inertial sensors in weightlessness. Nature Communications. 7: 13786. PMID 27941928 DOI: 10.1038/Ncomms13786  1
2016 Canuel B, Pelisson S, Amand L, Bertoldi A, Cormier E, Fang B, Gaffet S, Geiger R, Harms J, Holleville D, Landragin A, Lefèvre G, Lhermite J, Mielec N, Prevedelli M, ... ... Bouyer P, et al. MIGA: combining laser and matter wave interferometry for mass distribution monitoring and advanced geodesy Proceedings of Spie. 9900: 990008. DOI: 10.1117/12.2228825  1
2016 Battelier B, Barrett B, Fouché L, Chichet L, Antoni-Micollier L, Porte H, Napolitano F, Lautier J, Landragin A, Bouyer P. Development of compact cold-atom sensors for inertial navigation Proceedings of Spie. 9900: 990004. DOI: 10.1117/12.2228351  1
2016 Chaibi W, Geiger R, Canuel B, Bertoldi A, Landragin A, Bouyer P. Low frequency gravitational wave detection with ground-based atom interferometer arrays Physical Review D. 93: 21101. DOI: 10.1103/Physrevd.93.021101  1
2016 Bouyer P, Gardy P, Markey N. On the semantics of Strategy Logic Information Processing Letters. 116: 75-79. DOI: 10.1016/j.ipl.2015.10.004  1
2015 Müller K, Richard J, Volchkov VV, Denechaud V, Bouyer P, Aspect A, Josse V. Suppression and Revival of Weak Localization through Control of Time-Reversal Symmetry. Physical Review Letters. 114: 205301. PMID 26047238 DOI: 10.1103/Physrevlett.114.205301  1
2015 Bouyer P, Gardy P, Markey N. Weighted strategy logic with Boolean goals over one-counter games Leibniz International Proceedings in Informatics, Lipics. 45: 69-83. DOI: 10.4230/LIPIcs.FSTTCS.2015.69  1
2015 Bouyer P, Jaziri S, Markey N. On the value problem in weighted timed games Leibniz International Proceedings in Informatics, Lipics. 42: 311-324. DOI: 10.4230/LIPIcs.CONCUR.2015.311  1
2015 Bouyer P, Brenguier R, Markey N, Ummels M. Pure nash equilibria in concurrent deterministic games Logical Methods in Computer Science. 11. DOI: 10.2168/LMCS-11(2:9)2015  1
2015 Kohlhaas R, Bertoldi A, Cantin E, Aspect A, Landragin A, Bouyer P. Phase locking a clock oscillator to a coherent atomic ensemble Physical Review X. 5. DOI: 10.1103/Physrevx.5.021011  1
2015 Barrett B, Antoni-Micollier L, Chichet L, Battelier B, Gominet PA, Bertoldi A, Bouyer P, Landragin A. Correlative methods for dual-species quantum tests of the weak equivalence principle New Journal of Physics. 17. DOI: 10.1088/1367-2630/17/8/085010  1
2015 Bouyer P, Markey N, Sankur O. Robust reachability in timed automata and games: A game-based approach Theoretical Computer Science. 563: 43-74. DOI: 10.1016/j.tcs.2014.08.014  1
2015 Barrett B, Geiger R, Dutta I, Meunier M, Canuel B, Gauguet A, Bouyer P, Landragin A. Erratum to “The Sagnac effect: 20 years of development in matter-wave interferometry” [C. R. Physique 15 (10) (2014) 875–883] Comptes Rendus Physique. 16: 343. DOI: 10.1016/J.Crhy.2014.11.003  1
2015 Altschul B, Bailey QG, Blanchet L, Bongs K, Bouyer P, Cacciapuoti L, Capozziello S, Gaaloul N, Giulini D, Hartwig J, Iess L, Jetzer P, Landragin A, Rasel E, Reynaud S, et al. Quantum tests of the Einstein Equivalence Principle with the STE-QUEST space mission Advances in Space Research. 55: 501-524. DOI: 10.1016/J.Asr.2014.07.014  1
2015 Schuldt T, Schubert C, Krutzik M, Bote LG, Gaaloul N, Hartwig J, Ahlers H, Herr W, Posso-Trujillo K, Rudolph J, Seidel S, Wendrich T, Ertmer W, Herrmann S, Kubelka-Lange A, ... ... Bouyer P, et al. Design of a dual species atom interferometer for space Experimental Astronomy. 39: 167-206. DOI: 10.1007/S10686-014-9433-Y  1
2015 Bouyer P, Markey N, Perrin N, Schlehuber-Caissier P. Timed-automata abstraction of switched dynamical systems using control funnels Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9268: 60-75. DOI: 10.1007/978-3-319-22975-1_5  1
2014 Bouyer P, Markey N, Stan D. Mixed Nash equilibria in concurrent terminal-reward games Leibniz International Proceedings in Informatics, Lipics. 29: 351-363. DOI: 10.4230/LIPIcs.FSTTCS.2014.351  1
2014 Bouyer P, Markey N, Vester S. Nash equilibria in symmetric games with partial observation Electronic Proceedings in Theoretical Computer Science, Eptcs. 146: 49-55. DOI: 10.4204/EPTCS.146.7  1
2014 Barrett B, Gominet PA, Cantin E, Antoni-Micollier L, Bertoldi A, Battelier B, Bouyer P, Lautier J, Landragin A. Mobile and remote inertial sensing with atom interferometers Atom Interferometry. 188: 493-555. DOI: 10.3254/978-1-61499-448-0-493  1
2014 Bertrand N, Bouyer P, Brihay T, Menet Q, Baier C, Grösser M, Jurdziński M. Stochastic timed automata Logical Methods in Computer Science. 10. DOI: 10.2168/LMCS-10(4:6)2014  1
2014 Farah T, Guerlin C, Landragin A, Bouyer P, Gaffet S, Pereira Dos Santos F, Merlet S. Underground operation at best sensitivity of the mobile LNE-SYRTE cold atom gravimeter Gyroscopy and Navigation. 5: 266-274. DOI: 10.1134/S2075108714040051  1
2014 Bouyer P. The centenary of Sagnac effect and its applications: From electromagnetic to matter waves Gyroscopy and Navigation. 5: 20-26. DOI: 10.1134/S2075108714010039  1
2014 Vanderbruggen T, Kohlhaas R, Bertoldi A, Cantin E, Landragin A, Bouyer P. Feedback control of coherent spin states using weak nondestructive measurements Physical Review a - Atomic, Molecular, and Optical Physics. 89. DOI: 10.1103/Physreva.89.063619  1
2014 Aguilera DN, Ahlers H, Battelier B, Bawamia A, Bertoldi A, Bondarescu R, Bongs K, Bouyer P, Braxmaier C, Cacciapuoti L, Chaloner C, Chwalla M, Ertmer W, Franz M, Gaaloul N, et al. STE-QUEST - Test of the universality of free fall using cold atom interferometry Classical and Quantum Gravity. 31. DOI: 10.1088/0264-9381/31/11/115010  1
2014 Bouyer P, Larsen KG, Markey N. Lower-bound-constrained runs in weighted timed automata Performance Evaluation. 73: 91-109. DOI: 10.1016/j.peva.2013.11.002  1
2014 Sankur O, Bouyer P, Markey N. Shrinking timed automata Information and Computation. 234: 107-132. DOI: 10.1016/j.ic.2014.01.002  1
2014 Barrett B, Geiger R, Dutta I, Meunier M, Canuel B, Gauguet A, Bouyer P, Landragin A. The Sagnac effect: 20 years of development in matter-wave interferometry | L'effet Sagnac: 20 ans de développements des interféromètres à ondes de matière Comptes Rendus Physique. 15: 875-883. DOI: 10.1016/J.Crhy.2014.10.009  1
2014 Bouyer P, Markey N, Matteplackel RM. Averaging in LTL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8704: 266-280. DOI: 10.1007/978-3-662-44584-6_19  1
2014 Bouyer P, Gardy P, Markey N. Quantitative verification of weighted kripke structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8837: 64-80.  1
2014 Bongs K, Malcolm J, Ramelloo C, Zhu L, Boyer V, Valenzuela T, Maclean J, Piccardo-Selg A, Mellor C, Fernholz T, Fromhold M, Krüger P, Hellmig O, Grote A, Dörscher S, ... ... Bouyer P, et al. iSense: A technology platform for cold atom based: Quantum technologies Optics Infobase Conference Papers 1
2013 Vanderbruggen T, Kohlhaas R, Bertoldi A, Bernon S, Aspect A, Landragin A, Bouyer P. Feedback control of trapped coherent atomic ensembles. Physical Review Letters. 110: 210503. PMID 23745848 DOI: 10.1103/Physrevlett.110.210503  1
2013 Bouyer PG, Tang X, Weber CR, Shen L, Turner JR, Matthews JB. Capsaicin induces NKCC1 internalization and inhibits chloride secretion in colonic epithelial cells independently of TRPV1. American Journal of Physiology. Gastrointestinal and Liver Physiology. 304: G142-56. PMID 23139219 DOI: 10.1152/Ajpgi.00483.2011  1
2013 Salomon G, Fouché L, Wang P, Aspect A, Bouyer P, Bourdel T. Gray-molasses cooling of 39K to a high phase-space density Epl. 104. DOI: 10.1209/0295-5075/104/63002  1
2013 Lautier J, Landragin A, Battelier B, Bouyer P. MiniAtom: Realization of an absolute compact atomic gravimeter 2013 Joint European Frequency and Time Forum and International Frequency Control Symposium, Eftf/Ifc 2013. 448-449. DOI: 10.1109/EFTF-IFC.2013.6702218  1
2013 Tino GM, Sorrentino F, Aguilera D, Battelier B, Bertoldi A, Bodart Q, Bongs K, Bouyer P, Braxmaier C, Cacciapuoti L, Gaaloul N, Gürlebeck N, Hauth M, Herrmann S, Krutzik M, et al. Precision Gravity Tests with Atom Interferometry in Space Nuclear Physics B - Proceedings Supplements. 243: 203-217. DOI: 10.1016/j.nuclphysbps.2013.09.023  1
2013 Bouyer P, Markey N, Sankur O. Robustness in timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8169: 1-18. DOI: 10.1007/978-3-642-41036-9_1  1
2013 Bouyer P, Markey N, Sankur O. Robust weighted timed automata and games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8053: 31-46. DOI: 10.1007/978-3-642-40229-6_3  1
2013 Sankur O, Bouyer P, Markey N, Reynier PA. Robust controller synthesis in timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8052: 546-560. DOI: 10.1007/978-3-642-40184-8_38  1
2012 Jendrzejewski F, Müller K, Richard J, Date A, Plisson T, Bouyer P, Aspect A, Josse V. Coherent backscattering of ultracold atoms. Physical Review Letters. 109: 195302. PMID 23215395 DOI: 10.1103/Physrevlett.109.195302  1
2012 Kohlhaas R, Vanderbruggen T, Bernon S, Bertoldi A, Landragin A, Bouyer P. Robust laser frequency stabilization by serrodyne modulation. Optics Letters. 37: 1005-7. PMID 22446205 DOI: 10.1364/Ol.37.001005  1
2012 Bouyer P, Larsen KG, Markey N. Lower-bound constrained runs in weighted timed automata Proceedings - 2012 9th International Conference On Quantitative Evaluation of Systems, Qest 2012. 128-137. DOI: 10.1109/QEST.2012.28  1
2012 Bouyer P, Brihaye T, Jurdziński M, Menet Q. Almost-sure model-checking of reactive timed automata Proceedings - 2012 9th International Conference On Quantitative Evaluation of Systems, Qest 2012. 138-147. DOI: 10.1109/QEST.2012.10  1
2012 Allard B, Plisson T, Holzmann M, Salomon G, Aspect A, Bouyer P, Bourdel T. Effect of disorder close to the superfluid transition in a two-dimensional Bose gas Physical Review a - Atomic, Molecular, and Optical Physics. 85. DOI: 10.1103/Physreva.85.033602  1
2012 Jendrzejewski F, Bernard A, Müller K, Cheinet P, Josse V, Piraud M, Pezzé L, Sanchez-Palencia L, Aspect A, Bouyer P. Three-dimensional localization of ultracold atoms in an optical disordered potential Nature Physics. 8: 398-403. DOI: 10.1038/Nphys2256  1
2012 Le Coq Y, Retter JA, Richard S, Aspect A, Bouyer P. Coherent matter wave inertial sensors for precision measurements in space Advances in Space Research. 49: 365-372. DOI: 10.1007/S00340-006-2363-2  1
2012 Bouyer P, Markey N, Ouaknine J, Schnoebelen P, Worrell J. On termination and invariance for faulty channel machines Formal Aspects of Computing. 24: 595-607. DOI: 10.1007/s00165-012-0234-7  1
2012 Bouyer P, Markey N, Sankur O. Robust reachability in timed automata: A game-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7392: 128-140. DOI: 10.1007/978-3-642-31585-5-15  1
2012 Bouyer P, Brenguier R, Markey N, Ummels M. Concurrent games with ordered objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7213: 301-315. DOI: 10.1007/978-3-642-28729-9_20  1
2012 Gaaloul N, Rasel EM, Ertmer W, Arnaud L, Bouyer P, Peters A, Bongs K, Braxmaier C, Schuldt T, Herrmann S. Space-time explorer and quantum equivalence principle space test (STE-QUEST) Proceedings of the International Astronautical Congress, Iac. 1: 616-618.  1
2012 Gaaloul N, Rasel EM, Ertmer W, Arnaud L, Bouyer P, Peters A, Bongs K, Braxmaier C, Schuldt T, Herrmann S. STE-QUEST: A space-based equivalence principle test using atom interferometry Proceedings of the International Astronautical Congress, Iac. 1: 601-603.  1
2011 Ménoret V, Geiger R, Stern G, Zahzam N, Battelier B, Bresson A, Landragin A, Bouyer P. Dual-wavelength laser source for onboard atom interferometry. Optics Letters. 36: 4128-30. PMID 22048340 DOI: 10.1364/Ol.36.004128  1
2011 Chlenski A, Guerrero LJ, Salwen HR, Yang Q, Tian Y, Morales La Madrid A, Mirzoeva S, Bouyer PG, Xu D, Walker M, Cohn SL. Secreted protein acidic and rich in cysteine is a matrix scavenger chaperone. Plos One. 6: e23880. PMID 21949685 DOI: 10.1371/journal.pone.0023880  1
2011 Geiger R, Ménoret V, Stern G, Zahzam N, Cheinet P, Battelier B, Villing A, Moron F, Lours M, Bidel Y, Bresson A, Landragin A, Bouyer P. Detecting inertial effects with airborne matter-wave interferometry. Nature Communications. 2: 474. PMID 21934658 DOI: 10.1038/Ncomms1479  1
2011 Le Gall A, Dulin D, Clavier G, Méallet-Renault R, Bouyer P, Perronet K, Westbrook N. Improved photon yield from a green dye with a reducing and oxidizing system. Chemphyschem : a European Journal of Chemical Physics and Physical Chemistry. 12: 1657-60. PMID 21630412 DOI: 10.1002/Cphc.201100085  1
2011 Bouyer P, Brenguier R, Markey N, Ummels M. Nash equilibria in concurrent games with Büchi objectives Leibniz International Proceedings in Informatics, Lipics. 13: 375-386. DOI: 10.4230/LIPIcs.FSTTCS.2011.375  1
2011 Bouyer P, Fahrenberg U, Larsen KG, Markey N. Quantitative analysis of real-time systems using priced timed automata Communications of the Acm. 54: 78-87. DOI: 10.1145/1995376.1995396  1
2011 Plisson T, Allard B, Holzmann M, Salomon G, Aspect A, Bouyer P, Bourdel T. Coherence properties of a two-dimensional trapped Bose gas around the superfluid transition Physical Review a - Atomic, Molecular, and Optical Physics. 84. DOI: 10.1103/Physreva.84.061606  1
2011 Piraud M, Lugan P, Bouyer P, Aspect A, Sanchez-Palencia L. Localization of a matter wave packet in a disordered potential Physical Review a - Atomic, Molecular, and Optical Physics. 83. DOI: 10.1103/Physreva.83.031603  1
2011 Vanderbruggen T, Bernon S, Bertoldi A, Landragin A, Bouyer P. Spin-squeezing and Dicke-state preparation by heterodyne measurement Physical Review a - Atomic, Molecular, and Optical Physics. 83. DOI: 10.1103/Physreva.83.013821  1
2011 Sorrentino F, Bongs K, Bouyer P, Cacciapuoti L, De Angelis M, Dittus H, Ertmer W, Hartwig J, Hauth M, Herrmann S, Huang K, Inguscio M, Kajari E, Könemann T, Lämmerzahl C, et al. The space atom interferometer project: Status and prospects Journal of Physics: Conference Series. 327. DOI: 10.1088/1742-6596/327/1/012050  1
2011 Pezzé L, Robert-De-Saint-Vincent M, Bourdel T, Brantut JP, Allard B, Plisson T, Aspect A, Bouyer P, Sanchez-Palencia L. Regimes of classical transport of cold gases in a two-dimensional anisotropic disorder New Journal of Physics. 13. DOI: 10.1088/1367-2630/13/9/095015  1
2011 De Angelis M, Angonin MC, Beaufils Q, Becker C, Bertoldi A, Bongs K, Bourdel T, Bouyer P, Boyer V, Dörscher S, Duncker H, Ertmer W, Fernholz T, Fromhold TM, Herr W, et al. ISense: A portable ultracold-atom-based gravimeter Procedia Computer Science. 7: 334-336. DOI: 10.1016/J.Procs.2011.09.067  1
2011 Bouyer P, Cassez F, Laroussinie F. Timed Modal Logics for Real-Time Systems Journal of Logic, Language and Information. 20: 169-203. DOI: 10.1007/s10849-010-9127-4  1
2011 Hogan JM, Johnson DMS, Dickerson S, Kovachy T, Sugarbaker A, Chiow Sw, Graham PW, Kasevich MA, Saif B, Rajendran S, Bouyer P, Seery BD, Feinberg L, Keski-Kuha R. An atomic gravitational wave interferometric sensor in low earth orbit (AGIS-LEO) General Relativity and Gravitation. 43: 1953-2009. DOI: 10.1007/S10714-011-1182-X  1
2011 Bouyer P, Markey N, Olschewski J, Ummels M. Measuring permissiveness in parity games: Mean-payoff parity games revisited Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6996: 135-149. DOI: 10.1007/978-3-642-24372-1_11  1
2011 Bouyer P, Markey N, Sankur O. Robust model-checking of timed automata via pumping in channel machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6919: 97-112. DOI: 10.1007/978-3-642-24310-3_8  1
2011 Bouyer P, Larsen KG, Markey N, Sankur O, Thrane C. Timed automata can always be made implementable Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6901: 76-91. DOI: 10.1007/978-3-642-23217-6_6  1
2011 Bertrand N, Bouyer P, Brihaye T, Stainer A. Emptiness and universality problems in timed automata with positive frequency Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6756: 246-257. DOI: 10.1007/978-3-642-22012-8_19  1
2010 Le Gall A, Perronet K, Dulin D, Villing A, Bouyer P, Visscher K, Westbrook N. Simultaneous calibration of optical tweezers spring constant and position detector response. Optics Express. 18: 26469-74. PMID 21164997 DOI: 10.1364/Oe.18.026469  1
2010 Bertoldi A, Bernon S, Vanderbruggen T, Landragin A, Bouyer P. In situ characterization of an optical cavity using atomic light shift. Optics Letters. 35: 3769-71. PMID 21081991 DOI: 10.1364/Ol.35.003769  1
2010 Robert-de-Saint-Vincent M, Brantut JP, Allard B, Plisson T, Pezzé L, Sanchez-Palencia L, Aspect A, Bourdel T, Bouyer P. Anisotropic 2D diffusive expansion of ultracold atoms in a disordered potential. Physical Review Letters. 104: 220602. PMID 20867158 DOI: 10.1103/Physrevlett.104.220602  1
2010 Tang J, Bouyer P, Mykoniatis A, Buschmann M, Matlin KS, Matthews JB. Activated PKC{delta} and PKC{epsilon} inhibit epithelial chloride secretion response to cAMP via inducing internalization of the Na+-K+-2Cl- cotransporter NKCC1. The Journal of Biological Chemistry. 285: 34072-85. PMID 20732874 DOI: 10.1074/Jbc.M110.137380  1
2010 de Rivoyre M, Ginet N, Bouyer P, Lavergne J. Excitation transfer connectivity in different purple bacteria: a theoretical and experimental study. Biochimica Et Biophysica Acta. 1797: 1780-94. PMID 20655292 DOI: 10.1016/j.bbabio.2010.07.011  1
2010 Stern G, Allard B, Robert-de-Saint-Vincent M, Brantut JP, Battelier B, Bourdel T, Bouyer P. Frequency doubled 1534 nm laser system for potassium laser cooling. Applied Optics. 49: 3092-5. PMID 20517380 DOI: 10.1364/Ao.49.003092  1
2010 Mykoniatis A, Shen L, Fedor-Chaiken M, Tang J, Tang X, Worrell RT, Delpire E, Turner JR, Matlin KS, Bouyer P, Matthews JB. Phorbol 12-myristate 13-acetate-induced endocytosis of the Na-K-2Cl cotransporter in MDCK cells is associated with a clathrin-dependent pathway. American Journal of Physiology. Cell Physiology. 298: C85-97. PMID 19864322 DOI: 10.1152/Ajpcell.00118.2009  1
2010 Hunter P, Bouyer P, Markey N, Ouaknine J, Worrell J. Computing rational radical sums in uniform TC0 Leibniz International Proceedings in Informatics, Lipics. 8: 308-316. DOI: 10.4230/LIPIcs.FSTTCS.2010.308  1
2010 Bouyer P, Brihaye T, Chevalier F. O-Minimal hybrid reachability games Logical Methods in Computer Science. 6. DOI: 10.2168/LMCS-6  1
2010 Stern G, Allard B, Robert-De-Saint-Vincent M, Brantut JP, Battelier B, Bourdel T, Bouyer P. Frequency doubled 1534nm laser system for potassium laser cooling Applied Optics. 49: 3092-3095. DOI: 10.1364/AO.49.003092  1
2010 Robert-De-Saint-Vincent M, Brantut JP, Bordé CHJ, Aspect A, Bourdel T, Bouyer P. A quantum trampoline for ultra-cold atoms Epl. 89. DOI: 10.1209/0295-5075/89/10002  1
2010 Bouyer P, Fahrenberg U, Larsen KG, Markey N. Timed automata with observers under energy constraints Hscc'10 - Proceedings of the 13th Acm International Conference On Hybrid Systems: Computation and Control. 61-70. DOI: 10.1145/1755952.1755963  1
2010 Bouyer P. Quantum gases and optical speckle: A new tool to simulate disordered quantum systems Reports On Progress in Physics. 73. DOI: 10.1088/0034-4885/73/6/062401  1
2010 Bodart Q, Merlet S, Malossi N, Dos Santos FP, Bouyer P, Landragin A. A cold atom pyramidal gravimeter with a single laser beam Applied Physics Letters. 96. DOI: 10.1063/1.3373917  1
2010 Bouyer P. Matter waves: From quantum simulators to tests of general relativity Mesoscopic Physics in Complex Media. DOI: 10.1051/iesc/2010mpcm01014  1
2010 Dulin D, Le Gall A, Perronet K, Soler N, Fourmy D, Yoshizawa S, Bouyer P, Westbrook N. Reduced photobleaching of BODIPY-FL Physics Procedia. 3: 1563-1567. DOI: 10.1016/J.Phpro.2010.01.222  1
2010 Bouyer P, Chevalier F, Markey N. On the expressiveness of TPTL and MTL Information and Computation. 208: 97-116. DOI: 10.1016/j.ic.2009.10.004  1
2010 Sorrentino F, Bongs K, Bouyer P, Cacciapuoti L, De Angelis M, Dittus H, Ertmer W, Giorgini A, Hartwig J, Hauth M, Herrmann S, Inguscio M, Kajari E, Könemann TT, Lämmerzahl C, et al. A compact atom interferometer for future space missions Microgravity Science and Technology. 22: 551-561. DOI: 10.1007/S12217-010-9240-7  1
2010 Bouyer P, Brenguier R, Markey N. Nash equilibria for reachability objectives in multi-player timed games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6269: 192-206. DOI: 10.1007/978-3-642-15375-4_14  1
2010 Bouyer P, Brenguier R, Markey N. Computing equilibria in two-player timed games via turn-based finite games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6246: 62-76. DOI: 10.1007/978-3-642-15297-9_7  1
2010 Bouyer P. Anderson localization of matter waves Annalen Der Physik (Leipzig). 18: 844-848. DOI: 10.1002/Andp.200910391  1
2010 Bouyer P, Laroussinie F. Model Checking Timed Automata Modeling and Verification of Real-Time Systems: Formalisms and Software Tools. 111-140. DOI: 10.1002/9780470611012.ch4  1
2010 Aspect A, Billy J, Josse V, Zuo Z, Cheinet P, Bernard A, Lugan P, Clement D, Sanchez-Palencia L, Bouyer P. Anderson localization of matter-waves in a controlled disorder: A quantum simulator? Proceedings of the 19th International Conference On Laser Spectroscopy, Icols 2009. 3-18.  1
2009 Bouyer P, Haddad S, Reynier PA. Undecidability results for timed automata with silent transitions Fundamenta Informaticae. 92: 1-25. DOI: 10.3233/FI-2009-0063  1
2009 Stern G, Battelier B, Geiger R, Varoquaux G, Villing A, Moron F, Carraz O, Zahzam N, Bidel Y, Chaibi W, Pereira Dos Santos F, Bresson A, Landragin A, Bouyer P. Light-pulse atom interferometry in microgravity European Physical Journal D. 53: 353-357. DOI: 10.1140/Epjd/E2009-00150-5  1
2009 Clément JF, Brantut JP, Robert-De-Saint-Vincent M, Nyman RA, Aspect A, Bourdel T, Bouyer P. All-optical runaway evaporation to Bose-Einstein condensation Physical Review a - Atomic, Molecular, and Optical Physics. 79. DOI: 10.1103/Physreva.79.061406  1
2009 Varoquaux G, Nyman RA, Geiger R, Cheinet P, Landragin A, Bouyer P. How to estimate the differential acceleration in a two-species atom interferometer to test the equivalence principle New Journal of Physics. 11. DOI: 10.1088/1367-2630/11/11/113010  1
2009 Bouyer P. Model-checking Timed Temporal Logics Electronic Notes in Theoretical Computer Science. 231: 323-341. DOI: 10.1016/j.entcs.2009.02.044  1
2009 Bouyer P, Brihaye T, Chevalier F. Weighted o-minimal hybrid systems Annals of Pure and Applied Logic. 161: 268-288. DOI: 10.1016/j.apal.2009.07.014  1
2009 Turyshev SG, Shao M, Nordtvedt KL, Dittus H, Laemmerzahl C, Theil S, Salomon C, Reynaud S, Damour T, Johann U, Bouyer P, Touboul P, Foulon B, Bertolami O, Páramos J. Advancing fundamental physics with the laser astrometric test of relativity: The LATOR mission Experimental Astronomy. 27: 27-60. DOI: 10.1007/S10686-009-9170-9  1
2009 Ertmer W, Schubert C, Wendrich T, Gilowski M, Zaiser M, Zoest TV, Rasel E, Bordé CJ, Clairon A, Landragin, Laurent P, Lemonde P, Santarelli G, Schleich W, Cataliotti FS, ... ... Bouyer P, et al. Matter wave explorer of gravity (MWXG) Experimental Astronomy. 23: 611-649. DOI: 10.1007/S10686-008-9125-6  1
2009 Wolf P, Bordé CJ, Clairon A, Duchayne L, Landragin A, Lemonde P, Santarelli G, Ertmer W, Rasel E, Cataliotti F, Inguscio M, Tino GM, Gill P, Klein H, Reynaud S, ... ... Bouyer P, et al. Quantum physics exploring gravity in the outer solar system: The SAGAS project Experimental Astronomy. 23: 651-687. DOI: 10.1007/S10686-008-9118-5  1
2009 Amelino-Camelia G, Aplin K, Arndt M, Barrow JD, Bingham RJ, Borde C, Bouyer P, Caldwell M, Cruise AM, Damour T, D'Arrigo P, Dittus H, Ertmer W, Foulon B, Gill P, et al. GAUGE: The grAnd unification and gravity explorer Experimental Astronomy. 23: 549-572. DOI: 10.1007/S10686-008-9086-9  1
2009 Christophe B, Andersen PH, Anderson JD, Asmar S, Bério P, Bertolami O, Bingham R, Bondu F, Bouyer P, Bremer S, Courty JM, Dittus H, Foulon B, Gil P, Johann U, et al. Odyssey: A solar system mission Experimental Astronomy. 23: 529-547. DOI: 10.1007/S10686-008-9084-Y  1
2009 Bouyer P, Duflot M, Markey N, Renault G. Measuring Permissivity in Finite Games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5710: 196-210. DOI: 10.1007/978-3-642-04081-8_14  1
2009 Bouyer P, Forejt V. Reachability in stochastic timed games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5556: 103-114. DOI: 10.1007/978-3-642-02930-1_9  1
2009 Baier C, Bertrand N, Bouyer P, Brihaye T. When are timed automata determinizable? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5556: 43-54. DOI: 10.1007/978-3-642-02930-1_4  1
2009 Bouyer P. A new optimized trapping method to create ultra-cold and degenerate atomic samples Optics Infobase Conference Papers 1
2008 Jaubert M, Vuillet L, Hannibal L, Adriano JM, Fardoux J, Bouyer P, Bonaldi K, Fleischman D, Giraud E, Verméglio A. Control of peripheral light-harvesting complex synthesis by a bacteriophytochrome in the aerobic photosynthetic bacterium Bradyrhizobium strain BTAi1. Journal of Bacteriology. 190: 5824-31. PMID 18606738 DOI: 10.1128/JB.00524-08  1
2008 Parker MD, Bouyer P, Daly CM, Boron WF. Cloning and characterization of novel human SLC4A8 gene products encoding Na+-driven Cl-/HCO3(-) exchanger variants NDCBE-A, -C, and -D. Physiological Genomics. 34: 265-76. PMID 18577713 DOI: 10.1152/Physiolgenomics.90259.2008  1
2008 Billy J, Josse V, Zuo Z, Bernard A, Hambrecht B, Lugan P, Clément D, Sanchez-Palencia L, Bouyer P, Aspect A. Direct observation of Anderson localization of matter waves in a controlled disorder. Nature. 453: 891-4. PMID 18548065 DOI: 10.1038/Nature07000  1
2008 Schwartz S, Gutty F, Feugnet G, Bouyer P, Pocholle JP. Suppression of nonlinear interactions in resonant macroscopic quantum devices: the example of the solid-state ring laser gyroscope. Physical Review Letters. 100: 183901. PMID 18518373 DOI: 10.1103/Physrevlett.100.183901  1
2008 Chen LM, Kelly ML, Parker MD, Bouyer P, Gill HS, Felie JM, Davis BA, Boron WF. Expression and localization of Na-driven Cl-HCO(3)(-) exchanger (SLC4A8) in rodent CNS. Neuroscience. 153: 162-74. PMID 18359573 DOI: 10.1016/J.Neuroscience.2008.02.018  1
2008 Kojadinovic M, Laugraud A, Vuillet L, Fardoux J, Hannibal L, Adriano JM, Bouyer P, Giraud E, Verméglio A. Dual role for a bacteriophytochrome in the bioenergetic control of Rhodopseudomonas palustris: enhancement of photosystem synthesis and limitation of respiration. Biochimica Et Biophysica Acta. 1777: 163-72. PMID 17988648 DOI: 10.1016/j.bbabio.2007.09.003  1
2008 Bouyer P, Larsen KG, Markey N. Model checking one-clock priced timed automata Logical Methods in Computer Science. 4. DOI: 10.2168/LMCS-4(2:9)2008  1
2008 Bertrand N, Bouyer P, Brihaye T, Markey N. Quantitative model-checking of one-clock timed automata under probabilistic semantics Proceedings - 5th International Conference On the Quantitative Evaluation of Systems, Qest 2008. 55-64. DOI: 10.1109/QEST.2008.19  1
2008 Baier C, Bertrand N, Bouyer P, Brihaye T, Größer M. Almost-sure model cheeking of infinite paths in one-clock timed automata Proceedings - Symposium On Logic in Computer Science. 217-226. DOI: 10.1109/LICS.2008.25  1
2008 Brantut JP, Clément JF, De Saint Vincent MR, Varoquaux G, Nyman RA, Aspect A, Bourdel T, Bouyer P. Light-shift tomography in an optical-dipole trap for neutral atoms Physical Review a - Atomic, Molecular, and Optical Physics. 78. DOI: 10.1103/Physreva.78.031401  1
2008 Clément D, Bouyer P, Aspect A, Sanchez-Palencia L. Density modulations in an elongated Bose-Einstein condensate released from a disordered potential Physical Review a - Atomic, Molecular, and Optical Physics. 77. DOI: 10.1103/Physreva.77.033631  1
2008 Riou JF, Le Coq Y, Impens F, Guerin W, Bordé CJ, Aspect A, Bouyer P. Theoretical tools for atom-laser-beam propagation Physical Review a - Atomic, Molecular, and Optical Physics. 77. DOI: 10.1103/Physreva.77.033630  1
2008 Sanchez-Palencia L, Clément D, Lugan P, Bouyer P, Aspect A. Disorder-induced trapping versus Anderson localization in Bose-Einstein condensates expanding in disordered potentials New Journal of Physics. 10. DOI: 10.1088/1367-2630/10/4/045019  1
2008 Bouyer P, Haddad S, Reynier PA. Timed Petri nets and timed automata: On the discriminating power of zeno sequences Information and Computation. 206: 73-107. DOI: 10.1016/j.ic.2007.10.004  1
2008 Bouyer P, Brinksma E, Larsen KG. Optimal infinite scheduling for multi-priced timed automata Formal Methods in System Design. 32: 3-23. DOI: 10.1007/s10703-007-0043-4  1
2008 Bouyer P, Brihaye T, Jurdziński M, Lazić R, Rutkowski M. Average-price and reachability-price games on hybrid automata with strong resets Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5215: 63-77. DOI: 10.1007/978-3-540-85778-5_6  1
2008 Bouyer P, Fahrenberg U, Larsen KG, Markey N, Srba J. Infinite runs in weighted timed automata with energy constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5215: 33-47. DOI: 10.1007/978-3-540-85778-5_4  1
2008 Bouyer P, Markey N, Reynier PA. Robust analysis of timed automata via channel machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4962: 157-171. DOI: 10.1007/978-3-540-78499-9_12  1
2008 Bouyer P, Markey N, Ouaknine J, Worrell J. On expressiveness and complexity in real-time model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5126: 124-135. DOI: 10.1007/978-3-540-70583-3_11  1
2008 Bouyer P, Markey N, Ouaknine J, Schnoebelen P, Worrell J. On termination for faulty channel machines Proceedings of the 25th International Symposium On Theoretical Aspects of Computer Science, Stacs 2008. 121-132.  1
2008 Bouyer P, Sanchez-Palencia L, Clément D, Lugan P, Aspect A. Interacting Bose-Einstein condensates in random potentials Proceedings of the 18th International Conference On Laser Spectroscopy, Icols 2007. 11-22.  1
2007 Lugan P, Clément D, Bouyer P, Aspect A, Sanchez-Palencia L. Anderson localization of Bogolyubov quasiparticles in interacting Bose-Einstein condensates. Physical Review Letters. 99: 180402. PMID 17995384 DOI: 10.1103/Physrevlett.99.180402  1
2007 Sanchez-Palencia L, Clément D, Lugan P, Bouyer P, Shlyapnikov GV, Aspect A. Anderson localization of expanding Bose-Einstein condensates in random potentials. Physical Review Letters. 98: 210401. PMID 17677751 DOI: 10.1103/Physrevlett.98.210401  1
2007 Zhou Y, Bouyer P, Boron WF. Role of the AT1A receptor in the CO2-induced stimulation of HCO3- reabsorption by renal proximal tubules. American Journal of Physiology. Renal Physiology. 293: F110-20. PMID 17356125 DOI: 10.1152/Ajprenal.00516.2006  1
2007 Jaubert M, Lavergne J, Fardoux J, Hannibal L, Vuillet L, Adriano JM, Bouyer P, Pignol D, Giraud E, Verméglio A. A singular bacteriophytochrome acquired by lateral gene transfer. The Journal of Biological Chemistry. 282: 7320-8. PMID 17218312 DOI: 10.1074/jbc.M611173200  1
2007 Bouyer P, Sakai H, Itokawa T, Kawano T, Fulton CM, Boron WF, Insogna KL. Colony-stimulating factor-1 increases osteoclast intracellular pH and promotes survival via the electroneutral Na/HCO3 cotransporter NBCn1. Endocrinology. 148: 831-40. PMID 17068143 DOI: 10.1210/En.2006-0547  1
2007 Bouyer P. Coherent atom sources for atom interferometry in space: The ice project International Journal of Modern Physics D. 16: 2431-2445. DOI: 10.1142/S0218271807011231  1
2007 Bouyer P, Markey N, Ouaknine J, Worrell J. The cost of punctuality Proceedings - Symposium On Logic in Computer Science. 109-118. DOI: 10.1109/LICS.2007.49  1
2007 Giorgini A, Sorrentino F, De Angelis M, Prevedelli M, Schmidt M, Senger A, Kovalckuk E, Josse V, Nyman R, Lugan P, Brantut JP, Impens F, Gauguet A, Le Gouëf J, Dos Santos FP, ... ... Bouyer P, et al. Future inertial atomic quantum sensors: State of art Conference On Lasers and Electro-Optics Europe - Technical Digest. DOI: 10.1109/CLEOE-IQEC.2007.4386724  1
2007 Lugan P, Clément D, Bouyer P, Aspect A, Lewenstein M, Sanchez-Palencia L. Ultracold bose gases in 1D disorder: From lifshits glass to Bose-Einstein condensate Physical Review Letters. 98. DOI: 10.1103/Physrevlett.98.170403  1
2007 Hugbart M, Retter JA, Varón AF, Bouyer P, Aspect A, Davis MJ. Population and phase coherence during the growth of an elongated Bose-Einstein condensate Physical Review a - Atomic, Molecular, and Optical Physics. 75. DOI: 10.1103/Physreva.75.011602  1
2007 Billy J, Josse V, Zuo Z, Guerin W, Aspect A, Bouyer P. Guided atom laser: A new tool for guided atom optics Annales De Physique. 32: 17-24. DOI: 10.1051/Anphys:2008001  1
2007 Tino GM, Cacciapuoti L, Bongs K, Bordé CJ, Bouyer P, Dittus H, Ertmer W, Görlitz A, Inguscio M, Landragin A, Lemonde P, Lammerzahl C, Peters A, Rasel E, Reichel J, et al. Atom interferometers and optical atomic clocks: New quantum sensors for fundamental physics experiments in space Nuclear Physics B - Proceedings Supplements. 166: 159-165. DOI: 10.1016/j.nuclphysbps.2006.12.061  1
2007 Perronet K, Bouyer P, Westbrook N, Soler N, Fourmy D, Yoshizawa S. Single molecule fluorescence detection of BODIPY-FL molecules for monitoring protein synthesis Journal of Luminescence. 127: 264-268. DOI: 10.1016/J.Jlumin.2007.02.051  1
2007 Bouyer P, Brihaye T, Bruyère V, Raskin JF. On the optimal reachability problem of weighted timed automata Formal Methods in System Design. 31: 135-175. DOI: 10.1007/s10703-007-0035-4  1
2007 Bouyer P, Larsen KG, Markey N. Model-checking one-clock priced timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4423: 108-122.  1
2007 Bouyer P, Markey N. Costs are expensive! Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4763: 53-68.  1
2007 Baier C, Bertrand N, Bouyer P, Brihaye T, Größer M. Probabilistic and topological semantics for timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4855: 179-191.  1
2007 Bouyer P, Brihaye T, Chevalier F. Weighted O-minimal hybrid systems are more decidable than weighted timed automata! Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4514: 69-83.  1
2007 Bouyer P. Atom interferometry and inertial sensors Optics Infobase Conference Papers 1
2006 Guerin W, Riou JF, Gaebler JP, Josse V, Bouyer P, Aspect A. Guided quasicontinuous atom laser. Physical Review Letters. 97: 200402. PMID 17155665 DOI: 10.1103/Physrevlett.97.200402  1
2006 Schwartz S, Feugnet G, Bouyer P, Lariontsev E, Aspect A, Pocholle JP. Mode-coupling control in resonant devices: Application to solid-state ring lasers. Physical Review Letters. 97: 093902. PMID 17026363 DOI: 10.1103/Physrevlett.97.093902  1
2006 Canuel B, Leduc F, Holleville D, Gauguet A, Fils J, Virdis A, Clairon A, Dimarcq N, Bordé ChJ, Landragin A, Bouyer P. Six-axis inertial sensor using cold-atom interferometry. Physical Review Letters. 97: 010402. PMID 16907358 DOI: 10.1103/Physrevlett.97.010402  1
2006 Zhou Y, Bouyer P, Boron WF. Role of a tyrosine kinase in the CO2-induced stimulation of HCO3- reabsorption by rabbit S2 proximal tubules. American Journal of Physiology. Renal Physiology. 291: F358-67. PMID 16705143 DOI: 10.1152/Ajprenal.00520.2005  1
2006 Riou JF, Guerin W, Le Coq Y, Fauquembergue M, Josse V, Bouyer P, Aspect A. Beam quality of a nonideal atom laser. Physical Review Letters. 96: 070404. PMID 16606065 DOI: 10.1103/Physrevlett.96.070404  1
2006 Berthomieu C, Marboutin L, Dupeyrat F, Bouyer P. Electrochemically induced FTIR difference spectroscopy in the mid- to far infrared (200 microm) domain: a new setup for the analysis of metal-ligand interactions in redox proteins. Biopolymers. 82: 363-7. PMID 16453337 DOI: 10.1002/bip.20469  1
2006 Zhou Y, Bouyer P, Boron WF. Effects of angiotensin II on the CO2 dependence of HCO3- reabsorption by the rabbit S2 renal proximal tubule. American Journal of Physiology. Renal Physiology. 290: F666-73. PMID 16204407 DOI: 10.1152/Ajprenal.00287.2005  1
2006 Bouyer P, Brihaye T, Chevalier F. Control in o-minimal hybrid systems Proceedings - Symposium On Logic in Computer Science. 367-376. DOI: 10.1109/LICS.2006.22  1
2006 Bouyer P, Haddad S, Reynier PA. Extended timed automata and time Petri Nets Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 91-100. DOI: 10.1109/ACSD.2006.6  1
2006 Clément D, Varón AF, Retter JA, Sanchez-Palencia L, Aspect A, Bouyer P. Experimental study of the transport of coherent interacting matter-waves in a 1D random potential induced by laser speckle New Journal of Physics. 8. DOI: 10.1088/1367-2630/8/8/165  1
2006 Schwartz S, Cozzini M, Menotti C, Carusotto I, Bouyer P, Stringari S. One-dimensional description of a Bose-Einstein condensate in a rotating closed-loop waveguide New Journal of Physics. 8. DOI: 10.1088/1367-2630/8/8/162  1
2006 Nyman RA, Varoquaux G, Villier B, Sacchet D, Moron F, Le Coq Y, Aspect A, Bouyer P. Tapered-amplified antireflection-coated laser diodes for potassium and rubidium atomic-physics experiments Review of Scientific Instruments. 77. DOI: 10.1063/1.2186809  1
2006 Impens F, Bouyer P, Landragin A, Bordé CJ. Gravimètre à cavité d'ondes de matière Journal De Physique Iv. 135: 311-312. DOI: 10.1051/Jp4:2006135102  1
2006 Bouyer P, Brihaye T, Markey N. Improved undecidability results on weighted timed automata Information Processing Letters. 98: 188-194. DOI: 10.1016/j.ipl.2006.01.012  1
2006 Bouyer P. Weighted Timed Automata: Model-Checking and Games Electronic Notes in Theoretical Computer Science. 158: 3-17. DOI: 10.1016/j.entcs.2006.04.002  1
2006 Behrmann G, Bouyer P, Larsen KG, Pelánek R. Lower and upper bounds in zone-based abstractions of timed automata International Journal On Software Tools For Technology Transfer. 8: 204-215. DOI: 10.1007/s10009-005-0190-0  1
2006 Bresson A, Bidel Y, Bouyer P, Leone B, Murphy E, Silvestrin P. Quantum mechanics for space applications Applied Physics B: Lasers and Optics. 84: 545-550. DOI: 10.1007/S00340-006-2412-X  1
2006 Impens F, Bouyer P, Bordé CJ. Matter-wave cavity gravimeter Applied Physics B: Lasers and Optics. 84: 603-615. DOI: 10.1007/S00340-006-2399-3  1
2006 Nyman RA, Varoquaux G, Lienhart F, Chambon D, Boussen S, Clément JF, Müller T, Santarelli G, Pereira Dos Santos F, Clairon A, Bresson A, Landragin A, Bouyer P. I.C.E.: A transportable atomic inertial sensor for test in microgravity Applied Physics B: Lasers and Optics. 84: 673-681. DOI: 10.1007/S00340-006-2395-7  1
2006 Bouyer P, Markey N, Reynier PA. Robust model-checking of linear-time properties in timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3887: 238-249. DOI: 10.1007/11682462_25  1
2006 Bel Mokadem H, Bérard B, Bouyer P, Laroussinie F. Timed temporal logics for abstracting transient states Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4218: 337-351.  1
2006 Asarin E, Bouyer P. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatic): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4202: v.  1
2006 Bouyer P, Haddad S, Reynier PA. Timed unfoldings for networks of timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4218: 292-306.  1
2006 Bouyer P, Bozzelli L, Chevalier F. Controller synthesis for MTL specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4137: 450-464.  1
2005 Clément D, Varón AF, Hugbart M, Retter JA, Bouyer P, Sanchez-Palencia L, Gangardt DM, Shlyapnikov GV, Aspect A. Suppression of transport of an interacting elongated Bose-Einstein condensate in a random potential. Physical Review Letters. 95: 170409. PMID 16383806 DOI: 10.1103/Physrevlett.95.170409  1
2005 Giraud E, Zappa S, Vuillet L, Adriano JM, Hannibal L, Fardoux J, Berthomieu C, Bouyer P, Pignol D, Verméglio A. A new type of bacteriophytochrome acts in tandem with a classical bacteriophytochrome to control the antennae synthesis in Rhodopseudomonas palustris. The Journal of Biological Chemistry. 280: 32389-97. PMID 16009707 DOI: 10.1074/jbc.M506890200  1
2005 Gourion-Arsiquaud S, Chevance S, Bouyer P, Garnier L, Montillet JL, Bondon A, Berthomieu C. Identification of a Cd2+- and Zn2+-binding site in cytochrome c using FTIR coupled to an ATR microdialysis setup and NMR spectroscopy. Biochemistry. 44: 8652-63. PMID 15952772 DOI: 10.1021/bi050322l  1
2005 Zhou Y, Zhao J, Bouyer P, Boron WF. Evidence from renal proximal tubules that HCO3- and solute reabsorption are acutely regulated not by pH but by basolateral HCO3- and CO2. Proceedings of the National Academy of Sciences of the United States of America. 102: 3875-80. PMID 15728388 DOI: 10.1073/Pnas.0500423102  1
2005 Retter JA, Varón AF, Clément D, Hugbart M, Bouyer P, Sanchez-Palencia L, Gangardt D, Shlyapnikov GV, Aspect A. Inhibition of transport of a Bose-Einstein condensate in a random potential Laser Spectroscopy - Proceedings of the 17th International Conference, Icols 2005. 248-255. DOI: 10.1142/9789812701473_0025  1
2005 Fils J, Leduc F, Bouyer P, Holleville D, Dimarcq N, Clairon A, Landragin A. Influence of optical aberrations in an atomic gyroscope European Physical Journal D. 36: 257-260. DOI: 10.1140/Epjd/E2005-00255-9  1
2005 Hugbart M, Retter JA, Gerbier F, Varón AF, Richard S, Thywissen JH, Clément D, Bouyer P, Aspect A. Coherence length of an elongated condensate : AAA study by matter-wave interferometry European Physical Journal D. 35: 155-163. DOI: 10.1140/Epjd/E2005-00056-2  1
2005 Arrivault D, Richard N, Bouyer P. A fuzzy hierarchical attributed graph approach for handwritten egyptian hieroglyphs description and matching Proceedings of the International Conference On Document Analysis and Recognition, Icdar. 2005: 898-902. DOI: 10.1109/ICDAR.2005.11  1
2005 Fauquembergue M, Riou JF, Guerin W, Rangwala S, Moron F, Villing A, Le Coq Y, Bouyer P, Aspect A, Lécrivain M. Partially ferromagnetic electromagnet for trapping and cooling neutral atoms to quantum degeneracy Review of Scientific Instruments. 76: 1-7. DOI: 10.1063/1.2090407  1
2005 Bouyer P, Cassez F, Fleury E, Larsen KG. Synthesis of optimal strategies using HyTech Electronic Notes in Theoretical Computer Science. 119: 11-31. DOI: 10.1016/j.entcs.2004.07.006  1
2005 Bouyer P, Laroussinie F, Reynier PA. Diagonal constraints in timed automata: Forward analysis of timed systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3829: 112-126. DOI: 10.1007/11603009_10  1
2005 Arrivault D, Richard N, Bouyer P. A fuzzy hierarchical attributed graph approach for handwritten hieroglyphs description Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3691: 748-755. DOI: 10.1007/11556121_92  1
2005 Turyshev SG, Dittus H, Lämmerzahl C, Theil S, Ertmer W, Rasel E, Foerstner R, Johann U, Klioner S, Soffel M, Dachwald B, Seboldt W, Perlick V, Sandford MCW, Bingham R, ... ... Bouyer P, et al. Fundamental physics with the laser astrometric test of relativity European Space Agency, (Special Publication) Esa Sp. 11-18.  1
2005 Altisen K, Bouyer P, Cachat T, Cassez F, Gardey G. Introduction to control of real-time systems | Introduction au contrôle des systèmes temps-réel Journal Europeen Des Systemes Automatises. 39: 367-380.  1
2005 Landragin A, Bouyer P. Atom interferometry and coherent matter waves European Space Agency, (Special Publication) Esa Sp. 43-52.  1
2005 Bouyer P, Chevalier F, Krichen M, Tripakis S. Partial observation of timed systems | Observation partielle des systèmes temporisés Journal Europeen Des Systemes Automatises. 39: 381-393.  1
2005 Dittus H, Turyshev SG, Lämmerzahl C, Theil S, Foerstner R, Johann U, Ertmer W, Rasel E, Dachwald B, Seboldt W, Hehl FW, Kiefer C, Blome HJ, Kunz J, Giulini D, ... ... Bouyer P, et al. A mission to explore the Pioneer anomaly European Space Agency, (Special Publication) Esa Sp. 3-10.  1
2005 Bouyer P, Cassez F, Laroussinie F. Modal logics for timed control Lecture Notes in Computer Science. 3653: 81-94.  1
2005 Bel Mokadem H, Bérard B, Bouyer P, Laroussinie F. A new modality for almost everywhere properties in timed automata Lecture Notes in Computer Science. 3653: 110-124.  1
2005 Arrivault D, Richard N, Fernandez-Maloigne C, Bouyer P. Collaboration between statistical and structural approaches for old handwritten characters recognition Lecture Notes in Computer Science. 3434: 291-300.  1
2005 Bouyer P, Chevalier F, D'Souza D. Fault diagnosis using timed automata Lecture Notes in Computer Science. 3441: 219-233.  1
2004 Bouyer P, Bradley SR, Zhao J, Wang W, Richerson GB, Boron WF. Effect of extracellular acid-base disturbances on the intracellular pH of neurones cultured from rat medullary raphe or hippocampus. The Journal of Physiology. 559: 85-101. PMID 15194736 DOI: 10.1113/Jphysiol.2004.067793  1
2004 Giraud E, Zappa S, Jaubert M, Hannibal L, Fardoux J, Adriano JM, Bouyer P, Genty B, Pignol D, Verméglio A. Bacteriophytochrome and regulation of the synthesis of the photosynthetic apparatus in Rhodopseudomonas palustris: pitfalls of using laboratory strains. Photochemical & Photobiological Sciences : Official Journal of the European Photochemistry Association and the European Society For Photobiology. 3: 587-91. PMID 15170489 DOI: 10.1039/b315770a  1
2004 Gerbier F, Thywissen JH, Richard S, Hugbart M, Bouyer P, Aspect A. Critical temperature of a trapped, weakly interacting Bose gas. Physical Review Letters. 92: 030405. PMID 14753855 DOI: 10.1103/Physrevlett.92.030405  1
2004 Aspect A, Richard S, Gerbier F, Hugbart M, Retter JA, Thywissen JH, Bouyer P. Momentum Spectroscopy of Phase Fluctuations of an Elongated Bose-Einstein Condensate Arxiv: Statistical Mechanics. 116-123. DOI: 10.1142/9789812703002_0018  1
2004 Gerbier F, Thywissen JH, Richard S, Hugbart M, Bouyer P, Aspect A. Experimental study of the thermodynamics of an interacting trapped Bose-Einstein condensed gas Physical Review a - Atomic, Molecular, and Optical Physics. 70: 013607-1-013607-10. DOI: 10.1103/Physreva.70.013607  1
2004 Leduc F, Canuel B, Holleville D, Dimarcq N, Clairon A, Fils J, Bouyer P, Bordé C, Landragin A. Interféromètre à atomes froids: Vers un gyromètre-accéléromètre de grande sensibilité Journal De Physique. Iv : Jp. 119: 225-226. DOI: 10.1051/jp4:2004119068  1
2004 Hugbart M, Retter J, Gerbier F, Richard S, Thywissen JH, Varon A, Bouyer P, Aspect A. Longueur de cohérence d'un condensat de Bose Einstein dans un piège très anisotrope Journal De Physique. Iv : Jp. 119: 193-194. DOI: 10.1051/Jp4:2004119053  1
2004 Bouyer P, Thywissen JH, Gerbier F, Hugbart M, Richard S, Retter J, Aspect A. One-dimensional behavior of elongated Bose-Einstein condensates Journal De Physique. Iv : Jp. 116: 219-226. DOI: 10.1051/Jp4:2004116009  1
2004 Behrmann G, Bouyer P, Larsen KG, Pelánek R. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2988: 312-326.  1
2004 Bouyer P, Brinksma E, Larsen KG. Staying alive as cheaply as possible Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2993: 203-218.  1
2004 Bouyer P, Cassez F, Fleury E, Larsen KG. Optimal strategies in priced timed game automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 148-160.  1
2003 Richard S, Gerbier F, Thywissen JH, Hugbart M, Bouyer P, Aspect A. Momentum spectroscopy of 1D phase fluctuations in Bose-Einstein condensates. Physical Review Letters. 91: 010405. PMID 12906524 DOI: 10.1103/Physrevlett.91.010405  1
2003 Bouyer P, Zhou Y, Boron WF. An increase in intracellular calcium concentration that is induced by basolateral CO2 in rabbit renal proximal tubule. American Journal of Physiology. Renal Physiology. 285: F674-87. PMID 12812914 DOI: 10.1152/Ajprenal.00107.2003  1
2003 Gerbier F, Thywissen JH, Richard S, Hugbart M, Bouyer P, Aspect A. Momentum distribution and correlation function of quasicondensates in elongated traps Physical Review a - Atomic, Molecular, and Optical Physics. 67: 516021-516024. DOI: 10.1103/Physreva.67.051602  1
2002 Cooper GJ, Zhou Y, Bouyer P, Grichtchenko II, Boron WF. Transport of volatile solutes through AQP1. The Journal of Physiology. 542: 17-29. PMID 12096045 DOI: 10.1113/Jphysiol.2002.023218  1
2002 Giraud E, Fardoux J, Fourrier N, Hannibal L, Genty B, Bouyer P, Dreyfus B, Verméglio A. Bacteriophytochrome controls photosystem synthesis in anoxygenic bacteria. Nature. 417: 202-5. PMID 12000965 DOI: 10.1038/417202a  0.01
2001 Le Coq Y, Thywissen JH, Rangwala SA, Gerbier F, Richard S, Delannoy G, Bouyer P, Aspect A. Atom laser divergence. Physical Review Letters. 87: 170403. PMID 11690255 DOI: 10.1103/Physrevlett.87.170403  1
2001 Gerbier F, Bouyer P, Aspect A. Quasicontinuous atom laser in the presence of gravity. Physical Review Letters. 86: 4729-32. PMID 11384334 DOI: 10.1103/Physrevlett.86.4729  1
2001 Delannoy G, Murdoch SG, Boyer V, Josse V, Bouyer P, Aspect A. Understanding the production of dual Bose-Einstein condensation with sympathetic cooling Physical Review a. Atomic, Molecular, and Optical Physics. 63: 516021-516024. DOI: 10.1103/Physreva.63.051602  1
2001 Bouyer P, Rangwala SA, Le Coq Y, Delannoy G, Gerbier F, Seidelin S, Richard S, Thywissen J, Aspect A. Experimental study of coupling Bose-Einstein condensates into weakly non-trapping and trapping states Comptes Rendus De L'Academie Des Sciences - Series Iv: Physics, Astrophysics. 2: 657-662. DOI: 10.1016/S1296-2147(01)01191-X  1
2000 Boyer V, Murdoch S, Le Coq Y, Delannoy G, Bouyer P, Aspect A. Multifrequency evaporative cooling to Bose-Einstein condensation in a high magnetic field Physical Review a - Atomic, Molecular, and Optical Physics. 62: 1-4. DOI: 10.1103/Physreva.62.021601  1
1999 Cougnon M, Bouyer P, Jaisser F, Edelman A, Planelles G. Ammonium transport by the colonic H(+)-K(+)-ATPase expressed in Xenopus oocytes. The American Journal of Physiology. 277: C280-7. PMID 10444404  0.01
1999 Desruelle B, Boyer V, Murdoch SG, Delannoy G, Bouyer P, Aspect A, Lécrivain M. Interrupted evaporative cooling of 87Rb atoms trapped in a high magnetic field Physical Review a - Atomic, Molecular, and Optical Physics. 60: R1759-R1762. DOI: 10.1103/Physreva.60.R1759  1
1998 Bouyer P, Paulais M, Cougnon M, Hulin P, Anagnostopoulos T, Planelles G. Extracellular ATP raises cytosolic calcium and activates basolateral chloride conductance in Necturus proximal tubule. The Journal of Physiology. 510: 535-48. PMID 9706002  0.01
1998 Cougnon M, Bouyer P, Planelles G, Jaisser F. Does the colonic H,K-ATPase also act as an Na,K-ATPase? Proceedings of the National Academy of Sciences of the United States of America. 95: 6516-20. PMID 9600998  0.01
1998 Gustavson TL, Bouyer P, Kasevich MA. A dual atomic beam matter-wave gyroscope Proceedings of Spie - the International Society For Optical Engineering. 3270: 62-69. DOI: 10.1117/12.308363  1
1998 Snadden MJ, McGuirk JM, Bouyer P, Haritos KG, Kasevich MA. Measurement of the Earth's Gravity Gradient with an Atom Interferometer-Based Gravity Gradiometer Physical Review Letters. 81: 971-974. DOI: 10.1103/Physrevlett.81.971  1
1997 Bouyer P, Cougnon M, Thomas SR, Hulin P, Anagnostopoulos T, Planelles G. Symmetric pH dependence of buffering power in giant fused cells from frog kidney proximal tubule. The American Journal of Physiology. 272: R1226-34. PMID 9140024  0.01
1997 Gustavson TL, Bouyer P, Kasevich MA. Precision Rotation Measurements with an Atom Interferometer Gyroscope Physical Review Letters. 78: 2046-2049. DOI: 10.1103/Physrevlett.78.2046  1
1996 Bouyer P, Gustavson TL, Haritos KG, Kasevich MA. Microwave signal generation with optical injection locking. Optics Letters. 21: 1502-4. PMID 19881705 DOI: 10.1364/Ol.21.001502  1
1996 Cougnon M, Bouyer P, Hulin P, Anagnostopoulos T, Planelles G. Further investigation of ionic diffusive properties and of NH4+ pathways in Xenopus laevis oocyte cell membrane. PflüGers Archiv : European Journal of Physiology. 431: 658-67. PMID 8596713  0.01
1994 Bouyer P, Lemonde P, Dahan MB, Michaud A, Salomon C, Dalibard J. An Atom Trap Relying on Optical Pumping Epl. 27: 569-574. DOI: 10.1209/0295-5075/27/8/003  1
1994 Aminoff CG, Bouyer P, Cohen-Tannoudji C, Dalibard J, Desbiolles P, Steane A, Szriftgiser P. Atomic cavities European Quantum Electronics Conference - Technical Digest. 281-282.  1
1993 Aminoff CG, Steane AM, Bouyer P, Desbiolles P, Dalibard J, Cohen-Tannoudji C. Cesium atoms bouncing in a stable gravitational cavity. Physical Review Letters. 71: 3083-3086. PMID 10054853 DOI: 10.1103/Physrevlett.71.3083  1
Show low-probability matches.