{"title":"Towards Using Exact Real Arithmetic for Initial Value Problems","authors":"F. Brauße, M. Korovina, N. Müller","doi":"10.1007/978-3-319-41579-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_6","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131661247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Julián Alarte, David Insa, Josep Silva, S. Tamarit
{"title":"Site-Level Web Template Extraction Based on DOM Analysis","authors":"Julián Alarte, David Insa, Josep Silva, S. Tamarit","doi":"10.1007/978-3-319-41579-6_4","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_4","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"220 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124359391","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Verification Support for a State-Transition-DSL Defined with Xtext","authors":"T. Baar","doi":"10.1007/978-3-319-41579-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_5","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123651452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Estimating Development Effort for Software Architectural Tactics","authors":"M. Kassab, Giuseppe Destefanis","doi":"10.1007/978-3-319-41579-6_13","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_13","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127366069","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ekaterina Verbitskaia, S. Grigorev, Dmitry Avdyukhin
{"title":"Relaxed Parsing of Regular Approximations of String-Embedded Languages","authors":"Ekaterina Verbitskaia, S. Grigorev, Dmitry Avdyukhin","doi":"10.1007/978-3-319-41579-6_22","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_22","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125037299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. Koznov, D. Luciv, H. Basit, Ouh Eng Lieh, M. Smirnov
{"title":"Clone Detection in Reuse of Software Technical Documentation","authors":"D. Koznov, D. Luciv, H. Basit, Ouh Eng Lieh, M. Smirnov","doi":"10.1007/978-3-319-41579-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_14","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129857051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
I. Virbitskaite, Victor Borovlyov, L. Popova-Zeugmann
{"title":"Branching Processes of Timed Petri Nets","authors":"I. Virbitskaite, Victor Borovlyov, L. Popova-Zeugmann","doi":"10.1007/978-3-319-41579-6_23","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_23","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126469633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Equivalence of Finite-Valued Symbolic Finite Transducers","authors":"Margus Veanes, N. Bjørner","doi":"10.1007/978-3-319-41579-6_21","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_21","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123068812","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population","authors":"N. Garanina, E. Sidorova, S. Anokhin","doi":"10.1007/978-3-319-41579-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-41579-6_10","url":null,"abstract":"","PeriodicalId":367126,"journal":{"name":"Ershov Memorial Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116082299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：