{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T18:35:12Z","timestamp":1648751712795},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,3,6]],"date-time":"2012-03-06T00:00:00Z","timestamp":1330992000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s00224-012-9391-6","type":"journal-article","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:20:21Z","timestamp":1330982421000},"page":"367-402","source":"Crossref","is-referenced-by-count":0,"title":["Querying Probabilistic Business Processes for Sub-Flows"],"prefix":"10.1007","volume":"52","author":[{"given":"Daniel","family":"Deutch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,6]]},"reference":[{"key":"9391_CR1","volume-title":"Proc. of EDBT","author":"S. Abiteboul","year":"2006","unstructured":"Abiteboul,\u00a0S., Senellart,\u00a0P.: Querying and updating probabilistic information in XML. In: Proc. of EDBT (2006)"},{"issue":"5","key":"9391_CR2","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/s00778-009-0146-1","volume":"18","author":"S. Abiteboul","year":"2009","unstructured":"Abiteboul,\u00a0S., Kimelfeld,\u00a0B., Sagiv,\u00a0Y., Senellart,\u00a0P.: On the expressiveness of probabilistic XML models. VLDB J. 18(5), 1041\u20131064 (2009)","journal-title":"VLDB J."},{"key":"9391_CR3","volume-title":"Proc. of VLDB","author":"C. Beeri","year":"2006","unstructured":"Beeri,\u00a0C., Eyal,\u00a0A., Kamenkovich,\u00a0S., Milo,\u00a0T.: Querying business processes. In: Proc. of VLDB (2006)"},{"key":"9391_CR4","volume-title":"Proc. Of ICALP","author":"M. Benedikt","year":"2001","unstructured":"Benedikt,\u00a0M., Godefroid,\u00a0P., Reps,\u00a0T.: Model checking of unrestricted hierarchical state machines. In: Proc. Of ICALP (2001)"},{"issue":"1","key":"9391_CR5","doi-asserted-by":"crossref","first-page":"770","DOI":"10.14778\/1920841.1920939","volume":"3","author":"M. Benedikt","year":"2010","unstructured":"Benedikt,\u00a0M., Kharlamov,\u00a0E., Olteanu,\u00a0D., Senellart,\u00a0P.: Probabilistic XML via Markov chains. Proc. VLDB Endow. 3(1), 770\u2013781 (2010)","journal-title":"Proc. VLDB Endow."},{"key":"9391_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1998","unstructured":"Blum,\u00a0L., Cucker,\u00a0F., Shub,\u00a0M., Smale,\u00a0S.: Complexity and Real Computation. Springer, Berlin (1998)"},{"key":"9391_CR7","doi-asserted-by":"crossref","unstructured":"Borges,\u00a0R.: On the principle of inclusion and exclusion. Journal Periodica Mathematica Hungarica 3(1\u20132) (1973)","DOI":"10.1007\/BF02018470"},{"key":"9391_CR8","unstructured":"Business Process Execution Language for Web Services. http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"9391_CR9","volume-title":"Proc. of STACS","author":"T. Brazdil","year":"2005","unstructured":"Brazdil,\u00a0T., Kucera,\u00a0A., Strazovsky,\u00a0O.: On the decidability of temporal properties of probabilistic pushdown automata. In: Proc. of STACS (2005)"},{"key":"9391_CR10","doi-asserted-by":"crossref","unstructured":"Bultan,\u00a0T., Su,\u00a0J., Fu,\u00a0X.: Analyzing conversations of web services. IEEE Internet Computing 10(1) (2006)","DOI":"10.1109\/MIC.2006.1"},{"key":"9391_CR11","volume-title":"Proc. of STOC","author":"J. Canny","year":"1988","unstructured":"Canny,\u00a0J.: Some algebraic and geometric computations in space. In: Proc. of STOC (1988)"},{"key":"9391_CR12","volume-title":"Proc. of PODS","author":"S. Cohen","year":"2008","unstructured":"Cohen,\u00a0S., Kimelfeld,\u00a0B., Sagiv,\u00a0Y.: Incorporating constraints in probabilistic XML. In: Proc. of PODS (2008)"},{"key":"9391_CR13","unstructured":"Cohn,\u00a0D., Hull,\u00a0R.: Business artifacts: a\u00a0data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3) (2009)"},{"key":"9391_CR14","doi-asserted-by":"crossref","unstructured":"Courcelle,\u00a0B.: The monadic second-order logic of graphs. Inf. Comput. 85(1) (1990)","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"9391_CR15","volume-title":"Proc. of VLDB","author":"D. Deutch","year":"2008","unstructured":"Deutch,\u00a0D., Milo,\u00a0T.: Type inference and type checking for queries on execution traces. In: Proc. of VLDB (2008)"},{"key":"9391_CR16","volume-title":"Proc. of ICDE","author":"D. Deutch","year":"2009","unstructured":"Deutch,\u00a0D., Milo,\u00a0T.: Evaluating top-k projection queries over probabilistic business processes. In: Proc. of ICDE (2009)"},{"key":"9391_CR17","volume-title":"Proc. of ICDT","author":"D. Deutch","year":"2009","unstructured":"Deutch,\u00a0D., Milo,\u00a0T.: Evaluating top-k projection queries over probabilistic business processes. In: Proc. of ICDT (2009)"},{"key":"9391_CR18","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1938551.1938562","volume-title":"ICDT","author":"D. Deutch","year":"2011","unstructured":"Deutch,\u00a0D.: Querying probabilistic business processes for sub-flows. In: ICDT, pp. 54\u201365 (2011)"},{"key":"9391_CR19","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1145\/1514894.1514924","volume-title":"ICDT","author":"A. Deutsch","year":"2009","unstructured":"Deutsch,\u00a0A., Hull,\u00a0R., Patrizi,\u00a0F., Vianu,\u00a0V.: Automatic verification of data-centric business processes. In: ICDT, pp. 252\u2013267 (2009)"},{"issue":"3","key":"9391_CR20","first-page":"35","volume":"31","author":"A. Deutsch","year":"2008","unstructured":"Deutsch,\u00a0A., Vianu,\u00a0V.: Wave: automatic verification of data-driven web services. IEEE Data Eng. Bull. 31(3), 35\u201339 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"9391_CR21","volume-title":"LCPC","author":"P. Diniz","year":"2003","unstructured":"Diniz,\u00a0P.: Increasing the accuracy of shape and safety analysis of pointer-based codes. In: LCPC (2003)"},{"key":"9391_CR22","doi-asserted-by":"crossref","unstructured":"Etessami,\u00a0K., Yannakakis,\u00a0M.: Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. JACM 56(1) (2009)","DOI":"10.1145\/1462153.1462154"},{"key":"9391_CR23","volume-title":"PODS","author":"J.N. Foster","year":"2008","unstructured":"Foster, J.N., Green, T.J., Tannen,\u00a0V.: Annotated XML: queries and provenance. In: PODS (2008)"},{"key":"9391_CR24","volume-title":"ICDT","author":"C. Fritz","year":"2009","unstructured":"Fritz,\u00a0C., Hull,\u00a0R., Su,\u00a0J.: Automatic construction of simple artifact-based business processes. In: ICDT (2009)"},{"key":"9391_CR25","volume-title":"Proc. of STOC","author":"M.R. Garey","year":"1976","unstructured":"Garey, M.R., Graham, R.L., Johnson, D.S.: Some np-complete geometric problems. In: Proc. of STOC (1976)"},{"key":"9391_CR26","doi-asserted-by":"crossref","unstructured":"Hull,\u00a0R., Su,\u00a0J.: Tools for composite web services: a\u00a0short overview. SIGMOD Rec. 34(2) (2005)","DOI":"10.1145\/1083784.1083807"},{"key":"9391_CR27","volume-title":"VLDB","author":"B. Kimelfeld","year":"2007","unstructured":"Kimelfeld,\u00a0B., Sagiv,\u00a0Y.: Matching twigs in probabilistic XML. In: VLDB (2007)"},{"key":"9391_CR28","doi-asserted-by":"crossref","unstructured":"Kucera,\u00a0A., Esparza,\u00a0J., Mayr,\u00a0R.: Model checking probabilistic pushdown automata. Log. Methods Comput. Sci. 2(1) (2006)","DOI":"10.2168\/LMCS-2(1:2)2006"},{"key":"9391_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3267-7","volume-title":"Markov Chains and Stochastic Stability","author":"S.P. Meyn","year":"1993","unstructured":"Meyn, S.P., Tweedie, R.L.: Markov Chains and Stochastic Stability. Springer, Berlin (1993)"},{"key":"9391_CR30","doi-asserted-by":"crossref","unstructured":"Pirolli, P.L.T., Pitkow, J.E.: Distributions of surfers\u2019 paths through the world wide web: empirical characterizations. World Wide Web 2(1\u20132) (1999)","DOI":"10.1023\/A:1019288403823"},{"key":"9391_CR31","volume-title":"Proc. of ICDE","author":"C. Re","year":"2007","unstructured":"Re,\u00a0C., Dalvi,\u00a0N., Suciu,\u00a0D.: Efficient top-k query evaluation on probabilistic data. In: Proc. of ICDE (2007)"},{"key":"9391_CR32","volume-title":"PODS","author":"P. Senellart","year":"2007","unstructured":"Senellart,\u00a0P., Abiteboul,\u00a0S.: On the complexity of managing probabilistic XML data. In: PODS (2007)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9391-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-012-9391-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-012-9391-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T23:30:12Z","timestamp":1561419012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-012-9391-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,6]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["9391"],"URL":"https:\/\/doi.org\/10.1007\/s00224-012-9391-6","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,6]]}}}