works on
anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1

From the 1 of 23 papers with an AI index.

most citedProbing the nature of the state using radiative decays

12 citations

researchers with a paper here
collaborating institutions
Showing cond-mat.mtrl-sciShow all

1 paper · 1 filter

cond-mat.mtrl-sci2026★ 3 cited

Non-monotonic roughness evolution in film growth on weakly interacting substrates

Dmitry Lapkin, Ismael S. S. Carrasco, Catherine Cruz Luukkonen +5

Thin film deposition on weakly interacting substrates exhibits a unique growth mode characterized by initially strong island formation and rapidly increasing roughness, which reach…