2 citations · 2 across the 1 of their papers we have counts for
3 papers
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Martin Bromberger, Irina Dragoste, Rasha Faqeh +6
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clau…
Revisiting the phase diagram of LaFeCoAsO on single crystals by thermodynamic methods
Francesco Scaravaggi, Sven Sauerland, Liran Wang +13
In this work we revisit the phase diagram of Co-doped LaFeAsO using single crystals and thermodynamic methods. From magnetic susceptibility studies we track the doping evolution of…
Measurement of Surface Acoustic Wave Resonances in Ferroelectric Domains by Microwave Microscopy
Scott R. Johnston, Yongliang Yang, Yong-Tao Cui +7
Surface Acoustic Wave (SAW) resonances were imaged within a closed domain in the ferroelectric LiTaO via scanning Microwave Impedance Microscopy (MIM). The MIM probe is used fo…