{ "labelLang" : "eng", "responseDate" : "2024-03-28 11:39", "content" : { "otype" : "Book", "mtid" : 31287117, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-03-25T06:17:29.649+0000", "lastModified" : "2021-08-18T09:36:10.434+0000", "created" : "2020-04-22T09:29:44.890+0000", "creator" : { "otype" : "Author", "mtid" : 10053159, "link" : "/api/author/10053159", "label" : "Ákos Hajdu (formális módszerek)", "familyName" : "Hajdu", "givenName" : "Ákos", "published" : true, "oldId" : 10053159, "snippet" : true }, "lastDuplumOK" : "2021-08-18T09:36:06.694+0000", "lastDuplumSearch" : "2021-08-18T09:36:06.694+0000", "adminApproved" : "2021-08-18T09:36:10.441+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10073918, "link" : "/api/admin/10073918", "label" : "Marcell Kovács (MTMT Közp., admin)", "familyName" : "Kovács", "givenName" : "Marcell", "published" : true, "snippet" : true }, "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Conference proceedings (Book)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Wehrheim, Heike", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 91480373, "link" : "/api/authorship/91480373", "label" : "Wehrheim, Heike [ed.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Wehrheim", "givenName" : "Heike", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 91480374, "link" : "/api/authorship/91480374", "label" : "Cabot, Jordi [ed.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Cabot", "givenName" : "Jordi", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Editor", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "Fundamental Approaches to Software Engineering", "subTitle" : "23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 19140295, "link" : "/api/publicationidentifier/19140295", "label" : "DOI: 10.1007/978-3-030-45234-6", "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.1007/978-3-030-45234-6", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16852171, "link" : "/api/publicationidentifier/16852171", "label" : "ISBN: 9783030452346", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783030452346", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030452346", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16852170, "link" : "/api/publicationidentifier/16852170", "label" : "ISBN: 9783030452339", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783030452339", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030452339", "published" : false, "snippet" : true } ], "volumeNumber" : "12076", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 194780, "link" : "/api/seriesvolume/194780", "label" : "Lecture Notes in Computer Science - Theoretical Computer Science and General Issues 0302-9743 1611-3349, 12076", "publication" : { "otype" : "Book", "mtid" : 31287117, "link" : "/api/publication/31287117", "label" : "Wehrheim Heike. Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. (2020) ISBN:9783030452346; 9783030452339", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Conference proceedings (Book)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Book", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Fundamental Approaches to Software Engineering", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 19140295, "link" : "/api/publicationidentifier/19140295", "label" : "DOI: 10.1007/978-3-030-45234-6", "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.1007/978-3-030-45234-6", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16852171, "link" : "/api/publicationidentifier/16852171", "label" : "ISBN: 9783030452346", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783030452346", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030452346", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16852170, "link" : "/api/publicationidentifier/16852170", "label" : "ISBN: 9783030452339", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783030452339", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030452339", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Switzerland", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Switzerland", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "pageLength" : 565, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "oaLink" : "https://doi.org/10.1007/978-3-030-45234-6", "published" : true, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20021223, "link" : "/api/bookseries/20021223", "label" : "Lecture Notes in Computer Science - Theoretical Computer Science and General Issues 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "editionNumber" : 1, "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Switzerland", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Switzerland", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 565, "publishedYear" : 2020, "conference" : { "otype" : "Conference", "mtid" : 265783, "link" : "/api/conference/265783", "label" : "23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 2020-04-25 [Dublin, Ireland]", "location" : [ { "otype" : "City", "mtid" : 10899, "link" : "/api/city/10899", "label" : "Dublin, Ireland", "partOf" : { "otype" : "Country", "mtid" : 10038, "link" : "/api/country/10038", "label" : "Ireland", "published" : true, "oldId" : 2149092, "snippet" : true }, "published" : true, "oldId" : 1412702, "snippet" : true } ], "published" : true, "snippet" : true }, "digital" : true, "printed" : true, "sourceYear" : 2021, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "GOLD", "oaCheckDate" : "2024-03-25", "oaFree" : true, "oaLink" : "https://doi.org/10.1007/978-3-030-45234-6", "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" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2021-05-26T08:35:11.272+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 6, "ownerInstituteCount" : 5, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 2, "chapterCount" : 6, "chapters" : [ { "otype" : "BookChapter", "mtid" : 31160534, "link" : "/api/publication/31160534", "label" : "Aren Babikian et al. Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. (2020) In: Fundamental Approaches to Software Engineering pp. 441-461", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17006712, "link" : "/api/publicationidentifier/17006712", "label" : "DOI: 10.1007/978-3-030-45234-6_22", "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 }, "validState" : "IDENTICAL", "idValue" : "10.1007/978-3-030-45234-6_22", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6_22", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21208322, "link" : "/api/publicationidentifier/21208322", "label" : "WoS: 000720075400022", "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" : "000720075400022", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000720075400022", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21208321, "link" : "/api/publicationidentifier/21208321", "label" : "Scopus: 85084252654", "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 }, "validState" : "IDENTICAL", "idValue" : "85084252654", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084252654", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 21, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 31287116, "link" : "/api/publication/31287116", "label" : "Jiao Jiao et al. A Generalized Formal Semantic Framework for Smart Contracts. (2020) In: Fundamental Approaches to Software Engineering pp. 75-96", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "A Generalized Formal Semantic Framework for Smart Contracts", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 16852172, "link" : "/api/publicationidentifier/16852172", "label" : "DOI: 10.1007/978-3-030-45234-6_4", "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/978-3-030-45234-6_4", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6_4", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22386414, "link" : "/api/publicationidentifier/22386414", "label" : "WoS: 000720075400004", "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" : "000720075400004", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000720075400004", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16852173, "link" : "/api/publicationidentifier/16852173", "label" : "Egyéb URL: http://link.springer.com/10.1007/978-3-030-45234-6_4", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other 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" : "http://link.springer.com/10.1007/978-3-030-45234-6_4", "realUrl" : "http://link.springer.com/10.1007/978-3-030-45234-6_4", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 22, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 32070078, "link" : "/api/publication/32070078", "label" : "Mahe Erwan et al. Revisiting Semantics of Interactions for Trace Validity Analysis. (2020) In: Fundamental Approaches to Software Engineering pp. 482-501", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Revisiting Semantics of Interactions for Trace Validity Analysis", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18928869, "link" : "/api/publicationidentifier/18928869", "label" : "DOI: 10.1007/978-3-030-45234-6_24", "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 }, "validState" : "IDENTICAL", "idValue" : "10.1007/978-3-030-45234-6_24", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6_24", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21431490, "link" : "/api/publicationidentifier/21431490", "label" : "WoS: 000720075400024", "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" : "000720075400024", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000720075400024", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18928871, "link" : "/api/publicationidentifier/18928871", "label" : "Scopus: 85084254000", "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 }, "validState" : "IDENTICAL", "idValue" : "85084254000", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084254000", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18928870, "link" : "/api/publicationidentifier/18928870", "label" : "Egyéb URL: http://link.springer.com/10.1007/978-3-030-45234-6_24", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other 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" : "http://link.springer.com/10.1007/978-3-030-45234-6_24", "realUrl" : "http://link.springer.com/10.1007/978-3-030-45234-6_24", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 20, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 33345339, "link" : "/api/publication/33345339", "label" : "Nassar Nebras et al. Generating Large EMF Models Efficiently A Rule-Based, Configurable Approach. (2020) In: Fundamental Approaches to Software Engineering pp. 224-244", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Generating Large EMF Models Efficiently A Rule-Based, Configurable Approach", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 22327961, "link" : "/api/publicationidentifier/22327961", "label" : "DOI: 10.1007/978-3-030-45234-6_11", "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 }, "validState" : "IDENTICAL", "idValue" : "10.1007/978-3-030-45234-6_11", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6_11", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22327960, "link" : "/api/publicationidentifier/22327960", "label" : "WoS: 000720075400011", "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" : "000720075400011", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000720075400011", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22327962, "link" : "/api/publicationidentifier/22327962", "label" : "Scopus: 85084264280", "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" : "85084264280", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084264280", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 21, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 31354616, "link" : "/api/publication/31354616", "label" : "Nebras Nassar et al. Generating Large EMF Models Efficiently. (2020) In: Fundamental Approaches to Software Engineering pp. 224-244", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Generating Large EMF Models Efficiently", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 21, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 33308509, "link" : "/api/publication/33308509", "label" : "Zheng Guolong et al. Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. (2020) In: Fundamental Approaches to Software Engineering pp. 29-52", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Conference paper (Chapter in Book)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Chapter in Book", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 22236223, "link" : "/api/publicationidentifier/22236223", "label" : "DOI: 10.1007/978-3-030-45234-6_2", "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/978-3-030-45234-6_2", "realUrl" : "https://doi.org/10.1007/978-3-030-45234-6_2", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22236222, "link" : "/api/publicationidentifier/22236222", "label" : "WoS: 000720075400002", "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" : "000720075400002", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000720075400002", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22236224, "link" : "/api/publicationidentifier/22236224", "label" : "Scopus: 85084254335", "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" : "85084254335", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85084254335", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18304118, "link" : "/api/publicationidentifier/18304118", "label" : "Egyéb URL: https://link.springer.com/chapter/10.1007/978-3-030-45234-6_2", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Other 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://link.springer.com/chapter/10.1007/978-3-030-45234-6_2", "realUrl" : "https://link.springer.com/chapter/10.1007/978-3-030-45234-6_2", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 24, "publishedYear" : 2020, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/31287117", "label" : "Wehrheim Heike. Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. (2020) ISBN:9783030452346; 9783030452339", "template" : "