×

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

最新的 引文 关联
菲利波·比加雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂安;帕特里克·特伦丁

通过增量线性化优化模非线性算法。 （英语） 兹伯利07497924

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941213-231（2021年）。
MSC公司：68次发射
PDF格式BibTeX公司 XML格式引用
\textit{F.Bigarella}等人，莱克特。注释计算。科学。12941、213--231（2021；Zbl 07497924）
全文： 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂安

通过使用EUF对LRA进行增量缩减，对NRA过渡系统进行不变量检查。 （英语） Zbl 1452.68116号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 58-75 (2017).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。10205，58-75（2017；Zbl 1452.68116）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里

通过部分降阶提升SystemC的惰性抽象。 （英语） Zbl 1316.68072号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605341-356（2011）。
MSC公司：60年第68季度 68-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。6605341--356（2011；Zbl 1316.68072）
全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔

从顺序扩展正则表达式到带有符号标签的NFA。 （英语） Zbl 1297.68116号

Domaratzki，Michael（编辑）等人，自动机的实现和应用。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿648287-94（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。6482，87-94（2011；Zbl 1297.68116）
全文： 内政部
A.西马蒂。;Roveri，M。;V.舒潘。;Tchaltsev，A。

可实现性的诊断信息。 （英语） Zbl 1138.68442号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905，52-67（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。4905、52-67（2008年；Zbl 1138.68442）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件