×

找到18个文档（结果1-18）

最新的 引文 关联
迈克尔·巴肯克勒；卢卡·博托卢西；维雷娜·沃尔夫

使用控制变量减少随机反应网络中的方差。 （英语） Zbl 1528.68108号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 456-474 (2022).
MSC公司：2007年第68季度 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Backenköhler}等人，Lect。票据计算。科学。13660、456--474（2022年；Zbl 1528.68108）
全文： 内政部 arXiv公司
卢卡·博托卢西；西蒙·西尔维蒂

随机模型线性时间特性的贝叶斯统计参数综合。 （英语） Zbl 1423.68322号

Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。10806, 396-413 (2018).
MSC公司：87年第68季度 第68季度第60季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{S.Silvetti}，莱克特。票据计算。科学。10806396--413（2018；Zbl 1423.68322）
全文： 内政部
卢卡·博托卢西；马克斯·柴科夫斯基

种群模型中代理时空特性的流体分析。 （英语） 兹比尔1390.68087

Wittevrongel，Sabine（编辑）等人，《分析和随机建模技术及应用》。2016年8月24日至26日在英国加的夫举行的2016年ASMTA第23届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-43903-7/pbk；978-3-3169-43904-4/电子书）。计算机科学讲座笔记9845，92-106（2016）。
MSC公司：64岁以下 68平方米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{M.Tschaikowski}，莱克特。票据计算。科学。9845，92-106（2016；Zbl 1390.68087）
全文： 内政部
卢卡·博托卢西；尼古拉斯·加斯特

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，61-82（2016）讲稿。
MSC公司：第68页第42页 34A60型 34F05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。票据计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： 内政部 哈尔
卢卡·博托卢西；罗伯塔·兰西亚尼

定时属性的流体模型检查。 （英语） 兹比尔1465.68171

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9268, 172-188 (2015).
MSC公司：第68季度第60季度 34K50美元 60K20码 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{R.Lanciani}，莱克特。票据计算。科学。9268、172--188（2015年；Zbl 1465.68171）
全文： 内政部 arXiv公司
卢卡·博托卢西；阿尔贝托，Policriti

（混合）自动机和（随机）程序。随机程序的混合自动机格。 （英语） Zbl 1272.68289号

J.日志。计算。 23，第4期，761-798（2013）.
MSC公司：68问题85 第68页第19页 68号30 65年第68季度 87年第68季度 92立方厘米 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，J.Log。计算。23，第4号，761--798（2013；Zbl 1272.68289）
全文： 内政部 链接
卢卡·博托卢西；简·希尔斯顿

通过流体近似检查马尔可夫种群模型中的个体代理行为。 （英语） Zbl 1380.68269号

Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，113-149（2013）。
MSC公司：第68季度第60季度 60J20型 87年第68季度 92D25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{J.Hillston}，莱克特。票据计算。科学。7938、113--149（2013年；Zbl 1380.68269）
全文： 内政部 链接
卢卡·博托卢西；瓦实提·加尔平；简·希尔斯顿

机会主义网络的混合性能建模。 （英语） Zbl 1458.68026号

Wiklicky，Herbert（编辑）等人，《关于编程语言和系统的数量方面的第十次研讨会论文集》，爱沙尼亚塔林，2012年3月31日和4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）85，106-121（2012）。
MSC公司：68米18 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）85、106--121（2012；Zbl 1458.68026）
全文： arXiv公司 链接
卢卡·博托卢西；简·希尔斯顿

流体模型检查。 （英语） Zbl 1364.68259号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，333-347（2012）。
MSC公司：第68季度第60季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{J.Hillston}，莱克特。票据计算。科学。7454，333--347（2012；Zbl 1364.68259）
全文： 内政部 arXiv公司
卢卡·博托卢西；瓦实提·加尔平；简·希尔斯顿

随机事件的HYPE。 （英语） Zbl 1457.68179号

Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57120-133（2011年）。
MSC公司：68问题85 65年第68季度 第68季度第60季度 87年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，120--133（2011；Zbl 1457.68179）
全文： arXiv公司 链接
卢卡·博托卢西；阿尔贝托，Policriti

用于（生物）建模的随机程序和混合自动机。 （英语） Zbl 1268.68059号

Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。计算机科学讲座笔记5635，37-48（2009）。
MSC公司：第68页第19页 65年第68季度 87年第68季度 92立方厘米 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，莱克特。票据计算。科学。5635、37-48（2009年；Zbl 1268.68059）
全文： 内政部
卢卡·博托卢西

用主方程逼近随机并发约束规划。 （英语） Zbl 1286.68344号

Aldini，Alessandro（编辑）等人，第六届编程语言定量方面研讨会论文集（QAPL 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第3期，163-180（2008）。
MSC公司：68问题85 34A99型 68问题55 87年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}，电子。注释Theor。计算。科学。220，编号3，163--180（2008；Zbl 1286.68344）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件