{ "labelLang" : "hun", "responseDate" : "2024-03-28 15:26", "content" : { "otype" : "JournalArticle", "mtid" : 31787944, "status" : "VALIDATED", "published" : true, "comment" : "3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP Innovatív Informatikai és Infokommunikációs Megoldásokat Megalapozó Tematikus Kutatási Együttműködések", "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-03-08T16:19:02.106+0000", "lastModified" : "2022-10-12T07:50:09.149+0000", "created" : "2020-12-23T12:48:45.919+0000", "creator" : { "otype" : "Author", "mtid" : 10029390, "link" : "/api/author/10029390", "label" : "Pataki Norbert (Informatika)", "familyName" : "Pataki", "givenName" : "Norbert", "published" : true, "oldId" : 10029390, "snippet" : true }, "lastDuplumOK" : "2021-10-06T13:51:25.314+0000", "lastDuplumSearch" : "2021-10-06T13:51:25.314+0000", "adminApproved" : "2021-03-25T13:44:15.726+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10053084, "link" : "/api/admin/10053084", "label" : "Németh Gabriella (ELTE IK admin 5)", "familyName" : "Németh", "givenName" : "Gabriella", "published" : true, "oldId" : 10053084, "snippet" : true }, "validated" : "2022-10-12T07:50:06.962+0000", "validator" : { "otype" : "Admin", "mtid" : 10067876, "link" : "/api/admin/10067876", "label" : "MTMT API (MTMT API user, admin)", "familyName" : "MTMT", "givenName" : "API", "published" : true, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Fülöp, Endre", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 94868711, "link" : "/api/authorship/94868711", "label" : "Fülöp, Endre [Fülöp, Endre (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10074967, "link" : "/api/author/10074967", "label" : "Fülöp Endre (Informatika)", "familyName" : "Fülöp", "givenName" : "Endre", "published" : true, "snippet" : true }, "familyName" : "Fülöp", "givenName" : "Endre", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 94868712, "link" : "/api/authorship/94868712", "label" : "Pataki, Norbert [Pataki, Norbert (Informatika), szerző] ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10029390, "link" : "/api/author/10029390", "label" : "Pataki Norbert (Informatika)", "familyName" : "Pataki", "givenName" : "Norbert", "published" : true, "oldId" : 10029390, "snippet" : true }, "familyName" : "Pataki", "givenName" : "Norbert", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18249327, "link" : "/api/publicationidentifier/18249327", "label" : "DOI: 10.1515/comp-2020-0120", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaType" : "GOLD", "oaFree" : true, "validState" : "IDENTICAL", "idValue" : "10.1515/comp-2020-0120", "realUrl" : "https://doi.org/10.1515/comp-2020-0120", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 19258235, "link" : "/api/publicationidentifier/19258235", "label" : "WoS: 000608696900001", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "000608696900001", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000608696900001", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18294126, "link" : "/api/publicationidentifier/18294126", "label" : "Scopus: 85098940199", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "idValue" : "85098940199", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85098940199", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18249328, "link" : "/api/publicationidentifier/18249328", "label" : "Egyéb URL: https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "idValue" : "https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml", "realUrl" : "https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 19055215, "link" : "/api/publicationidentifier/19055215", "label" : "Egyéb URL: https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "idValue" : "https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895", "realUrl" : "https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 19055240, "link" : "/api/publicationidentifier/19055240", "label" : "Egyéb URL: https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "idValue" : "https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5", "realUrl" : "https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5", "published" : true, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10069460, "link" : "/api/journal/10069460", "label" : "OPEN COMPUTER SCIENCE 2299-1093", "pIssn" : "2299-1093", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "hungarian" : false, "published" : true, "oldId" : 10069460, "snippet" : true }, "volume" : "11", "issue" : "1", "firstPage" : "107", "lastPage" : "115", "firstPageOrInternalIdForSort" : "107", "pageLength" : 9, "publishedYear" : 2020, "fundings" : [ { "otype" : "Funding", "mtid" : 1994178, "link" : "/api/funding/1994178", "label" : "3in(EFOP-3.6.2-16-2017-00013) Támogató: EFOP", "published" : false, "snippet" : true } ], "digital" : true, "printed" : null, "sourceYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "GOLD", "oaCheckDate" : "2024-03-08", "oaFree" : true, "oaLink" : "https://doi.org/10.1515/comp-2020-0120", "citationCount" : 2, "citationCountUnpublished" : 0, "citationCountWoOther" : 2, "independentCitCountWoOther" : 2, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 2, "doiCitationCount" : 1, "wosCitationCount" : 1, "scopusCitationCount" : 0, "wosScopusCitationCount" : 1, "wosScopusCitationCountWoOther" : 1, "wosScopusIndependentCitationCount" : 1, "wosScopusIndependentCitationCountWoOther" : 1, "independentCitationCount" : 2, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 2, "citingPubCountWoOther" : 2, "independentCitingPubCountWoOther" : 2, "unhandledCitingPubCount" : 0, "citedPubCount" : 6, "citedCount" : 6, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 2 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2023, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null } ] }, "ratings" : [ { "otype" : "SjrRating", "mtid" : 10772566, "link" : "/api/sjrrating/10772566", "label" : "sjr:Q4 (2020) Scopus - Computer Science (miscellaneous) OPEN COMPUTER SCIENCE 2299-1093", "listPos" : 242, "rankValue" : 1.0, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q4", "calculation" : "DIRECT", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q4", "hasCitationDuplums" : false, "inSelectedPubs" : "10029390", "userChangeableUntil" : "2021-02-02T11:43:59.176+0000", "directInstitutesForSort" : "ELTE 3in Kutatócsoport, Martonvásár (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 6, "directInstituteCount" : 3, "authorCount" : 2, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/31787944", "label" : "Fülöp Endre et al. A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. (2020) OPEN COMPUTER SCIENCE 2299-1093 11 1 107-115", "template" : "