×

找到20个文档（结果1–20）

最新的 引文 关联
哈维尔·埃斯帕尔扎

填充协议：超越运行时分析。 （英文） Zbl 07670971号

Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 28-51 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。注释计算。科学。13035，28-51（2021；Zbl 07670971）
全文： 内政部 arXiv公司
迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·奥特马特

无限状态系统的定向可达性。 （英文） Zbl 1474.68202号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 3-23 (2021).
MSC公司：68问题85 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，Lect。注释计算。科学。12652，3--23（2021；Zbl 1474.68202）
全文： 内政部 arXiv公司
Balasubramanian，A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金

在无领导的rendez-vous协议中查找断点很容易。 （英文） Zbl 07410418号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 42-61 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Balasubramanian}等人，Lect。注释计算。科学。12650，42-61（2021；Zbl 07410418）
全文： 内政部 arXiv公司
沃伊切赫，切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基

具有状态的定维向量加法系统的可达性。 （英文） Zbl 07559504号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第48条，第21页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Czerwinn ski}等人，LIPIcs--Leibniz国际程序。通知。171，第48条，第21页（2020；Zbl 07559504）
全文： 内政部 arXiv公司
霍恩，弗洛里安;阿诺德·桑尼尔

决定参数化rendez-vous网络中截止点的存在性。 （英文） Zbl 07559502号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第46条，第16页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Horn}和\textit{A.Sangnier}，LIPIcs——莱布尼茨国际程序。通知。171，第46条，第16页（2020；Zbl 07559502）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪

即时观测Petri网的参数化分析。 （英文） Zbl 07796233号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 365-385 (2019).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，Lect。注释计算。科学。11522365-385（2019年；Zbl 07796233）
全文： 内政部 arXiv公司
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯

广播共识协议的表达能力。 （英文） Zbl 07649939号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第31条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。140，第31条，第16页（2019年；Zbl 07649939）
全文： 内政部 arXiv公司
托比亚斯·普雷恩;罗特，米伦

在中介人群方案中立即观察。 （英文） Zbl 07449997号

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300102-113（2019）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Prehn}和\textit{M.Rotter}，电子。程序。西奥。计算。科学。（EPTCS）300102-113（2019年；Zbl 07449997）
全文： arXiv公司 链接
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;安东·库切拉

人口协议预期终止时间的自动分析。 （英文） Zbl 1487.68033号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第33条，第16页（2018年）。
MSC公司：64岁以下 68个M12 68米18 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。118，第33条，第16页（2018；Zbl 1487.68033）
全文： 内政部 arXiv公司
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯

大群小鸟：按人口协议的最小规模。 （英文） Zbl 1487.68030号

Niedermeier，Rolf（ed.）等人，第35届计算机科学理论方面研讨会，STACS 2018，法国卡昂，2018年2月28日至3月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第16条，第14页（2018年）。
MSC公司：64岁以下 68个M12 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。96，第16条，第14页（2018；Zbl 1487.68030）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎

人口协议参数化验证的进展。 （英文） 兹比尔1489.68035

Weil，Pascal（编辑），《计算机科学——理论与应用》。2017年6月8日至12日，第十二届俄罗斯国际计算机科学研讨会，CSR 2017，俄罗斯喀山。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10304, 7-14 (2017).
MSC公司：68个M12 64岁以下 68米18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。注释计算。科学。10304、7-14（2017；Zbl 1489.68035）
全文： 内政部
罗伯特·布里德;大卫·多蒂;大卫·索洛维奇克

化学反应网络表达的稳健性。 （英文） Zbl 1452.68074号

Rondelez，Yannick（编辑）等人，DNA计算和分子编程。第22届国际会议，DNA 22，德国慕尼黑，2016年9月4日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9818, 52-66 (2016).
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Brijder}等人，Lect。注释计算。科学。9818，52-66（2016；Zbl 1452.68074）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件