Semisynthetic fluorescent sensor proteins based on self-labeling protein tags MA Brun, KT Tan, E Nakata, MJ Hinner, K Johnsson Journal of the American Chemical Society 131 (16), 5873-5884, 2009 | 145 | 2009 |
L'Objet B Thomas, J DELATOUR, F TERRIER, M BRUN, S GÉRARD | 116 | 1989 |
A semisynthetic fluorescent sensor protein for glutamate MA Brun, KT Tan, R Griss, A Kielkowska, L Reymond, K Johnsson Journal of the American Chemical Society 134 (18), 7676-7678, 2012 | 109 | 2012 |
Semisynthesis of fluorescent metabolite sensors on cell surfaces MA Brun, R Griss, L Reymond, KT Tan, J Piguet, RJRW Peters, H Vogel, ... Journal of the American Chemical Society 133 (40), 16235-16242, 2011 | 82 | 2011 |
Miniaturization of Microwave‐Assisted Carbohydrate Functionalization to Create Oligosaccharide Microarrays MA Brun, MD Disney, PH Seeberger ChemBioChem 7 (3), 421-424, 2006 | 65 | 2006 |
Verus: Verifying rust programs using linear ghost types A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ... Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023 | 57 | 2023 |
Code generation from aadl to a real-time operating system: An experimentation feedback on the use of model transformation M Brun, J Delatour, Y Trinquet 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 39 | 2008 |
Unified LTL verification and embedded execution of UML models V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 33 | 2018 |
High rejection bandpass optical filters based on sub-wavelength metal patch arrays J Le Perchec, RE de Lamaestre, M Brun, N Rochat, O Gravrand, ... Optics express 19 (17), 15720-15731, 2011 | 33 | 2011 |
Designing, animating, and verifying partial UML Models F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 22 | 2020 |
Visualizing biochemical activities in living cells through chemistry L Reymond, R Griss, A Schena, B Mollwitz, K Bojkowska, A Masharina, ... Chimia 65 (11), 868-868, 2011 | 18 | 2011 |
Unified verification and monitoring of executable UML specifications: a transformation-free approach V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy Software and Systems Modeling 20 (6), 1825-1855, 2021 | 16 | 2021 |
Verifying and monitoring UML models with observer automata: A transformation-free approach V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 14 | 2019 |
Towards One Model Interpreter for Both Design and Deployment. V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov MoDELS (Satellite Events), 102-108, 2017 | 14 | 2017 |
Low loss SiGe waveguides in the MID-IR C Grillet, P Ma, B Luther-Davies, D Hudson, C Monat, S Madden, DJ Moss, ... The European Conference on Lasers and Electro-Optics, CK_2_6, 2013 | 14 | 2013 |
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM F Thomas, J Delatour, F Terrier, M Brun, S Gérard Revue des Sciences et Technologies de l'Information-Série L'Objet: logiciel …, 2007 | 13 | 2007 |
Embedded UML model execution to bridge the gap between design and runtime V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 10 | 2018 |
Application of micro solid immersion lens as probe for near-field scanning microscopy AC Assafrao, N Kumar, AJH Wachters, SF Pereira, HP Urbach, M Brun, ... Applied Physics Letters 104 (10), 2014 | 10 | 2014 |
Contribution à la considération explicite des plates-formes d'exécution logicielles lors d'un processus de déploiement d'application M Brun Nantes, 2010 | 10 | 2010 |
Contribution à l'étude des arachnoïdites opto-chiasmatiques, par P. Puech, M. David et M. Brun. Discussion sur l'étiologie et la pathogénie, par Monier-Vinard P Puech, P Puech, M David, M Brun, Monier-Vinard G. Doin, 1933 | 10 | 1933 |