戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 度量时态逻辑的几乎与事件状态无关的监控。 （英语） Zbl 1452.68278号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：施普林格。莱克特。注释计算。科学。10206, 94-112 (2017).MSC公司：68周27 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，Lect。注释计算。科学。10206，94-112（2017；Zbl 1452.68278） 全文： 内政部
王梦迪;Bertsekas，Dimitri P。 变分不等式的增量约束投影方法。 （英语） Zbl 1315.65058号 数学。程序。 150，编号2（A），321-363（2015）. 审核人：扬·洛维舍克（布拉迪斯拉发） MSC公司：65K15码 90立方厘米 62L20型 68周27 49J40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}和\textit{D.P.Bertsekas}，数学。程序。150，编号2（A），321--363（2015；Zbl 1315.65058） 全文： 内政部 链接
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 贪婪地计算滑动窗口上的关联聚合。 （英语） Zbl 1302.68335号 信息处理。莱特。 115，第2期，186-192（2015）.MSC公司：68瓦32 68周27 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，《Inf.过程》。莱特。115，第2号，186--192（2015；Zbl 1302.68335） 全文： 内政部
詹姆斯·金;谢尔盖·雅科夫列夫;傅志松;罗伯特·M·柯比。;斯宾塞·J·舍温。 利用流结构上的批处理解决二维椭圆有限元问题：混合间断Galerkin（HDG）案例研究。 （英语） Zbl 1304.65250号 科学杂志。计算。 60，第2期，457-482（2014）.MSC公司：65N30型 35J05型 2005年5月 65日元10 PDF格式BibTeX公司 XML格式引用 \textit｛J.King｝等人，《科学杂志》。计算。60，编号2457-482（2014年；兹bl 1304.65250） 全文： 内政部
穆罕默德·博拉诺阿 具有一般边界条件的流算子的一些谱性质。 （英语） Zbl 1199.47178号 申请。数学。，普拉哈 53，编号1，1-12（2008）.MSC公司：47D06型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，应用程序。数学。，普拉哈53，第1号，第1-12号（2008年；Zbl 1199.47178） 全文： 内政部 欧洲DML 链接
穆罕默德·博拉诺阿 具有乘法边界条件的流半群的新方法。 （英语） Zbl 1181.47045号 电子。J.差异。埃克。 2008年，第155号论文，第11页（2008）. 审核人：Hector O.Fattorini（洛杉矶） MSC公司：47D06型 34G10型 34公里30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，电子。J.差异。埃克。2008年，第155号论文，第11页（2008；Zbl 1181.47045） 全文： 欧洲DML EMIS公司
穆罕默德·博拉诺阿 具有耗散边界条件的流半群的新方法。 （英语） Zbl 1153.47029号 电子。J.差异。埃克。 2007年，第167号论文，第13页（2007年）. 审核人：博格丹·萨苏（蒂米什奥拉） MSC公司：47D06型 47D07型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，电子。J.差异。埃克。2007年，第167号论文，第13页（2007；Zbl 1153.47029） 全文： 欧洲DML EMIS公司
M.利西。;托塔罗，S。 在三维情况下的自由流运营商的频谱上。 （英语） Zbl 1183.82067号 运输。理论统计物理。 36，编号4-6，351-379（2007）.MSC公司：82C70码 47A10号 35P05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lisi}和\textit{S.Totaro}，运输。理论统计物理。36，编号4--6，351--379（2007；Zbl 1183.82067） 全文： 内政部
M.博拉诺阿。 流运算符：存在\（C_0\）半群。二、。（L'opérateur d'平流：存在d'un\（C_0\）-半群。二、 ） （法语） Zbl 1068.47049号 运输。理论统计物理。 32，第2期，185-197（2003）. 审核人：赫里斯托·博亚德日耶夫（Ada） MSC公司：47D06型 82C70码 47号55 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，交通部。理论统计物理。32，第2号，185--197（2003；Zbl 1068.47049） 全文： 内政部
穆罕默德·博拉诺阿 流媒体运营商。一： （C_0）-半群的存在性。（L'opérateur d'adevection.I:存在d'un\（C_0\）-半群。） （法语） Zbl 1025.47024号 运输。理论统计物理。 31，第2期，169-176（2002）. 审核人：赫里斯托·博亚德日耶夫（Ada） MSC公司：47D06型 82C70码 47号55 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，交通部。理论统计物理。31，第2号，169--176（2002；Zbl 1025.47024） 全文： 内政部
M.博拉诺阿。 具有一般Maxwell边界条件的流式算子的研究。 （英语） 兹比尔1041.47020 J.戴恩。控制系统。 7，第3期，299-326（2001）. 审核人：雷纳尔·内格尔（图宾根） MSC公司：47D06型 47B60码 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{M.Boulanouar}，J.Dyn。控制系统。7，第3号，299-326（2001年；兹bl 1041.47020） 全文： 内政部
哈立德·拉特拉赫 板几何中具有抽象边界条件的迁移算子的谱。 （英语） Zbl 0993.45001号 数学杂志。分析。申请。 252，第1期，第1-17页（2000年）. 审核人：H.Tanabe（丰田章男） MSC公司：45C05型 45K05型 45第05页 47F05型 70楼35 PDF格式BibTeX公司 XML格式引用 \textit{K.Latrach}，J.数学。分析。申请。252，编号1，1-17（2000；Zbl 0993.45001） 全文： 内政部 链接
张贤文 多组流运算符的频谱。 （中文。英文摘要） Zbl 0958.47023号 数学学报。申请。罪。 22，第4期，481-489（1999）.MSC公司：4720万 47号55 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}，《数学学报》。申请。罪。22，第4号，481--489（1999；Zbl 0958.47023）
张贤文 具有漫反射边界条件的流算子的光谱特性。 （英语） Zbl 0944.47028号 数学杂志。分析。申请。 238，第1期，20-43（1999）. 审核人：M.Kučera（普拉哈） MSC公司：47F05型 47G10型 47A10号 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}，J.数学。分析。申请。238，第1号，20-43（1999年；兹bl 0944.47028） 全文： 内政部
王文龙;袁蓉 关于具有广义周期边界条件的板几何中线性输运算子的谱。 （英语） 兹比尔1026.82028 运输。理论统计物理。 28，第2期，181-189（1999）.MSC公司：82C70码 47号55 76P05号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}和\textit{R.Yuan}，交通。理论统计物理。28，第2号，181--189（1999；Zbl 1026.82028） 全文： 内政部
张贤文;梁本忠 具有麦克斯韦型积分边界条件的单速输运算子的谱。 （英语） Zbl 0998.47026号 运输。理论统计物理。 26，编号1-2，85-102（1997）.MSC公司：47D06型 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}和\textit{B.Liang}，Transp。理论统计物理。26，编号1--2，85-102（1997；Zbl 0998.47026） 全文： 内政部
西尔维娅·托塔罗 板坯几何中自由流动算子和边界条件的关系研究。 （英语） Zbl 0882.47020号 数学。方法应用。科学。 20，第8期，717-736（1997）. 审核人：Kh.N.Boyadzhiev（阿达） MSC公司：47D06型 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{S.托塔罗}，数学。方法应用。科学。20，第8号，717--736（1997；Zbl 0882.47020） 全文： 内政部
乔瓦尼·博尔吉奥利;西尔维娅·托塔罗 流算子的半群生成性质与边界条件有关。 （英语） Zbl 0874.47016号 运输。理论统计物理。 25，No.3-5，491-502（1996）.MSC公司：47D06型 47B65个 PDF格式BibTeX公司 XML格式引用 \textit{G.Borgioli}和\textit{S.Totaro}，运输。理论统计物理。25，编号3--5，491--502（1996；Zbl 0874.47016） 全文： 内政部
阿尔多·贝列尼·莫兰特;西尔维娅·托塔罗 三维粒子输运中的逐次反射法。 （英语） Zbl 0892.47065号 数学杂志。物理学。 37，第6期，2815-2823（1996）.MSC公司：47N20号 82C70码 47D06型 PDF格式BibTeX公司 XML格式引用 \textit{A.Belleni-Morante}和\textit{S.Totaro}，J.数学。物理学。37，第6号，2815--2823（1996；Zbl 0892.47065） 全文： 内政部
西尔维娅·托塔罗;贝里尼·莫兰特，阿尔多 自由流算子：扩散乘边界条件的数学模型。 （英语） Zbl 0844.47021号 数学。方法应用。科学。 18，第14号，1165-1180（1995）.MSC公司：47D06型 45K05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Totaro}和\textit{A.Bellin-Morate}，数学。方法应用。科学。18，第14号，1165--1180（1995；Zbl 0844.47021） 全文： 内政部
Belleni Morante，A。;布索尼，G。 关于定义密集的流媒体运营商的一些评论。 （英语） Zbl 0824.47057号 数学。计算。建模 21，第8期，第13-19页（1995年）.MSC公司：47N60型 92D25型 47D06型 47A05型 47A55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Belleni-Morante}和\textit{G.Busoni}，数学。计算。模型21，编号8，13--19（1995；Zbl 0824.47057） 全文： 内政部
西尔维娅·托塔罗 具有一般边界条件的自由流算子：谱和半群生成性质。 （英语） 兹比尔0826.47029 高级数学。科学。申请。 5，第1期，39-56（1995）.MSC公司：47D06型 第78页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Totaro}，高级数学。科学。申请。5，编号1，39-56（1995；Zbl 0826.47029）
乔瓦尼·博尔吉奥利;西尔维娅·托塔罗 具有乘法边界条件的流运算符的半群属性。 （英语） Zbl 0818.47037号 运输。理论统计物理。 23，第7期，1035-1049（1994）.MSC公司：47D06型 PDF格式BibTeX公司 XML格式引用 \textit{G.Borgioli}和\textit{S.Totaro}，运输。理论统计物理。23，第7号，1035--1049（1994；Zbl 0818.47037） 全文： 内政部
西尔维娅·托塔罗 非对称Sobolev空间中具有Maxwell型边界条件的自由流算子。 （英语） Zbl 0802.47050号 数学。模型方法应用。科学。 3，第3号，359-372（1993）.MSC公司：47F05型 46E35型 PDF格式BibTeX公司 XML格式引用 \textit{S.托塔罗}，数学。模型方法应用。科学。3，第3号，359--372（1993；Zbl 0802.47050） 全文： 内政部
哈立德·拉特拉赫 板几何中具有抽象边界条件的线性传输算子的紧性性质。 （英语） 兹比尔0774.45006 运输。理论统计物理。 22，第1号，39-64（1993）. 审核人：I.马雷克（普拉哈） MSC公司：45K05型 45第05页 82C70码 4720万 PDF格式BibTeX公司 XML格式引用 \textit{K.Latrach}，运输。理论统计物理。22，编号1，39-64（1993年；Zbl 0774.45006） 全文： 内政部
阿尔多·贝列尼·莫兰特 具有软化边界条件的颗粒运移数学模型。 （英语） Zbl 0753.76150号 数学。计算。建模 16，第3期，131-137（1992）.MSC公司：76P05号机组 82B40码 PDF格式BibTeX公司 XML格式引用 \textit{A.Belleni-Morante}，数学。计算。模型16，No.3，131--137（1992；Zbl 0753.76150） 全文： 内政部
G.劳罗。;阿尔多·贝列尼·莫兰特 关于边界条件软化的流算子的一些谱性质。 （英语） Zbl 0744.76100号 半群理论与发展方程，Proc。第二次国际确认，Delft/Neth。1989年，Lect。Notes纯应用。数学。135, 311-324 (1991). 审核人：N.Vulchanov（加布里奥沃） MSC公司：76P05号机组 72年第35季度 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{G.Lauro}和\textit{A.Belleni-Morante}，莱克特。Notes纯应用。数学。135、311--324（1991年；Zbl 0744.76100）
陈军;杨明珠 具有镜面反射边界条件的线性传输方程。 （英语） Zbl 0752.45009号 运输。理论统计物理。 20，第4期，281-306（1991）. 审核人：B.蒙塔尼尼（比萨） MSC公司：45K05型 45C05型 82天75 82C70码 85A25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}和\textit{M.Yang}，交通。理论统计物理。20，第4号，281--306（1991；Zbl 0752.45009） 全文： 内政部
穆斯塔法·莫赫塔尔·卡鲁比 \输运理论中的（W^｛1，p｝\）正则性。 （英语） Zbl 0752.45015号 数学。模型方法应用。科学。 第1期，第4期，477-499（1991年）. 审核人：B.蒙塔尼尼（比萨） MSC公司：45K05型 45C05型 82天75 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{M.Mokhtar-Kharroubi}，数学。模型方法应用。科学。1，第4号，477--499（1991；Zbl 0752.45015） 全文： 内政部
Belleni Morante，A。 非对称Sobolev空间中的自由流算子。 （英语） Zbl 0752.45007号 数学。模型方法应用。科学。 第1期，第4期，421-436页（1991年）. 审核人：B.蒙塔尼尼（比萨） MSC公司：45K05型 47D03型 82C40型 82天75 82C70码 PDF格式BibTeX公司 XML格式引用 \textit{A.Belleni-Morante}，数学。模型方法应用。科学。1，第4号，421--436（1991；Zbl 0752.45007） 全文： 内政部
阿洛蒂，L。 有界凸体中流算子的边界条件。 （英语） Zbl 0617.45010号 运输。理论统计物理。 15, 959-972 (1986). 审核人：H.恩格尔 MSC公司：45K05型 99年第35季度 82C70码 PDF格式BibTeX公司 XML格式引用 \文本｛L.Arlotti｝，Transp。理论统计物理。1599-972（1986年；兹bl 0617.45010） 全文： 内政部
乔治·布索尼;乔瓦尼·弗罗萨利 流运算符和半群。 （英语） Zbl 0433.34048号 梅卡尼卡 14, 119-128 (1979).MSC公司：3420国集团 70B05型 47E05型 34甲12 PDF格式BibTeX公司 XML格式引用 \textit{G.Busoni}和\textit{G.Frosali}，麦加尼卡14，119--128（1979；Zbl 0433.34048） 全文： 内政部