{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:21:25Z","timestamp":1776316885800,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005083","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["Timed pushdown automata and branching vector addition systems"],"prefix":"10.1109","author":[{"given":"Lorenzo","family":"Clemente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slawomir","family":"Lasota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranko","family":"Lazic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Mazowiecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"comon","year":"2007","journal-title":"Tree Automata Techniques and Applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.12.004"},{"key":"ref12","article-title":"Polynomial-space completeness of reachability for succinct branching vass in dimension one","author":"figueira","year":"2017","journal-title":"preparation"},{"key":"ref13","article-title":"A polynomial-time algorithm for reachability in branching VASS in dimension one","author":"g\u00f6ller","year":"2016","journal-title":"Proc ICALP'16 volume 55 of LIPIcs"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-008-9139-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.51"},{"key":"ref16","first-page":"14:1","article-title":"Homomorphism problems for first-order definable structures","author":"klin","year":"2016","journal-title":"Proc FSTTCS’ 16 volume 65 of LIPIcs"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2010.06.008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603129"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.10"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_48"},{"key":"ref5","first-page":"92","article-title":"A machine-independent characterization of timed languages","author":"boja?czyk","year":"2012","journal-title":"Proc ICALP'12 volume 7392 of LNCS"},{"key":"ref8","first-page":"244","article-title":"Reachability analysis of first-order definable pushdown systems","author":"clemente","year":"2015","journal-title":"Proc CSL'15 volume 41 of LIPIcs"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60472-3_4"},{"key":"ref2","first-page":"27:1","article-title":"Analyzing timed systems using tree automata","author":"akshay","year":"2016","journal-title":"Proc CONCUR'16"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.15"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.73"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005083.pdf?arnumber=8005083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T19:54:00Z","timestamp":1503518040000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005083\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005083","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}