[ACM Press the Fifth International C* Conference - Montreal, Quebec, Canada (2012.06.27-2012.06.29)] Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering - C3S2E '12 - A survey of formal methods in self-adaptive systems
- 作者Weyns, Danny; Iftikhar, M. Usman; de la Iglesia, Didac Gil; Ahmad, Tanvir
- 文件大小662.40KB
- 发表时间2012
- DOI10.1145/2347583.2347592
- 页码67-79
Regularity of Solutions of the Nonlinear Sigma Model with GravitinoJost, Jürgen; Keßler, Enno; Tolksdorf, Jürgen; Wu, Ruijun; Zhu, Miaomiao · Communications in Mathematical Physics · 2018
Grundzüge einer pädagogischen Theorie der BewegungsspieleJürgen Hilmer; Hans-Jürgen Schaller; E. Jost · 1974
Bifurcation of minimal surfaces in Riemannian manifoldsJost, Jürgen; Li-Jost, Xianqing; Peng, Xiao Wei · Transactions of the American Mathematical Society · 1995
Symmetries and conservation laws of a nonlinear sigma model with gravitinoJost, Jürgen; Keßler, Enno; Tolksdorf, Jürgen; Wu, Ruijun; Zhu, Miaomiao · Journal of Geometry and Physics · 2018
IndexJost, Gabrielle; Merdzhanova, Tsvetelina; Zimmermann, Thomas; Hüpkes, Jürgen · Otolaryngologic Clinics of North America · 2002
Universal bounds for eigenvalues of the polyharmonic operatorsJost, Jürgen; Li-Jost, Xianqing; Wang, Qiaoling; Xia, Changyu · Transactions of the American Mathematical Society · 2011
Polynomial growth harmonic functions on finitely generated abelian groupsHua, Bobo; Jost, Jürgen; Li-Jost, Xianqing · Annals of Global Analysis and Geometry · 2013
Entanglement of formation for a class of quantum statesShao-Ming Fei; Jürgen Jost; Xianqing Li-Jost; Guo-Fang Wang · 2003