{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:58:08Z","timestamp":1725454688194},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387883"},{"type":"electronic","value":"9783642387890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38789-0_8","type":"book-chapter","created":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T13:40:19Z","timestamp":1367502019000},"page":"88-95","source":"Crossref","is-referenced-by-count":2,"title":["GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Andr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rivi\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Maag, S., de Oca, E.M.: A passive conformance testing approach for a MANET routing protocol. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 207\u2013211. ACM, New York (2009)","DOI":"10.1109\/PERCOM.2009.4912874"},{"issue":"3","key":"8_CR2","first-page":"265","volume":"18","author":"D. Conte","year":"2004","unstructured":"Conte, D., Foggia, P., Sansone, C., Vento, M.: Thirty years of graph matching in pattern recognition. IJPRAI\u00a018(3), 265\u2013298 (2004)","journal-title":"IJPRAI"},{"key":"8_CR3","unstructured":"Guennoun, K., Drira, K.: Using graph grammars for interaction style description: applications for service-oriented architectures. Comput. Syst. Sci. Eng.\u00a021(4) (2006)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1109\/69.842269","volume":"12","author":"B.T. Messmer","year":"2000","unstructured":"Messmer, B.T., Bunke, H.: Efficient subgraph isomorphism detection: A decomposition approach. IEEE Trans. Knowl. Data Eng.\u00a012(2), 307\u2013323 (2000)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Nguyen, M.D., Waeselynck, H., Rivi\u00e8re, N.: Testing mobile computing applications: toward a scenario language and tools. In: Proceedings of the 2008 International Workshop on Dynamic Analysis: Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), pp. 29\u201335. ACM (2008)","DOI":"10.1145\/1401827.1401834"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Nguyen, M.D., Waeselynck, H., Rivi\u00e8re, N.: Graphseq: A graph matching tool for the extraction of mobility patterns. In: Proc. Third Int. Software Testing, Verification and Validation (ICST) Conf., pp. 195\u2013204 (2010)","DOI":"10.1109\/ICST.2010.53"},{"key":"8_CR7","unstructured":"Omg. OMG Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1). Technical Report OMG Document Number: formal\/2011-08-06, Object Management Group (August 2011)"},{"issue":"5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/S0167-8655(00)00121-5","volume":"22","author":"K. Shearer","year":"2001","unstructured":"Shearer, K., Venkatesh, S., Bunke, H.: Video sequence matching via decision tree path following. Pattern Recognition Letters\u00a022(5), 479\u2013492 (2001)","journal-title":"Pattern Recognition Letters"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/321921.321925","volume":"23","author":"J.R. Ullmann","year":"1976","unstructured":"Ullmann, J.R.: An algorithm for subgraph isomorphism. J. ACM\u00a023(1), 31\u201342 (1976)","journal-title":"J. ACM"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Waeselynck, H., Micskei, Z., Nguyen, M.D., Riviere, N.: Mobile systems from a validation perspective: a case study. In: Proc. Sixth Int. Symp. Parallel and Distributed Computing, ISPDC 2007 (2007)","DOI":"10.1109\/ISPDC.2007.37"},{"key":"8_CR11","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-29154-8_24","volume-title":"Mobile and Ubiquitous Systems: Computing, Networking, and Services","author":"H. Waeselynck","year":"2012","unstructured":"Waeselynck, H., Micskei, Z., Rivi\u00e8re, N., Hamvas, \u00c1., Nitu, I.: TERMOS: A formal language for scenarios in mobile computing systems. In: S\u00e9nac, P., Ott, M., Seneviratne, A. (eds.) MobiQuitous 2010. LNICST, vol.\u00a073, pp. 285\u2013296. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38789-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T15:15:50Z","timestamp":1557674150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38789-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642387883","9783642387890"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38789-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}