{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T04:59:28Z","timestamp":1790398768037,"version":"4.1.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319088457","type":"print"},{"value":"9783319088464","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08846-4_1","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T11:56:43Z","timestamp":1404475003000},"page":"1-15","source":"Crossref","is-referenced-by-count":10,"title":["FPsolve: A Generic Solver for Fixpoint Equations over Semirings"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Luttenberger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maximilian","family":"Schlund","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Goblint, \n                    \n                      http:\/\/goblint.in.tum.de\/"},{"key":"1_CR2","unstructured":"WALi: The Weighted Automata Library, \n                    \n                      https:\/\/research.cs.wisc.edu\/wpis\/wpds\/"},{"key":"1_CR3","unstructured":"Weighted Pushdown Systems Library, \n                    \n                      http:\/\/www2.informatik.uni-stuttgart.de\/fmi\/szs\/tools\/wpds\/"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Apinis, K., Seidl, H., Vojdani, V.: How to combine widening and narrowing for non-monotonic systems of equations. In: Boehm, H.J., Flanagan, C. (eds.) PLDI, pp. 377\u2013386. ACM (2013)","DOI":"10.1145\/2499370.2462190"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-540-78800-3_39","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Bouajjani","year":"2008","unstructured":"Bouajjani, A., Esparza, J., Schwoon, S., Suwimonteerabuth, D.: SDSIrep: A Reputation System Based on SDSI. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 501\u2013516. Springer, Heidelberg (2008)"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1142\/S0129054103001893","volume":"14","author":"A. Bouajjani","year":"2003","unstructured":"Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. Int. J. Found. Comput. Sci.\u00a014(4), 551 (2003)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-70918-3_26","volume-title":"STACS 2007","author":"J. Esparza","year":"2007","unstructured":"Esparza, J., Kiefer, S., Luttenberger, M.: On Fixed Point Equations over Commutative Semirings. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol.\u00a04393, pp. 296\u2013307. Springer, Heidelberg (2007)"},{"issue":"6","key":"1_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1857914.1857917","volume":"57","author":"J. Esparza","year":"2010","unstructured":"Esparza, J., Kiefer, S., Luttenberger, M.: Newtonian Program Analysis. J. ACM\u00a057(6), 33 (2010)","journal-title":"J. ACM"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-22944-2_2","volume-title":"Algebra and Coalgebra in Computer Science","author":"J. Esparza","year":"2011","unstructured":"Esparza, J., Luttenberger, M.: Solving fixed-point equations by derivation tree analysis. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 19\u201335. Springer, Heidelberg (2011)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"issue":"3-4","key":"1_CR12","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3233\/JCS-2004-123-402","volume":"12","author":"S. Jha","year":"2004","unstructured":"Jha, S., Reps, T.W.: Model checking SPKI\/SDSI. Journal of Computer Security\u00a012(3-4), 317\u2013353 (2004)","journal-title":"Journal of Computer Security"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/3-540-55984-1_13","volume-title":"Compiler Construction","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., Steffen, B.: The interprocedural coincidence theorem. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol.\u00a0641, pp. 125\u2013140. Springer, Heidelberg (1992)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Kuich, W.: Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata. In: Handbook of Formal Languages, ch. 9, vol.\u00a01, pp. 609\u2013677. Springer (1997)","DOI":"10.1007\/978-3-642-59136-5_9"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-642-37064-9_36","volume-title":"Language and Automata Theory and Applications","author":"M. Luttenberger","year":"2013","unstructured":"Luttenberger, M., Schlund, M.: Convergence of Newton\u2019s Method over Commutative Semirings. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2013. LNCS, vol.\u00a07810, pp. 407\u2013418. Springer, Heidelberg (2013)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming\u00a058(1-2), 206\u2013263 (2003); Special Issue on the Static Analysis Symposium 2003","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-642-45221-5_48","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Schlund","year":"2013","unstructured":"Schlund, M., Terepeta, M., Luttenberger, M.: Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol.\u00a08312, pp. 727\u2013734. Springer, Heidelberg (2013)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-60218-6_6","volume-title":"CONCUR \u201995 Concurrency Theory","author":"B. Steffen","year":"1995","unstructured":"Steffen, B., Cla\u00dfen, A., Klein, M., Knoop, J., Margaria, T.: The fixpoint-analysis machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 72\u201387. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08846-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T06:27:20Z","timestamp":1558938440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08846-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088457","9783319088464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08846-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}