{ "labelLang" : "hun", "responseDate" : "2024-03-28 19:57", "paging" : { "last" : true, "first" : true, "totalPages" : 1, "totalElements" : 10, "size" : 10, "number" : 1, "numberOfElements" : 10, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "ASC", "property" : "firstAuthor", "ascending" : true }, { "direction" : "ASC", "property" : "mtid", "ascending" : true } ] }, "content" : [ { "otype" : "JournalArticle", "mtid" : 30382877, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-02-19T20:00:02.158+0000", "lastModified" : "2020-12-23T08:16:13.302+0000", "created" : "2019-01-09T15:29:53.119+0000", "creator" : { "otype" : "Author", "mtid" : 10030431, "link" : "/api/author/10030431", "label" : "Bergmann Gábor (informatika)", "familyName" : "Bergmann", "givenName" : "Gábor", "published" : true, "oldId" : 10030431, "snippet" : true }, "lastDuplumOK" : "2019-12-18T17:35:10.150+0000", "lastDuplumSearch" : "2019-12-18T17:35:10.150+0000", "core" : true, "citation" : false, "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" : 1268360, "link" : "/api/subtype/1268360", "label" : "Konferenciaközlemény (Folyóiratcikk)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper in journal", "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" : 109, "published" : true, "oldId" : 1268360, "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" : "Szabó, Tamás", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 84970625, "link" : "/api/authorship/84970625", "label" : "Szabó, Tamás", "listPosition" : 1, "share" : 0.25, "first" : true, "last" : false, "familyName" : "Szabó", "givenName" : "Tamás", "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" : 84970626, "link" : "/api/authorship/84970626", "label" : "Bergmann, Gábor [Bergmann, Gábor (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)", "listPosition" : 2, "share" : 0.25, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10030431, "link" : "/api/author/10030431", "label" : "Bergmann Gábor (informatika)", "familyName" : "Bergmann", "givenName" : "Gábor", "published" : true, "oldId" : 10030431, "snippet" : true }, "familyName" : "Bergmann", "givenName" : "Gábor", "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" : 84970627, "link" : "/api/authorship/84970627", "label" : "Erdweg, Sebastian", "listPosition" : 3, "share" : 0.25, "first" : false, "last" : false, "familyName" : "Erdweg", "givenName" : "Sebastian", "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" : 84970628, "link" : "/api/authorship/84970628", "label" : "Voelter, Markus", "listPosition" : 4, "share" : 0.25, "first" : false, "last" : true, "familyName" : "Voelter", "givenName" : "Markus", "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" : "Incrementalizing lattice-based program analyses in Datalog", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 15113006, "link" : "/api/publicationidentifier/15113006", "label" : "DOI: 10.1145/3276509", "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.1145/3276509", "realUrl" : "https://doi.org/10.1145/3276509", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22376794, "link" : "/api/publicationidentifier/22376794", "label" : "WoS: 000752206000033", "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" : "000752206000033", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000752206000033", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 15113007, "link" : "/api/publicationidentifier/15113007", "label" : "Teljes dokumentum: http://dl.acm.org/citation.cfm?doid=3288538.3276509", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaType" : "GOLD", "oaFree" : true, "idValue" : "http://dl.acm.org/citation.cfm?doid=3288538.3276509", "realUrl" : "http://dl.acm.org/citation.cfm?doid=3288538.3276509", "published" : false, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10085475, "link" : "/api/journal/10085475", "label" : "PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES 2475-1421", "pIssn" : "2475-1421", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 10085475, "snippet" : true }, "volume" : "2", "issue" : "OOPSLA", "internalId" : "139", "firstPageOrInternalIdForSort" : "139", "pageLength" : 29, "publishedYear" : 2018, "fundings" : [ { "otype" : "Funding", "mtid" : 1972706, "link" : "/api/funding/1972706", "label" : "(BO/00447/17) Támogató: MTA Bolyai pályázat", "published" : false, "snippet" : true } ], "digital" : true, "printed" : true, "collaboration" : "INTERNATIONAL", "sourceYear" : 2019, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "GOLD", "oaCheckDate" : "2024-02-19", "oaFree" : true, "oaLink" : "http://dl.acm.org/citation.cfm?doid=3288538.3276509", "citationCount" : 16, "citationCountUnpublished" : 0, "citationCountWoOther" : 16, "independentCitCountWoOther" : 12, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 13, "doiCitationCount" : 15, "wosCitationCount" : 15, "scopusCitationCount" : 4, "wosScopusCitationCount" : 15, "wosScopusCitationCountWoOther" : 15, "wosScopusIndependentCitationCount" : 11, "wosScopusIndependentCitationCountWoOther" : 11, "independentCitationCount" : 12, "selfCitationCount" : 4, "unhandledCitationCount" : 0, "citingPubCount" : 16, "independentCitingPubCount" : 12, "citingPubCountWoOther" : 16, "independentCitingPubCountWoOther" : 12, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "inSelectedPubs" : "10030431", "userChangeableUntil" : "2019-05-23T12:14:15.594+0000", "publishDate" : "2019-02-22T13:14:15.659+0000", "directInstitutesForSort" : "MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "ownerAuthorCount" : 1, "ownerInstituteCount" : 5, "directInstituteCount" : 2, "authorCount" : 4, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/30382877", "label" : "Szabó Tamás et al. Incrementalizing lattice-based program analyses in Datalog. (2018) PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES 2475-1421 2 OOPSLA", "template" : "