Model-driven synthesis of formally precise, stylized software architectures
- 期刊名称Formal Aspects of Computing
- 作者Bagheri, Hamid; Sullivan, Kevin
- 卷第28卷
- 期第3期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小2672.21KB
- 发表时间2016-5-11
- DOI10.1007/s00165-016-0360-8
- 页码441-467
Rearrangement transformations on general measure spacesSantiago Boza; Javier Soria · 2008
Isometries on L2(X) and monotone functionsBoza, Santiago; Soria, Javier · Mathematische Nachrichten · 2014
Weighted Hardy modular inequalities in variable spaces for decreasing functionsSantiago Boza; Javier Soria · 2008
Averaging operators on decreasing or positive functions: Equivalence and optimal boundsBoza, Santiago; Soria, Javier · Journal of Approximation Theory · 2019
Norm estimates for the Hardy operator in terms of $B_p$ weightsBoza, Santiago; Soria, Javier · Proceedings of the American Mathematical Society · 2017
Weak-type and end-point norm estimates for Hardy operatorsBoza, Santiago; Soria, Javier · Annali di Matematica Pura ed Applicata (1923 -) · 2020
Weak-Type Boundedness of the Fourier Transform on Rearrangement Invariant Function SpacesBoza, Santiago; Soria, Javier · Proceedings of the Edinburgh Mathematical Society · 2018
The Laplacian on Cylindrical DomainsNau, Tobias · Integral Equations and Operator Theory · 2013
Local Spectral Radius PreserversBourhim, Abdellatif; Mashreghi, Javad · Integral Equations and Operator Theory · 2013
Solid Extensions of the CesCurbera, Guillermo P.; Ricker, Werner J. · Integral Equations and Operator Theory · 2014
TheEvgenios T. A. Kakariadis · Integral Equations and Operator Theory · 2013
Noncommutative Symmetric Hardy SpacesBekjan, Turdebek N. · Integral Equations and Operator Theory · 2015
The Cubic Complex Moment ProblemKimsey, David P. · Integral Equations and Operator Theory · 2014
The 3-Isometric Lifting TheoremMcCullough, Scott; Russo, Benjamin · Integral Equations and Operator Theory · 2016
Introducing the Polylogarithmic Hardy SpaceRosenfeld, Joel A. · Integral Equations and Operator Theory · 2015