导出
  • 排序
  • 显示
2. Refining autonomous agents with declarative beliefs and desires SCOPUS SCIE EI

作者:Li, Q;Smith, G

通讯作者:Li, Qin(qli@sei.ecnu.edu.cn)

通讯作者地址:Li, Q (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Li, Qin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Smith, Graeme] Univ Queensland, Sch Informat Techn 更多

来源:FORMAL ASPECTS OF COMPUTING,2017,29,2,227-249

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.041

资源类型:外文期刊论文

3. Model checking dynamic pushdown networks SCOPUS SCIE EI

作者:Song, F; Touili, T

通讯作者:Song, Fu

通讯作者地址:Song, F (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Song, Fu] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.; [Touili, Tayssir] CNRS, LIAFA, Paris, France.; 更多

来源:FORMAL ASPECTS OF COMPUTING,2015,27,2,397-421

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.041

Scopus被引:4

资源类型:外文期刊论文

8. Symbolic decision procedure for termination of linear programs SCOPUS SCIE CPCI-S EI

作者:Xia, BC; Yang, L; Zhan, NJ; Zhang, ZH

通讯作者:Xia, B.(xbc@math.pku.edu.cn)

通讯作者地址:Xia, BC (reprint author), Peking Univ, LMAM, Sch Math Sci, Beijing 100871, Peoples R China.

作者机构:[Xia, Bican; Zhang, Zhihai] Peking Univ, LMAM, Sch Math Sci, Beijing 100871, Peoples R China.; [Yang, Lu] E China Normal Univ, Shanghai Key Lab Trus 更多

来源:FORMAL ASPECTS OF COMPUTING,2011,23,2,171-190

收录类别:SCOPUS;SCIE;CPCI-S;EI

当年影响因子:1.041

WOS被引:10

Scopus被引:19

资源类型:外文期刊论文;外文会议论文

9. A process algebraic framework for specification and validation of real-time systems SCOPUS SCIE EI

作者:Sherif, A;Cavalcanti, A;He, JF;Sampaio, A

通讯作者:Cavalcanti, A.(Ana.Cavalcanti@cs.york.uk)

通讯作者地址:Cavalcanti, A (reprint author), Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England.

作者机构:[Cavalcanti, Ana] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England.; [Sherif, Adnan; Sampaio, Augusto] Univ Fed Pernambuco, Ctr Informa 更多

来源:FORMAL ASPECTS OF COMPUTING,2010,22,2,153-191

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.041

WOS被引:19

Scopus被引:34

资源类型:外文期刊论文

10. Mutation testing in UTP SCIE EI SCOPUS

作者:Aichernig, BK;He, JF

通讯作者:Aichernig, B. K.(aichernig@ist.tugraz.at)

通讯作者地址:Aichernig, BK (reprint author), Graz Univ Technol, Inst Software Technol, A-8010 Graz, Austria.

作者机构:[Aichernig, Bernhard K.] Graz Univ Technol, Inst Software Technol, A-8010 Graz, Austria.; [Aichernig, Bernhard K.] United Nations Univ, Int Inst Sof 更多

来源:FORMAL ASPECTS OF COMPUTING,2009,21,1-2,33-64

收录类别:SCIE;EI;SCOPUS

当年影响因子:1.041

WOS被引:10

Scopus被引:18

资源类型:外文期刊论文

12. Towards a time model for CircusThe effects of a trust mechanism on a dynamic supply chain networkModel checking dynamic pushdown networksEfficient CTL model-checking for pushdown systemsModel-checking software library API usage rulesScalable Influence Maximization for Multiple Products in Continuous-Time Diffusion NetworksTowards an algebraic theory of typed mobile processesTowards an algebraic theory of typed mobile processesEnsuring termination by typabilityPushdown model checking for malware detection SCIE

作者:Sherif, A; He, JF;Hou, YZ; Xiong, Y; Wang, XL; Liang, X;Song, F; Touili, T;Song, F; Touili, T;Song, F; Touili, T;Du, N; Liang, YY; Balcan, MF; Gomez-Rodriguez, M; Zha, HY; Song, L;Deng, YX; Sangiorgi, D;Deng, YX; Sangiorgi, D;Deng, YX; Sangiorgi, D;Song, F; Touili, T

通讯作者地址:Xiong, Y (reprint author), Univ E Anglia, Norwich Business Sch, Norwich NR4 7TJ, Norfolk, England.;Song, F (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.;Song, F (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;Song, F (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.;Du, N (reprint author), Google Res, 1600 Amphitheatre Pkwy, Mountain View, CA 94043 USA.;Deng, YX (reprint author), INRIA, Paris, France.;Deng, YX (reprint author), Univ New S Wales, Kensington, NSW 2033, Australia.;Song, F (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Hou, Yunzhang] Fudan Univ, Sch Management, Shanghai 200433, Peoples R China.; [Xiong, Yu] Chongqing Univ, Sch Econ & Business Adm, Chongqing 400044 更多

来源:FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS;EXPERT SYSTEMS WITH APPLICATIONS;FORMAL ASPECTS OF COMPUTING;THEORETICAL COMPUTER SCIENCE;SOFTWARE AND SYSTEMS MODELING;JOURNAL OF MACHINE LEARNING RESEARCH;THEORETICAL COMPUTER SCIENCE;AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS;INFORMATION AND COMPUTATION;INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,2002;2014;2015;2014;2016;2017;2006;2004;2006;2014,2495;41;27;549;15;18;350;3142;204;16,6;2;4;2-3;7;2,613;3060;397;127;961;188;445;1045;147-624;3068;421;145;985;212;456;1082;173

收录类别:SCIE

当年影响因子:3.928

WOS被引:20;8;0;2;0;0;3;4;22;1

资源类型:外文期刊论文

TOP