{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:16Z","timestamp":1750307356186,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,12]],"date-time":"2011-06-12T00:00:00Z","timestamp":1307836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,12]]},"DOI":"10.1145\/1989323.1989365","type":"proceedings-article","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T14:45:32Z","timestamp":1308062732000},"page":"397-408","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Querying contract databases based on temporal behavior"],"prefix":"10.1145","author":[{"given":"Elio","family":"Damaggio","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"given":"Alin","family":"Deutsch","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"given":"Dayou","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"U. Airlines. Contract of carriage. http:\/\/www.united.com\/page\/article\/0 6867 2671 00.html.  U. Airlines. Contract of carriage. http:\/\/www.united.com\/page\/article\/0 6867 2671 00.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052220.1052225"},{"key":"e_1_3_2_1_3_1","first-page":"343","volume-title":"VLDB '06","author":"Beeri C.","year":"2006","unstructured":"C. Beeri , A. Eyal , S. Kamenkovich , and T. Milo . Querying business processes . In VLDB '06 , pages 343 -- 354 . VLDB Endowment , 2006 . C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes. In VLDB '06, pages 343--354. VLDB Endowment, 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"Hybrid Systems III.","author":"Bengtsson J.","year":"1996","unstructured":"J. Bengtsson , K. Larsen , F. Larsson , P. Pettersson , and W. Yi . Uppaal - a tool suite for automatic verification of real-time systems . In Hybrid Systems III. 1996 . J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal - a tool suite for automatic verification of real-time systems. In Hybrid Systems III. 1996."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531371_70"},{"key":"e_1_3_2_1_6_1","volume-title":"Querying contract databases based on temporal behavior. Technical report","author":"Damaggio E.","year":"2010","unstructured":"E. Damaggio , A. Deutsch , and D. Zhou . Querying contract databases based on temporal behavior. Technical report , 2010 . E. Damaggio, A. Deutsch, and D. Zhou. Querying contract databases based on temporal behavior. Technical report, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1783534.1783552"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1316689.1316723"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646185.683081"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/367390.367400"},{"key":"e_1_3_2_1_12_1","volume-title":"CAV","author":"Gastin P.","year":"2001","unstructured":"P. Gastin and D. Oddoux . Fast ltl to b\u00fcchi automata translation . In CAV , 2001 . P. Gastin and D. Oddoux. Fast ltl to b\u00fcchi automata translation. In CAV, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.37"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_15_1","volume-title":"USA","author":"Hopcroft J. E.","year":"1971","unstructured":"J. E. Hopcroft . An n log n algorithm for minimizing states in a finite automaton. Technical report, Stanford, CA , USA , 1971 . J. E. Hopcroft. An n log n algorithm for minimizing states in a finite automaton. Technical report, Stanford, CA, USA, 1971."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_34"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_1"},{"key":"e_1_3_2_1_18_1","unstructured":"Z. Milosevic and R. G. Dromey. On expressing and monitoring behaviour in contracts. In EDOC '02.   Z. Milosevic and R. G. Dromey. On expressing and monitoring behaviour in contracts. In EDOC '02."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2005.107"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800125.804029"},{"key":"e_1_3_2_1_24_1","unstructured":"H. Strasberg. Travel terminal. http:\/\/www.travelterminal.com.  H. Strasberg. Travel terminal. http:\/\/www.travelterminal.com."},{"key":"e_1_3_2_1_25_1","volume-title":"LICS","author":"Vardi M.","year":"1986","unstructured":"M. Vardi and P. Wolper . An automata-theoretic approach to automatic program verification . In LICS , 1986 . M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In LICS, 1986."},{"key":"e_1_3_2_1_26_1","unstructured":"Wikipedia. List of passenger airlines. http:\/\/en.wikipedia.org\/wiki\/List_of_passenger_airlines.  Wikipedia. List of passenger airlines. http:\/\/en.wikipedia.org\/wiki\/List_of_passenger_airlines."},{"key":"e_1_3_2_1_27_1","unstructured":"Wikipedia. Travel class. http:\/\/en.wikipedia.org\/wiki\/Travel_class.  Wikipedia. Travel class. http:\/\/en.wikipedia.org\/wiki\/Travel_class."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.51"}],"event":{"name":"SIGMOD\/PODS '11: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Athens Greece","acronym":"SIGMOD\/PODS '11"},"container-title":["Proceedings of the 2011 ACM SIGMOD International Conference on Management of data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1989323.1989365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1989323.1989365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:20Z","timestamp":1750245740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1989323.1989365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,12]]},"references-count":28,"alternative-id":["10.1145\/1989323.1989365","10.1145\/1989323"],"URL":"https:\/\/doi.org\/10.1145\/1989323.1989365","relation":{},"subject":[],"published":{"date-parts":[[2011,6,12]]},"assertion":[{"value":"2011-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}