×

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

最新的 引文 相关性
Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

用逻辑验证切换系统的稳定性。 （英语） Zbl 07807710号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022；Zbl 07807710）
全文： DOI程序 arXiv公司
詹姆斯·加里奇奥;Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

KeYmaera X的隐式定义和微分方程（系统描述）。 （英语） Zbl 07628218号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 723-733 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Gallicchio}等人，Lect。注释计算。科学。13385223-733（2022年；兹bl 07628218）
全文： DOI程序 arXiv公司
马蒂亚斯·沙拉格;凯瑟琳·科德威尔;斯特凡·米奇;安德烈·普拉泽

验证了实数算法的二次虚拟替代。 （英语） Zbl 1521.68246号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 200-217 (2021).
MSC公司：68V20型 03B35型 03C10号机组 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{M.Scharager}等人，Lect。注释计算。科学。13047200-217（2021；Zbl 1521.68246）
全文： DOI程序 arXiv公司
Tan，Yong Kiam先生;安德烈·普拉泽

常微分方程的演绎稳定性证明。 （英语） Zbl 1474.68195号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).
MSC公司：60年第68季度 03B70号 34D99型 68V20型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}和\textit{A.Platzer}，莱克特。注释计算。科学。12652、181--199（2021年；Zbl 1474.68195）
全文： DOI程序 arXiv公司
波勒，罗斯;安德烈·普拉泽

建设性混合游戏。 （英语） Zbl 07614528号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。注释计算。科学。12166、454--473（2020；Zbl 07614528）
全文： DOI程序 arXiv公司
波勒，罗斯;安德烈·普拉泽

建构性游戏逻辑。 （英语） Zbl 1508.03065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 84-111 (2020).
MSC公司：03B70号 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。注释计算。科学。12075，84-111（2020；Zbl 1508.03065）
全文： DOI程序 arXiv公司
安德烈·普拉泽

一举统一换人。 （英语） Zbl 07178990号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 425-441 (2019).
MSC公司：68伏15 03B35型 03B70号 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。11716、425--441（2019；Zbl 07178990）
全文： DOI程序 arXiv公司
布兰登·伯勒;曼纽尔·费尔南德斯;安德烈·普拉泽

\（\mathsf{dL}_{\iota}\）：微分动态逻辑中的明确描述。 （英语） Zbl 07178971号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1171694-110（2019年）。
MSC公司：03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Bohrer}等人，Lect。注释计算。科学。11716、94-110（2019；Zbl 07178971）
全文： DOI程序
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽

混合系统的验证。 （英语） Zbl 1392.68246号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246）
全文： DOI程序
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽

Bellerophon：混合系统的战术定理证明。 （英语） Zbl 1483.68191号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 207-224 (2017).
MSC公司：60年第68季度 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Fulton}等人，Lect。注释计算。科学。10499，207--224（2017；Zbl 1483.68191）
全文： DOI程序
内森·富尔顿;斯特凡·米奇;贾·戴维德·奎塞尔;马库斯·沃尔普;安德烈·普拉泽

KeYmaera X：混合系统的公理化战术定理证明器。 （英语） Zbl 1465.68281号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).
MSC公司：68伏15 03B70号 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Fulton}等人，Lect。注释计算。科学。9195527--538（2015；Zbl 1465.68281）
全文： DOI程序 链接
安德烈·普拉泽;贾·戴维德·奎塞尔;菲利普·吕默

真实验证。 （英语） Zbl 1250.68197号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，485-501（2009）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}等人，Lect。注释计算。科学。5663、485--501（2009年；Zbl 1250.68197）
全文： DOI程序
安德烈·普拉泽;贾·戴维德·奎塞尔

KeYmaera：混合系统的混合定理证明器。（系统描述）。 （英语） Zbl 1165.68469号

阿曼多、亚历山德罗（编辑）等，《自动推理》。第四次国际联席会议，2008年国际癌症联合会，澳大利亚悉尼，2008年8月12-15日会议记录。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，171-178（2008）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Platzer｝和\textit｛J.-D.Quesel｝，Lect。注释计算。科学。5195、171--178（2008年；Zbl 1165.68469）
全文： DOI程序
安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。

计算混合系统的微分不变量作为固定点。 （英语） Zbl 1155.68445号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123176-189（2008）。
MSC公司：60年第68季度 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}和\textit{E.M.Clarke}，莱克特。注释计算。科学。5123176--189（2008年；Zbl 1155.68445）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件