h1

000853946 001__ 853946
000853946 005__ 20230301143340.0
000853946 0247_ $$2ISSN$$a0890-5401
000853946 0247_ $$2ISSN$$a1090-2651
000853946 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85139329656
000853946 0247_ $$2doi$$a10.1016/j.ic.2022.104965
000853946 0247_ $$2WOS$$aWOS:000914897100026
000853946 037__ $$aRWTH-2022-09180
000853946 041__ $$aEnglish
000853946 082__ $$a004
000853946 1001_ $$aWang, Qiuye$$b0
000853946 245__ $$aEncoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming$$honline
000853946 260__ $$aAmsterdam$$bElsevier$$c2022
000853946 3367_ $$00$$2EndNote$$aJournal Article
000853946 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
000853946 3367_ $$2BibTeX$$aARTICLE
000853946 3367_ $$2DRIVER$$aarticle
000853946 3367_ $$2DataCite$$aOutput Types/Journal article
000853946 3367_ $$2ORCID$$aJOURNAL_ARTICLE
000853946 500__ $$aAvailable online 22 September 2022
000853946 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000853946 536__ $$0G:(EU-Grant)101008233$$aMISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)$$c101008233$$fH2020-MSCA-RISE-2020$$x1
000853946 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
000853946 591__ $$aGermany
000853946 591__ $$aPeoples R China
000853946 653_7 $$aBarrier certificates
000853946 653_7 $$abilinear matrix inequalities
000853946 653_7 $$adifference-of-convex programming
000853946 653_7 $$ainductive invariants
000853946 653_7 $$asemidefinite programming
000853946 7001_ $$0P:(DE-82)IDM03675$$aChen, Mingshuai$$b1$$eCorresponding author$$urwth
000853946 7001_ $$00000-0001-9717-846X$$aXue, Bai$$b2
000853946 7001_ $$aZhan, Naijun$$b3$$eCorresponding author
000853946 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b4$$urwth
000853946 773__ $$0PERI:(DE-600)1468010-5$$a10.1016/j.ic.2022.104965$$nA$$p104965$$tInformation and computation$$v289$$x0890-5401$$y2022
000853946 8564_ $$uhttps://publications.rwth-aachen.de/record/853946/files/853946.pdf$$yRestricted
000853946 909CO $$ooai:publications.rwth-aachen.de:853946$$popenaire$$pec_fundedresources$$pVDB
000853946 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03675$$aRWTH Aachen$$b1$$kRWTH
000853946 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b4$$kRWTH
000853946 9141_ $$y2022
000853946 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000853946 915__ $$0StatID:(DE-HGF)0030$$2StatID$$aPeer Review$$bASC$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bINFORM COMPUT : 2019$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0113$$2StatID$$aWoS$$bScience Citation Index Expanded$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0160$$2StatID$$aDBCoverage$$bEssential Science Indicators$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)0600$$2StatID$$aDBCoverage$$bEbsco Academic Search$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)1160$$2StatID$$aDBCoverage$$bCurrent Contents - Engineering, Computing and Technology$$d2021-02-03
000853946 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2021-02-03
000853946 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000853946 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000853946 961__ $$c2022-09-27T11:07:23.853731$$x2022-09-27T11:07:23.853731$$z2022-09-29
000853946 980__ $$aI:(DE-82)120000_20140620
000853946 980__ $$aI:(DE-82)121310_20140620
000853946 980__ $$aUNRESTRICTED
000853946 980__ $$aVDB
000853946 980__ $$ajournal