{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:37:16Z","timestamp":1725910636518},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319680330"},{"type":"electronic","value":"9783319680347"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68034-7_6","type":"book-chapter","created":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:32:45Z","timestamp":1505309565000},"page":"98-116","source":"Crossref","is-referenced-by-count":2,"title":["On Weighted Configuration Logics"],"prefix":"10.1007","author":[{"given":"Paulina","family":"Paraponiari","sequence":"first","affiliation":[]},{"given":"George","family":"Rahonis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"6_CR1","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","year":"2009","unstructured":"Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-01492-5"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.ic.2012.10.001","volume":"220\u2013221","author":"M Droste","year":"2012","unstructured":"Droste, M., Meinecke, I.: Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220\u2013221, 44\u201359 (2012). doi:\n10.1016\/j.ic.2012.10.001","journal-title":"Inf. Comput."},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Droste., M., Rahonis, G.: Weighted linear dynamic logic. In: GandALF 2016. EPTCS 226, pp. 149\u2013163 (2016). doi:\n10.4204\/EPTCS.226.11","DOI":"10.4204\/EPTCS.226.11"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P Eugster","year":"2003","unstructured":"Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of Publish\/Subscribe. ACM Comput. Surv. 35(2), 114\u2013131 (2003). doi:\n10.1145\/857076.857078","journal-title":"ACM Comput. Surv."},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Garlan, D.: Software architecture: a travelogue. In: FOSE 2014, pp. 29\u201339, ACM (2014). doi:\n10.1145\/2593882.2593886","DOI":"10.1145\/2593882.2593886"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Hasan, S., O\u2019Riain, S., Curry, E.: Approximate semantic matching of heterogeneous events. In: DEBS 2012, pp. 252\u2013263, ACM (2012). doi:\n10.1145\/2335484.2335512","DOI":"10.1145\/2335484.2335512"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.entcs.2004.02.063","volume":"346","author":"A Lluch-Lafuente","year":"2005","unstructured":"Lluch-Lafuente, A., Montanari, U.: Quantitative \n            $$\\mu $$\n          -calculus and CTL over constraint semirings. Theoret. Comput. Sci. 346, 135\u2013160 (2005). doi:\n10.1016\/j.entcs.2004.02.063","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR8","unstructured":"Mandrali, E.: Weighted Computability with Discounting, PhD Thesis. Aristotle University of Thessaloniki, Thessaloniki (2013)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s00236-013-0193-3","volume":"51","author":"E Mandrali","year":"2014","unstructured":"Mandrali, E., Rahonis, G.: On weighted first-order logics with discounting. Acta Inform. 51, 61\u2013106 (2014). doi:\n10.1007\/s00236-013-0193-3","journal-title":"Acta Inform."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"435","DOI":"10.14232\/actacyb.22.2.2015.13","volume":"22","author":"E Mandrali","year":"2015","unstructured":"Mandrali, E., Rahonis, G.: Weighted first-order logics over semirings. Acta Cybernet. 22, 435\u2013483 (2015). doi:\n10.14232\/actacyb.22.2.2015.13","journal-title":"Acta Cybernet."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jlamp.2016.05.002","volume":"86","author":"A Mavridou","year":"2016","unstructured":"Mavridou, A., Baranov, E., Bliudze, S., Sifakis, J.: Configuration logics: modelling architecture styles. J. Logic Algebraic Methods Program. 86, 2\u201329 (2016). doi:\n10.1016\/j.jlamp.2016.05.002","journal-title":"J. Logic Algebraic Methods Program."},{"key":"6_CR12","unstructured":"Paraponiari, P., Rahonis, G.: On weighted configuration logics. \narxiv:1704.04969v4"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"283","DOI":"10.14232\/actacyb.23.1.2017.16","volume":"23","author":"M Pittou","year":"2017","unstructured":"Pittou, M., Rahonis, G.: Weighted recognizability over infinite alphabets. Acta Cybernet. 23, 283\u2013317 (2017). doi:\n10.14232\/actacyb.23.1.2017.16","journal-title":"Acta Cybernet."},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1561\/1000000034","volume":"6","author":"J Sifakis","year":"2013","unstructured":"Sifakis, J.: Rigorous systems design. Found. Trends Sig. Process 6(4), 293\u2013362 (2013). doi:\n10.1561\/1000000034","journal-title":"Found. Trends Sig. Process"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68034-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,13]],"date-time":"2017-09-13T13:34:18Z","timestamp":1505309658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68034-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319680330","9783319680347"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68034-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}