{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T19:04:33Z","timestamp":1744052673281},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2015,11]]},"abstract":"<jats:p> We introduce FPSOLVE, an implementation of generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means of a scenario. We then succinctly describe some of the algorithms implemented in the tool, and provide some implementation details. <\/jats:p>","DOI":"10.1142\/s0129054115400018","type":"journal-article","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T06:28:46Z","timestamp":1451888926000},"page":"805-825","source":"Crossref","is-referenced-by-count":3,"title":["FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings"],"prefix":"10.1142","volume":"26","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[{"name":"Department of Computer Science, Technische Universit\u00e4t M\u00fcnchen Boltzmannstra\u00dfe 3, 85748 Garching, Germany"}]},{"given":"Michael","family":"Luttenberger","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technische Universit\u00e4t M\u00fcnchen Boltzmannstra\u00dfe 3, 85748 Garching, Germany"}]},{"given":"Maximilian","family":"Schlund","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technische Universit\u00e4t M\u00fcnchen Boltzmannstra\u00dfe 3, 85748 Garching, Germany"}]}],"member":"219","published-online":{"date-parts":[[2016,1,3]]},"reference":[{"key":"p_2","first-page":"410","author":"Axelsson R.","year":"2008","journal-title":"ICALP (2) ("},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054103001893"},{"key":"p_5","first-page":"30","volume":"1059","author":"Boudet A.","year":"1996","journal-title":"LNCS"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1145\/1857914.1857917"},{"key":"p_11","first-page":"145","volume":"2002","author":"Finkel A.","year":"2002","journal-title":"Proceedings of FST TCS"},{"issue":"2","key":"p_12","first-page":"333","volume":"113","author":"Ginsburg S.","year":"1964","journal-title":"Transactions of the American Mathematical Society"},{"key":"p_14","first-page":"1019","author":"Henriksen J.","year":"1995","journal-title":"LNCS"},{"key":"p_15","first-page":"324","volume":"85","author":"Huynh T.-D.","year":"1980","journal-title":"LNCS"},{"issue":"3","key":"p_16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3233\/JCS-2004-123-402","volume":"12","author":"Jha S.","year":"2004","journal-title":"Journal of Computer Security"},{"key":"p_19","first-page":"147","volume":"2005","author":"Leroux J.","year":"2005","journal-title":"Proceedings of LICS"},{"key":"p_20","first-page":"407","volume":"7810","author":"Luttenberger M.","year":"2013","journal-title":"LNCS"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_6"},{"key":"p_27","first-page":"21","author":"Wolper P.","year":"1995","journal-title":"UK"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054115400018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T19:51:08Z","timestamp":1565121068000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054115400018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":14,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2016,1,3]]},"published-print":{"date-parts":[[2015,11]]}},"alternative-id":["10.1142\/S0129054115400018"],"URL":"https:\/\/doi.org\/10.1142\/s0129054115400018","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}