E-LIB Suche - Ergebnisse für: Rozier, Y.

1

A survey of Phlebotomine sand flies across their northern d..:

Risueño, J. ; Bersihand, S. ; Bender, C....
Journal of the European Mosquito Control Association. , 2024

Link: https://doi.org/10.52004..

2

Hyper power impulse magnetron – HyPIM – glow discharge:

Morel, E. ; Rozier, Y. ; Minéa, T.
Europhysics Letters. 138 (2022) 2 - p. 24001 , 2022

Link: https://doi.org/10.1209/..

3

Multi-physics analysis of a 1 MW gyrotron cavity cooled by ..:

Bertinetti, A. ; Avramidis, K.A. ; Albajar, F....
Fusion Engineering and Design. 123 (2017) - p. 313-316 , 2017

Link: https://doi.org/10.1016/..

4

Experimental verification of the European 1 MW, 170 GHz ind..:

Rzesnicki, T. ; Albajar, F. ; Alberti, S....
Fusion Engineering and Design. 123 (2017) - p. 490-494 , 2017

Link: https://doi.org/10.1016/..

5

Nanoscale leakage current measurements in metal organic che..:

Rozier, Y. ; Gautier, B. ; Hyvert, G....
Thin Solid Films. 517 (2009) 6 - p. 1868-1873 , 2009

Link: https://doi.org/10.1016/..

6

Epitaxial growth of LaAlO3 on Si(001) using interface engin..:

Merckling, C. ; Delhaye, G. ; El-Kazzi, M....
Microelectronics Reliability. 47 (2007) 4-5 - p. 540-543 , 2007

Link: https://doi.org/10.1016/..

7

Pyramidal texturing of silicon solar cell with TMAH chemica..:

Papet, P. ; Nichiporuk, O. ; Kaminski, A....
Solar Energy Materials and Solar Cells. 90 (2006) 15 - p. 2319-2328 , 2006

Link: https://doi.org/10.1016/..

8

Characterization of crystalline MOCVD SrTiO3 films on SiO2/..:

Sibai, A. ; Lhostis, S. ; Rozier, Y....
Microelectronics Reliability. 45 (2005) 5-6 - p. 941-944 , 2005

Link: https://doi.org/10.1016/..

9

LaAlO3 films prepared by MBE on LaAlO3(001) and Si(001) sub..:

Gaillard, S. ; Rozier, Y. ; Merckling, C....
Microelectronic Engineering. 80 (2005) - p. 146-149 , 2005

Link: https://doi.org/10.1016/..

10

Impossible Made Possible: Encoding Intractable Specificatio..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Johannsen, Chris ; Kempa, Brian ; Jones, Phillip H... - p. 151-169 , 2023

Link: https://doi.org/10.1007/..

11

Developing an Open-Source, State-of-the-Art Symbolic Model-..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Rozier, Kristin Y. ; Shankar, Natarajan ; Tinelli, Cesare. - p. 1-1 , 2023

Link: https://doi.org/10.34727..

12

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signal..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Hariharan, Gokul ; Kempa, Brian ; Wongpiromsarn, Tichakorn.. - p. 187-204 , 2022

Link: https://doi.org/10.1007/..

13

Satisfiability checking for Mission-time LTL (MLTL):

Li, Jianwen ; Vardi, Moshe Y. ; Rozier, Kristin Y.
Information and Computation. 289 (2022) - p. 104923 , 2022

Link: https://doi.org/10.1016/..

14

Translating SysML Activity Diagrams for nuXmv Verification ..:

, In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC),

Staskal, Orion ; Simac, Josh ; Swayne, Logan. - p. 1637-1642 , 2022

Link: https://doi.org/10.1109/..

15

Integrating runtime verification into an automated UAS traf..:

Hammer, Abigail ; Cauwels, Matthew ; Hertz, Benjamin..
Innovations in Systems and Software Engineering. 18 (2021) 4 - p. 567-580 , 2021

Link: https://doi.org/10.1007/..