h1

h2

h3

h4

h5
h6

001     853946
005     20230301143340.0
024 7 _ |2 ISSN
|a 0890-5401
024 7 _ |2 ISSN
|a 1090-2651
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-85139329656
024 7 _ |2 doi
|a 10.1016/j.ic.2022.104965
024 7 _ |2 WOS
|a WOS:000914897100026
037 _ _ |a RWTH-2022-09180
041 _ _ |a English
082 _ _ |a 004
100 1 _ |a Wang, Qiuye
|b 0
245 _ _ |a Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
|h online
260 _ _ |a Amsterdam
|b Elsevier
|c 2022
336 7 _ |0 0
|2 EndNote
|a Journal Article
336 7 _ |0 PUB:(DE-HGF)16
|2 PUB:(DE-HGF)
|a Journal Article
|b journal
|m journal
336 7 _ |2 BibTeX
|a ARTICLE
336 7 _ |2 DRIVER
|a article
336 7 _ |2 DataCite
|a Output Types/Journal article
336 7 _ |2 ORCID
|a JOURNAL_ARTICLE
500 _ _ |a Available online 22 September 2022
536 _ _ |0 G:(EU-Grant)787914
|a FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)
|c 787914
|f ERC-2017-ADG
|x 0
536 _ _ |0 G:(EU-Grant)101008233
|a MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)
|c 101008233
|f H2020-MSCA-RISE-2020
|x 1
588 _ _ |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de
591 _ _ |a Germany
591 _ _ |a Peoples R China
653 _ 7 |a Barrier certificates
653 _ 7 |a bilinear matrix inequalities
653 _ 7 |a difference-of-convex programming
653 _ 7 |a inductive invariants
653 _ 7 |a semidefinite programming
700 1 _ |0 P:(DE-82)IDM03675
|a Chen, Mingshuai
|b 1
|e Corresponding author
|u rwth
700 1 _ |0 0000-0001-9717-846X
|a Xue, Bai
|b 2
700 1 _ |a Zhan, Naijun
|b 3
|e Corresponding author
700 1 _ |0 P:(DE-82)IDM00048
|a Katoen, Joost-Pieter
|b 4
|u rwth
773 _ _ |0 PERI:(DE-600)1468010-5
|a 10.1016/j.ic.2022.104965
|n A
|p 104965
|t Information and computation
|v 289
|x 0890-5401
|y 2022
856 4 _ |u https://publications.rwth-aachen.de/record/853946/files/853946.pdf
|y Restricted
909 C O |o oai:publications.rwth-aachen.de:853946
|p VDB
|p ec_fundedresources
|p openaire
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM03675
|a RWTH Aachen
|b 1
|k RWTH
910 1 _ |0 I:(DE-588b)36225-6
|6 P:(DE-82)IDM00048
|a RWTH Aachen
|b 4
|k RWTH
914 1 _ |y 2022
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
|x 0
915 _ _ |0 StatID:(DE-HGF)0030
|2 StatID
|a Peer Review
|b ASC
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0100
|2 StatID
|a JCR
|b INFORM COMPUT : 2019
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0113
|2 StatID
|a WoS
|b Science Citation Index Expanded
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0150
|2 StatID
|a DBCoverage
|b Web of Science Core Collection
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0160
|2 StatID
|a DBCoverage
|b Essential Science Indicators
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0199
|2 StatID
|a DBCoverage
|b Clarivate Analytics Master Journal List
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0200
|2 StatID
|a DBCoverage
|b SCOPUS
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0300
|2 StatID
|a DBCoverage
|b Medline
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)0600
|2 StatID
|a DBCoverage
|b Ebsco Academic Search
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)1160
|2 StatID
|a DBCoverage
|b Current Contents - Engineering, Computing and Technology
|d 2021-02-03
915 _ _ |0 StatID:(DE-HGF)9900
|2 StatID
|a IF < 5
|d 2021-02-03
920 1 _ |0 I:(DE-82)121310_20140620
|k 121310
|l Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)
|x 0
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 1
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)121310_20140620
980 _ _ |a UNRESTRICTED
980 _ _ |a VDB
980 _ _ |a journal

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21