8 citations
3 papers
cond-mat.mtrl-sci2006★ 8 cited
Nonlinear evolution of surface morphology in InAs/AlAs superlattices via surface diffusion
O. Caha, V. Holý, Kevin E. Bassler
Continuum simulations of self-organized lateral compositional modulation growth in InAs/AlAs short-period superlattices on InP substrate are presented. Results of the simulations c…
cs.LO2005
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonin Kucera, Petr Jancar
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as o…
math-ph2005
Graded Lie algebra of Hermitian tangent valued forms
Josef Janyška, Marco Modugno
In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacet…