×

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

最新的 引文 关联
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）
全文： DOI程序 arXiv公司
米哈伊尔·拉斯金;查纳·韦尔·肯尼迪;哈维尔·埃斯帕尔扎

即时观察Petri网的平坦性和复杂性。 （英语） Zbl 07559501号

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

即时观测Petri网的参数化分析。 （英语） 兹伯利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）
全文： DOI程序 arXiv公司
哈维尔·埃斯帕尔扎

自由选择工作流Petri网定量分析的进展（特邀演讲）。 （英语） Zbl 1515.68203号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第2条，第6页（2017年）。
MSC公司：68问题85 68瓦40 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，LIPIcs——莱布尼茨国际程序。通知。90，第2条，第6页（2017；Zbl 1515.68203）
全文： DOI程序
德塞尔，约格;哈维尔·埃斯帕尔扎

谈判和Petri网。 （英语） Zbl 1366.68203号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。计算机科学课程讲稿9930。《期刊副刊》，203-225（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Desel}和\textit{J.Esparza}，莱克特。票据计算。科学。9930203-225（2016年；Zbl 1366.68203）
全文： DOI程序
哈维尔·埃斯帕尔扎;甘蒂，皮埃尔;杰罗姆·勒鲁;鲁帕克·马朱姆达尔

人口协议的验证。 （英语） Zbl 1374.68326号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，470-482（2015）。
MSC公司：68问题85 68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，LIPIcs——莱布尼茨国际程序。通知。42、470--482（2015年；Zbl 1374.68326）
全文： DOI程序
哈维尔·埃斯帕尔扎;罗伊格·杰泽奎尔;斯特凡·施温

使用网络展开计算摘要。 （英语） Zbl 1359.68220号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，225-236（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，LIPIcs——莱布尼茨国际程序。通知。24、225——236（2013；Zbl 1359.68220）
全文： DOI程序 arXiv公司
哈维尔·埃斯帕尔扎（编辑）;查尔斯·拉科斯（编辑）

2002年Petri网的应用和理论。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。 （英语） Zbl 0992.00053号

计算机科学课堂讲稿. 2360. 柏林：斯普林格。x、 第445页（2002年）。
MSC公司：00B25型 68-06 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}（编辑）和\textit{C.Lakos}（主编），Petri网的应用和理论，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（2002；Zbl 0992.00053）
哈维尔·埃斯帕尔扎;斯特凡·Römer

过渡系统同步乘积的展开算法。 （英语） Zbl 0946.68097号

Baeten，Jos C.M.（编辑）等人，CONCUR’99。并发理论。第十届国际会议，荷兰埃因霍温，1999年8月24日至27日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1664, 2-20 (1999).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{S.Römer}，莱克特。票据计算。科学。1664年2月20日（1999年；Zbl 0946.68097）
哈维尔·埃斯帕尔扎;伯恩哈德·冯·斯坦格尔

非同步委员会会议问题。 （英语） Zbl 1528.68251号

van Leeuwen，Jan（编辑），工作组'93。计算机科学中的图论概念，第19届国际研讨会，荷兰乌得勒支，1993年6月16日至18日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。790, 276-287 (1994).
MSC公司：68问题85 06A07年 65年第68季度 68卢比 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{B.von Stengel}，莱克特。票据计算。科学。790、276--287（1994年；Zbl 1528.68251）
全文： DOI程序
最好的，艾克;雷蒙德·魔鬼队;哈维尔·埃斯帕尔扎

Petri Box演算的一般精化和递归运算符。 （英语） Zbl 0791.68122号

Patrice Enjalbert等人，STACS 93。第十届计算机科学理论方面年度研讨会，1993年2月25日至27日，德国瓦茨堡。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。665, 130-140 (1993).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}等人，Lect。票据计算。科学。665130--140（1993；Zbl 0791.68122）
最佳，E。;J·埃斯帕尔扎。

持久Petri网的模型检查。 （英语） 兹伯利0819.68083

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。626, 35-52 (1992).
审核人：N.Curteanu（伊阿什）
MSC公司：68问题85 05年3月 68问题55 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{J.Esparza}，莱克特。票据计算。科学。626、35-52（1992年；Zbl 0819.68083）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件