×

找到54份文件（结果1-54）

最新的 引文 关联
唐晓晨；沈伟；张苗苗；安、杰；詹伯华；詹乃军

通过变异测试学习确定性单时钟时间自动机。 （英语） Zbl 1522.68286号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 233-248 (2022).
MSC公司：65年第68季度 68问题32 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Tang}等人，Lect。注释计算。科学。13505233-248（2022年；Zbl 1522.68286）
全文： 内政部
白、云君；甘婷；焦、李；夏碧灿；薛、白；詹乃军

扰动下时滞混合系统的切换控制器综合。 （英语） Zbl 07807676号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.Bai}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021；Zbl 07807676）
全文： 内政部 arXiv公司
王秋叶；陈明帅；薛、白；詹乃军；Joost-Pieter卡托恩

通过差分-凸规划合成不变屏障证书。 （英语） Zbl 1493.68222号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 443-466 (2021).
MSC公司：60年第68季度 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{Q.Wang}等人，Lect。注释计算。科学。12759443-466（2021年；Zbl 1493.68222）
全文： 内政部 arXiv公司
冯胜华；陈明帅；薛、白；桑卡拉纳拉亚南，斯里拉姆；詹乃军

随机微分动力学的无限时间安全验证。 （英语） Zbl 1478.68155号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 327-348 (2020).
MSC公司：60年第68季度 60 H10型
PDF格式BibTeX公司 XML格式引用
\textit{S.Feng}等人，Lect。注释计算。科学。12225，327--348（2020；Zbl 1478.68155）
全文： 内政部 arXiv公司
甘婷；夏碧灿；薛、白；詹乃军；戴丽云

非线性Craig插值生成。 （英语） Zbl 1478.68159号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12224, 415-438 (2020).
MSC公司：60年第68季度 03B70号 03C40号 68号30 90立方厘米22
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。12224，415--438（2020；Zbl 1478.68159）
全文： 内政部 arXiv公司
刘俊毅；詹伯华；王淑玲；应胜刚；刘涛；李杨佳；Ying，明生；詹乃军

使用量子霍尔逻辑对量子算法进行形式验证。 （英语） Zbl 07805824号

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11562, 187-207 (2019).
MSC公司：60年第68季度 2012年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}等人，Lect。注释计算。科学。11562187-207（2019；Zbl 07805824）
全文： 内政部
冯胜华；陈明帅；詹乃军；马丁·范策尔；薛、白

控制动力系统中的延迟。时滞微分方程的无界验证。 （英语） Zbl 07805559号

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 650-669 (2019).
MSC公司：60年第68季度 34K20码 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Feng}等人，Lect。注释计算。科学。11561650-669（2019年；Zbl 07805559）
全文： 内政部
陈明帅；王健；安、杰；詹伯华；迪帕克·卡普尔；詹乃军

NIL：学习非线性插值。 （英语） Zbl 07178976号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 178-196 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Chen}等人，Lect。注释计算。科学。11716、178-196（2019；Zbl 07178976）
全文： 内政部 arXiv公司
詹浩兰；林倩倩；王淑玲；Jean-Pierre塔宾；徐、熊；詹乃军

使用AADL和Simulink/Stateflow对网络物理系统进行统一图形联合建模。 （英语） Zbl 07168636号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11885, 109-129 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhan}等人，Lect。注释计算。科学。11885、109-129（2019；Zbl 07168636）
全文： 内政部 哈尔
薛、白；王秋叶；詹乃军；马丁·范策尔

状态约束摄动多项式系统的鲁棒不变集生成。 （英语） Zbl 07120148号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。128-137 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Xue}等人，in：《第22届ACM混合系统国际会议论文集：计算与控制》，2019年HSCC，加拿大魁北克省蒙特利尔，2019月16-18日。纽约州纽约市：计算机协会（ACM）。128-137（2019年；Zbl 07120148）
全文： 内政部
薛、白；詹乃军；李杨佳；王秋叶

数值软件的稳健非终止分析。 （英语） Zbl 1511.68095号

冯新余（主编）等，《可靠软件工程》。理论、工具和应用。第四届国际研讨会，2018年SETTA，中国北京，2018年9月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10998, 69-88 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Xue}等人，Lect。注释计算。科学。10998，69-88（2018年；兹比尔1511.68095）
全文： 内政部 arXiv公司
冯一军；Joost-Pieter卡托恩；李浩坤；夏碧灿；詹乃军

通过多锁定时自动机监测CTMC。 （英语） Zbl 1511.68152号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 507-526 (2018).
MSC公司：60年第68季度 60J27型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Feng}等人，Lect。注释计算。科学。10981507--526（2018年；Zbl 1511.68152）
全文： 内政部
安、杰；詹乃军；李晓山；张苗苗；易、王

模型检查有界连续时间扩展线性持续时间不变量。 （英语） Zbl 1409.68165号

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。81-90 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.An}等人，in：《第21届ACM混合系统国际会议论文集：计算与控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。81-90（2018年；Zbl 1409.68165）
全文： 内政部
严、高高；焦、李；王淑玲；詹乃军

从延迟混合CSP合成SystemC代码。 （英语） Zbl 1503.68186号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 21-41 (2017).
MSC公司：60年第68季度 68号30 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Yan}等人，Lect。注释计算。科学。10695，21-41（2017年；兹bl 1503.68186）
全文： 内政部 arXiv公司
Dimitar P.Guelev。；王淑玲；詹乃军

持续时间演算中关于混合CSP的复合Hoare-style推理。 （英语） Zbl 1498.68158号

Larsen，Kim G.（编辑）等，可靠软件工程。理论、工具和应用。第三届国际研讨会，2017年10月23日至25日，中国长沙，SETTA 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10606, 110-127 (2017).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.P.Guelev}等人，Lect。注释计算。科学。10606110-127（2017年；兹bl 1498.68158）
全文： 内政部 arXiv公司
冯一军；张丽君；大卫·詹森（David N.Jansen）。；詹乃军；夏碧灿

寻找概率程序的多项式循环不变量。 （英语） Zbl 1495.68042号

D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10482, 400-416 (2017).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Feng}等人，Lect。注释计算。科学。10482400-416（2017年；Zbl 1495.68042）
全文： 内政部 arXiv公司
詹乃军；王淑玲；赵恒军

Simulink/Stateflow图的正式验证。演绎法。 （英语） Zbl 1412.68006号

查姆：施普林格（ISBN 978-3-319-47014-6/hbk；978-3-316-47016-0/电子书）。第十五章，258页。(2017).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-02 68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Simulink/Stateflow图的形式验证。演绎法。查姆：斯普林格（2017；Zbl 1412.68006）
全文： 内政部
陈明帅；安德斯·雷文（Anders P.Ravn）。；王淑玲；杨梦飞；詹乃军

嵌入式系统正式和非正式设计之间的双向路径。 （英语） Zbl 1483.68074号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 65-92 (2017).
MSC公司：68号30 60年第68季度 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Chen}等人，Lect。注释计算。科学。10134，65-92（2017；Zbl 1483.68074）
全文： 内政部 链接
陈明帅；马丁·范策尔；李杨佳；彼得·莫萨德（Peter N.Mosaad）。；詹乃军

验证了基于仿真的延迟微分动力学验证。 （英语） Zbl 1427.68163号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 137-154 (2016).
MSC公司：60年第68季度 34K05号 37立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Chen}等人，Lect。注释计算。科学。9995，137--154（2016；Zbl 1427.68163）
全文： 内政部
甘婷；戴丽云；夏碧灿；詹乃军；迪帕克·卡普尔；陈明帅

二次多项式不等式的插值综合及与EUF的结合。 （英语） Zbl 1475.03072号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 195-212 (2016).
MSC公司：03B35型 03C40号 60年第68季度 90立方厘米22
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。9706195--212（2016；Zbl 1475.03072）
全文： 内政部 arXiv公司
邹亮；马丁·范策尔；詹乃军；纳齐尔·莫萨德，彼得

时滞微分方程稳定性和安全性的自动验证。 （英语） Zbl 1381.68188号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。《计算机科学讲义》920738-355（2015）。
MSC公司：60年第68季度 34K20码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Zou}等人，Lect。注释计算。科学。9207338--355（2015；Zbl 1381.68188）
全文： 内政部
彭，于；王淑玲；詹乃军；张丽君

用概率和随机性扩展混合CSP。 （英语） Zbl 1369.68264号

李宣东（编辑）等，《可靠软件工程：理论、工具和应用》。2015年11月4日至6日，中国南京，SETTA，首届国际研讨会。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-25941-3/pbk；978-3-319-25942-0/ebook）。计算机科学课堂讲稿9409，87-102（2015）。
MSC公司：68问题85 60年第68季度 87年第68季度 93立方 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Peng}等人，Lect。注释计算。科学。9409，87-102（2015；Zbl 1369.68264）
全文： 内政部 arXiv公司
甘婷；陈明帅；戴丽云；夏碧灿；詹乃军

线性向量场族可达性的判定。 （英语） Zbl 1476.68147号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364482-499（2015年）。
MSC公司：60年第68季度 03B25号 68瓦30 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。9364、482--499（2015年；Zbl 1476.68147）
全文： 内政部
邹亮；詹乃军；王淑玲；马丁·范策尔

Simulink/Stateflow图的正式验证。 （英语） Zbl 1471.68159号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 464-481 (2015).
MSC公司：60年第68季度 68伏15 93-10 93立方 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Zou}等人，Lect。注释计算。科学。9364、464--481（2015年；Zbl 1471.68159）
全文： 内政部
祖、权；张苗苗；朱佳奇；詹乃军

离散时间演算的有界模型检验。 （英语） Zbl 1362.68191号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。213-222 (2013).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zu}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。213--222（2013；Zbl 1362.68191）
全文： 内政部
詹乃军；王淑玲；赵恒军

混合系统的正式建模、分析和验证。 （英语） Zbl 1444.68105号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
MSC公司：60年第68季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105）
全文： 内政部
高，杨；恩斯特·莫里茨·哈恩；詹乃军；张丽君

CCMC：连续时间马尔可夫链的条件CSL模型检查器。 （英语） Zbl 1410.68227号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 464-468 (2013).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Gao}等人，Lect。注释计算。科学。8172464--468（2013；Zbl 1410.68227）
全文： 内政部
戴丽云；夏碧灿；詹乃军

用半定规划生成非线性插值。 （英语） Zbl 1503.68181号

Sharygina，Natasha（编辑）等人，《计算机辅助验证》。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8044, 364-380 (2013).
MSC公司：60年第68季度 03B70号 03C40号 14第05页 68号30 90立方厘米22
PDF格式BibTeX公司 XML格式引用
\textit{L.Dai}等人，Lect。注释计算。科学。8044、364--380（2013年；Zbl 1503.68181）
全文： 内政部 arXiv公司
董汝珍；詹乃军；赵亮

软件组件的接口模型。 （英语） Zbl 1405.68078号

Liu，Zhiming（ed.）等人，《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39717-2/pbk）。计算机科学课堂讲稿8049159-176（2013）。
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Dong}等人，Lect。注释计算。科学。8049，159--176（2013；Zbl 1405.68078）
全文： 内政部
王淑玲；詹乃军；迪米塔尔·盖列夫

一种基于假设/保证的混合CSP合成演算。 （英语） Zbl 1354.68204号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2012年5月16日至21日在中国北京举行的2012年TAMC第九届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29951-3/pbk）。计算机科学讲义7287，72-83（2012）。
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Wang}等人，Lect。注释计算。科学。7287、72--83（2012年；Zbl 1354.68204）
全文： 内政部
詹乃军；康恩扬（Kang，Eun Young）；刘志明

成分出版物和成分。 （英语） Zbl 1286.68098号

Andrew Butterfield（编辑），统一编程理论。第二届国际研讨会，2008年UTP，爱尔兰都柏林，2008年9月8-10日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-14520-9/pbk）。《计算机科学讲义》5713、238-257（2010）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。5713、238--257（2010年；Zbl 1286.68098）
全文： 内政部
张苗苗；刘志明；詹乃军

模型检验自动机网络的线性持续不变量。 （英语） Zbl 1274.68207号

Arbab，Farhad（编辑）等人，《软件工程基础》，第三届IPM国际会议，FSEN 2009，伊朗基什岛，2009年4月15日至17日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11622-3/pbk）。计算机科学课堂讲稿5961244-259（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhang}等人，Lect。注释计算。科学。5961、244--259（2010年；Zbl 1274.68207）
全文： 内政部
陈应华；夏碧灿；杨璐；詹乃军

使用DISCOVER和QEPCAD生成多项式不变量。 （英语） Zbl 1151.68366号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，67-82（2007）。
MSC公司：68号30 60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chen}等人，Lect。注释计算。科学。4700、67--82（2007年；Zbl 1151.68366）
全文： 内政部
陈应华；夏碧灿；杨璐；詹乃军；周朝晨

通过求解半代数系统发现非线性排序函数。 （英语） Zbl 1147.68442号

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，34-49（2007）。
MSC公司：68号30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chen}等人，Lect。注释计算。科学。4711，34-49（2007年；兹bl 1147.68442）
全文： 内政部
陈欣；何继峰；刘志明；詹乃军

基于组件的编程模型。 （英语） Zbl 1141.68363号

Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。计算机科学课堂讲稿4767191-206（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。注释计算。科学。4767、191--206（2007年；Zbl 1141.68363）
全文： 内政部
詹乃军

顺序过程的组成特性。 （英语） Zbl 1272.68280号

Etalle，S.（ed.）等人，《软件验证与确认国际研讨会论文集》（SVV 2003），印度孟买，2003年12月9日至13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记118111-128（2005）。
MSC公司：60年第68季度 68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}，电子。注释Theor。计算。科学。118111-128（2005年；Zbl 1272.68280）
全文： 链接
詹乃军；吴金钊

具有chop的不动点逻辑的组成。 （英语） 兹比尔1169.68522

Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722136-150（2005）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}和\textit{J.Wu}，Lect。注释计算。科学。3722136-150（2005年；Zbl 1169.68522）
全文： 内政部
詹乃军；米拉·卡德巴姆少校

从合取和析取导出非决定论。 （英语） Zbl 1169.68521号

Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿3731，351-365（2005）。
MSC公司：60年第68季度 第68季度10 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}和\textit{M.Majster-Cederbaum}，Lect。注释计算。科学。3731、351--365（2005年；Zbl 1169.68521）
全文： 内政部
詹乃军

将分层规范与分层实现相结合。 （英语） Zbl 1215.68137号

Saraswat，Vijay A.（编辑），《计算科学进展——2003年亚洲》。编程语言和分布式计算。第八届亚洲计算科学会议，印度孟买，2003年12月10-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20632-9/pbk）。莱克特。注释计算。科学。2896, 110-124 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}，莱克特。注释计算。科学。2896、110-124（2003年；Zbl 1215.68137）
全文： 内政部
米拉·卡德巴姆少校；詹乃军；哈拉尔德·费彻

从逻辑角度进行操作优化。 （英语） Zbl 1022.68078号

Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 253-267 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Majster-Cederbaum}等人，Lect。注释计算。科学。2575253-267（2003年；兹比尔1022.68078）
全文： 链接
詹乃军

高阶持续时间微积分的完备性。 （英语） Zbl 0973.68038号

Peter G.Clote（编辑）等人，《计算机科学逻辑》。第14届国际研讨会，CSL 2000。2000年8月21日至26日在德国菲施巴乔举行的欧洲原子能委员会年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1862, 442-456 (2000).
MSC公司：68号30 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}，莱克特。注释计算。科学。1862、442--456（2000年；Zbl 0973.68038）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件