×

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

最新的 引文 关联
埃蒂安·安德烈;玛丽奥、迪伦;劳蕾·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中的有效凸区域合并。 （英语） Zbl 07643436号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 200-218 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。13465，200-218（2022；Zbl 07643436）
全文： 内政部 arXiv公司
范德波尔（Jaco van de Pol）;劳蕾·佩特鲁奇

参数时间自动机活性合成的完备性（扩展抽象）。 （英语） Zbl 07415130号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 3-10 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}和\textit{L.Petrucci}，莱克特。注释计算。科学。12669，3-10（2021；Zbl 07415130）
全文： 内政部
埃蒂安·安德烈;詹姆·阿里亚斯;劳蕾·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中有效循环检测的迭代有界综合。 （英语） Zbl 1467.68078号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 311-329 (2021).
MSC公司：65年第68季度 68兰特 68周05
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。12651、311--329（2021；Zbl 1467.68078）
全文： 内政部
Wytse Oortwijn公司;玛丽克·赫斯曼;Joosten，Sebastian J.C。;范德波尔（Jaco van de Pol）

自动验证并行嵌套DFS。 （英语） Zbl 1517.68248号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 247-265 (2020).
MSC公司：60年第68季度 68问题85 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{W.Oortwijn}等人，Lect。注释计算。科学。12078，247--265（2020；Zbl 1517.68248）
全文： 内政部
西蒙·威默;弗雷德里克·赫布雷托;范德波尔（Jaco van de Pol）

证明定时Büchi自动机的空性。 （英语） 兹伯利07317090

Bertrand，Nathalie（编辑）等人，定时系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 58-75 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}等人，Lect。注释计算。科学。12288，58-75（2020；Zbl 07317090）
全文： 内政部 arXiv公司 链接
Joost-Pieter卡托恩;范德波尔（Jaco van de Pol）;玛丽·斯托琳加;马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
马克·蒂默;玛丽·斯托琳加;范德波尔（Jaco van de Pol）

概率系统的汇流减少。 （英语） Zbl 1316.68077号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605311-325（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Timmer}等人，Lect。注释计算。科学。6605311--325（2011；Zbl 1316.68077）
全文： 内政部 arXiv公司
范德波尔（Jaco van de Pol）;马克·蒂默

利用控制流重构对线性过程进行状态空间约简。 （英语） Zbl 1262.68133号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，54-68（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}和\textit{M.Timmer}，莱克特。注释计算。科学。5799、54-68（2009年；Zbl 1262.68133）
全文： 内政部 链接
奎杰珀，沃特;范德波尔（Jaco van de Pol）

部分可观测系统的合成控制综合。 （英语） Zbl 1254.93075号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。2009年9月1日至4日，意大利博洛尼亚，第20届国际会议，CONCUR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。《计算机科学讲义》5710、431-447（2009）。
MSC公司：93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{W.Kuijper}和\textit{J.van de Pol}，莱克特。注释计算。科学。5710431-447（2009年；Zbl 1254.93075）
全文： 内政部 链接
范德波尔（Jaco van de Pol）;迈克尔·韦伯

奇偶游戏的多核求解器。 （英语） Zbl 1286.68326号

乔纳·伊瓦纳（编辑）等人，《第七届平行和分布式验证方法国际研讨会论文集》（PDMC 2008），匈牙利布达佩斯，2008年3月29日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》220，第2期，19-34（2008）。
MSC公司：60年第68季度 68宽10 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}和\textit{M.Weber}，电子。注释Theor。计算。科学。220，编号2，19-34（2008；Zbl 1286.68326）
全文： 内政部
斯特凡·布隆;伯特·利瑟;范德波尔（Jaco van de Pol）;迈克尔·韦伯

分布式状态空间生成的数据库方法。 （英语） Zbl 1277.68161号

乔纳·伊瓦纳（编辑）等人，《第六届平行和分布式验证方法国际研讨会论文集》（PDMC 2007），德国柏林，2007年7月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》198，第1期，17-32（2008）。
MSC公司：68问题85 第68页，共15页 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Blom}等人，《电子》。注释Theor。计算。科学。198，编号1，17-32（2008；Zbl 1277.68161）
全文： 内政部
斯特凡·布隆;范德波尔（Jaco van de Pol）

具有递归数据类型的过程代数的符号可达性。 （英语） Zbl 1161.68613号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160，81-95（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Blom｝和\textit｛J.van de Pol｝，Lect。注释计算。科学。5160，81-95（2008年；兹bl 1161.68613）
全文： 内政部 链接
范德波尔（Jaco Van De Pol）

即时：关于战略注释。 （英语） Zbl 1268.68104号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57，41-63（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Van De Pol}，电子。注释Theor。计算。科学。57、41-63（2001年；Zbl 1268.68104）
全文： 内政部
范德波尔（Jaco van de Pol）

两个不同的强规范化证明？ （英语） Zbl 1434.03130号

Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 201-220 (1996).
MSC公司：05年3月 03B40型 03D65年 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}，莱克特。注释计算。科学。1074201--220（1996年；Zbl 1434.03130）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件