{ "labelLang" : "hun", "responseDate" : "2024-03-28 16:04", "paging" : { "last" : false, "first" : true, "totalPages" : 29, "totalElements" : 282, "totalUncutElements" : 282, "totalEstimatedElements" : 380, "size" : 10, "number" : 1, "numberOfElements" : 10, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "DESC", "property" : "issue", "ascending" : false } ] }, "content" : [ { "otype" : "JournalArticle", "mtid" : 34645420, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-02-20T14:34:06.041+0000", "lastModified" : "2024-02-20T14:07:36.251+0000", "created" : "2024-02-20T14:07:34.947+0000", "creator" : { "otype" : "Admin", "mtid" : 521, "link" : "/api/admin/521", "label" : "Szuper Admin (admin)", "familyName" : "Szuper", "givenName" : "Admin", "published" : true, "snippet" : true }, "lastDuplumSearch" : "2024-02-20T15:24:04.345+0000", "validated" : "2024-02-20T14:07:35.451+0000", "validator" : { "otype" : "Admin", "mtid" : 521, "link" : "/api/admin/521", "label" : "Szuper Admin (admin)", "familyName" : "Szuper", "givenName" : "Admin", "published" : true, "snippet" : true }, "core" : false, "citation" : true, "publicationPending" : true, "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" : "Antonino, Pedro", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 114948539, "link" : "/api/authorship/114948539", "label" : "Antonino, Pedro ✉", "listPosition" : 1, "share" : 0.2, "first" : true, "last" : false, "corresponding" : true, "familyName" : "Antonino", "givenName" : "Pedro", "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" : 114948540, "link" : "/api/authorship/114948540", "label" : "Ferreira, Juliandson", "listPosition" : 2, "share" : 0.2, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Ferreira", "givenName" : "Juliandson", "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" : 114948541, "link" : "/api/authorship/114948541", "label" : "Sampaio, Augusto", "listPosition" : 3, "share" : 0.2, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Sampaio", "givenName" : "Augusto", "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" : 114948542, "link" : "/api/authorship/114948542", "label" : "Roscoe, A. W.", "listPosition" : 4, "share" : 0.2, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Roscoe", "givenName" : "A. W.", "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" : 114948543, "link" : "/api/authorship/114948543", "label" : "Arruda, Filipe", "listPosition" : 5, "share" : 0.2, "first" : false, "last" : true, "corresponding" : false, "familyName" : "Arruda", "givenName" : "Filipe", "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 refinement-based approach to safe smart contract deployment and evolution", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 25636933, "link" : "/api/publicationidentifier/25636933", "label" : "DOI: 10.1007/s10270-023-01143-z", "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 }, "idValue" : "10.1007/s10270-023-01143-z", "realUrl" : "https://doi.org/10.1007/s10270-023-01143-z", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 25636932, "link" : "/api/publicationidentifier/25636932", "label" : "WoS: 001148362600001", "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" : "001148362600001", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/001148362600001", "published" : false, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10010298, "link" : "/api/journal/10010298", "label" : "SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374", "pIssn" : "1619-1366", "eIssn" : "1619-1374", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 10010298, "snippet" : true }, "firstPageOrInternalIdForSort" : "", "pageLength" : 37, "publishedYear" : 2024, "subjects" : [ { "otype" : "Classification", "mtid" : 10034, "link" : "/api/classification/10034", "label" : "Számítás- és információtudomány", "published" : true, "snippet" : true } ], "keywords" : [ { "otype" : "Keyword", "mtid" : 1319031, "link" : "/api/keyword/1319031", "label" : "formal verification", "published" : true, "oldId" : 1319031, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1623758, "link" : "/api/keyword/1623758", "label" : "smart contracts", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1664744, "link" : "/api/keyword/1664744", "label" : "Ethereum", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1887711, "link" : "/api/keyword/1887711", "label" : "Solidity", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2861792, "link" : "/api/keyword/2861792", "label" : "Safe deployment", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2861793, "link" : "/api/keyword/2861793", "label" : "Safe upgrade", "published" : true, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2024, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-20", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "ratings" : [ { "otype" : "SjrRating", "mtid" : 11485390, "link" : "/api/sjrrating/11485390", "label" : "sjr:Q2 (2024) Scopus - Modeling and Simulation SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374", "listPos" : 87, "rankValue" : 0.49, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 2611, "link" : "/api/classificationexternal/2611", "label" : "Scopus - Modeling and Simulation", "published" : true, "oldId" : 2611, "snippet" : true }, "ranking" : "Q2", "calculation" : "FROM_PREVIOUS_TO_LAST_YEAR", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q2", "hasCitationDuplums" : false, "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 5, "directInstituteCount" : 0, "authorCount" : 5, "contributorCount" : 0, "hasQualityFactor" : true, "link" : "/api/publication/34645420", "label" : "Antonino Pedro et al. A refinement-based approach to safe smart contract deployment and evolution. (2024) SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374", "template" : "