{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:10:46Z","timestamp":1759032646929,"version":"3.37.3"},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,3,4]],"date-time":"2010-03-04T00:00:00Z","timestamp":1267660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s10270-010-0151-2","type":"journal-article","created":{"date-parts":[[2010,3,3]],"date-time":"2010-03-03T08:32:39Z","timestamp":1267605159000},"page":"447-468","source":"Crossref","is-referenced-by-count":18,"title":["On tracing reactive systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,4]]},"reference":[{"key":"151_CR1","unstructured":"Eclipse Test and Performance Tools Platform. http:\/\/www.eclipse.org\/tptp\/"},{"key":"151_CR2","unstructured":"Eclipse UML2 Project. http:\/\/www.eclipse.org\/modeling\/mdt\/?project=uml2"},{"key":"151_CR3","unstructured":"IBM Rational Software Architect. http:\/\/www.ibm.com\/software\/awdtools\/architect\/swarchitect\/"},{"key":"151_CR4","unstructured":"IBM (Telelogic) Rhapsody. http:\/\/modeling.telelogic.com\/products\/rhapsody\/index.cfm"},{"key":"151_CR5","unstructured":"PacMan game code. http:\/\/www.bennychow.com\/"},{"key":"151_CR6","unstructured":"S2A website. http:\/\/www.wisdom.weizmann.ac.il\/~maozs\/s2a\/"},{"key":"151_CR7","unstructured":"The AspectJ project at Eclipse.org. http:\/\/www.eclipse.org\/aspectj\/"},{"key":"151_CR8","unstructured":"The jaret timebars. http:\/\/jaret.de\/timebars\/"},{"key":"151_CR9","unstructured":"Tracer website. http:\/\/www.wisdom.weizmann.ac.il\/~maozs\/tracer\/"},{"issue":"3","key":"151_CR10","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/j.cag.2007.01.030","volume":"31","author":"W. Aigner","year":"2007","unstructured":"Aigner W., Miksch S., M\u00fcller W., Schumann H., Tominski C.: Visualizing time-oriented data\u2014a systematic view. Comput. Graph. 31(3), 401\u2013409 (2007)","journal-title":"Comput. Graph."},{"issue":"1","key":"151_CR11","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"Alur R., Henzinger T.A.: A really temporal logic. J. ACM 41(1), 181\u2013203 (1994)","journal-title":"J. ACM"},{"issue":"1","key":"151_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin E., Maler O., Pnueli A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138(1), 35\u201365 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"151_CR13","doi-asserted-by":"crossref","unstructured":"Atir, Y., Harel, D., Kleinbort, A., Maoz, S.: Object composition in scenario-based programming. In: Fiadeiro, J.L., Inverardi, P. (eds.) Proc. 11th Int. Conf. on Fundamental Approaches to Software Engineering (FASE\u201908), Lecture Notes in Computer Science, vol. 4961, pp. 301\u2013316. Springer (2008)","DOI":"10.1007\/978-3-540-78743-3_23"},{"issue":"12","key":"151_CR14","doi-asserted-by":"crossref","first-page":"2252","DOI":"10.1016\/j.jss.2008.02.068","volume":"81","author":"B. Cornelissen","year":"2008","unstructured":"Cornelissen B., Zaidman A., Holten D., Moonen L., van Deursen A., van Wijk J.J.: Execution trace analysis through massive sequence and circular bundle views. J. Syst. Softw. 81(12), 2252\u20132268 (2008)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"151_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm W., Harel D.: LSCs: breathing life into message sequence charts. J. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"J. Formal Methods Syst. Des."},{"key":"151_CR16","volume-title":"Software Visualization\u2014Visualizing the Structure, Behaviour, and Evolution of Software","author":"S. Diehl","year":"2007","unstructured":"Diehl S.: Software Visualization\u2014Visualizing the Structure, Behaviour, and Evolution of Software. Springer, Berlin (2007)"},{"key":"151_CR17","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1016\/B978-0-444-88074-1.50021-4","volume-title":"Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson E.A.: Temporal and modal logic. In: Leeuwen, J. (eds) Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics, pp. 995\u20131072. Elsevier and MIT Press, USA (1990)"},{"key":"151_CR18","doi-asserted-by":"crossref","unstructured":"Gallagher, M., Ryan, A.: Learning to play Pac-Man: an evolutionary, rule-based approach. In: Proc. Congress on Evolutionary Computation (CEC), pp. 2462\u20132469 (2003)","DOI":"10.1109\/CEC.2003.1299397"},{"key":"151_CR19","unstructured":"Hamou-Lhadj, A., Lethbridge, T.C.: A survey of trace exploration tools and techniques. In: Lutfiyya, H., Singer, J., Stewart, D.A. (eds.) Proc. 2004 Conf. of the Centre for Advanced Studies on Collaborative Research (CASCON\u201904), pp. 42\u201355. IBM (2004)"},{"key":"151_CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Prog. 8, 231\u2013274 (1987)","journal-title":"Sci. Comput. Prog."},{"issue":"7","key":"151_CR21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel D., Gery E.: Executable object modeling with statecharts. IEEE Comput. 30(7), 31\u201342 (1997)","journal-title":"IEEE Comput."},{"key":"151_CR22","doi-asserted-by":"crossref","unstructured":"Harel, D., Kleinbort, A., Maoz, S.: S2A: A compiler for multi-modal UML sequence diagrams. In: Dwyer, M.B., Lopes, A. (eds.) Proc. 10th Int. Conf. Fundamental Approaches to Software Engineering (FASE\u201907),Lecture Notes in Computer Science, vol. 4422, pp. 121\u2013124. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71289-3_11"},{"issue":"1","key":"151_CR23","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel D., Kugler H.: Synthesizing state-based object systems from LSC specifications. Int. J. Found. Comput. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"151_CR24","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel D., Maoz S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Model. (SoSyM) 7(2), 237\u2013252 (2008)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"151_CR25","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Playing with time: On the specification and execution of time-enriched LSCs. In: Proc. 10th Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS\u201902), pp. 193\u2013202. IEEE Computer Society (2002)","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"151_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel D., Marelly R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)"},{"issue":"2","key":"151_CR27","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel D., Marelly R.: Specifying and executing behavioral requirements: the play-in\/play-out approach. Softw. Syst. Model. (SoSyM) 2(2), 82\u2013107 (2003)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"151_CR28","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems, NATO ASI Series, vol. F-13","author":"D. Harel","year":"1985","unstructured":"Harel D., Pnueli A.: On the development of reactive systems. In: Apt, K.R. (eds) Logics and Models of Concurrent Systems, NATO ASI Series, vol. F-13, pp. 477\u2013498. Springer, USA (1985)"},{"key":"151_CR29","doi-asserted-by":"crossref","unstructured":"Harel, D., Segall, I.: Visualizing inter-dependencies between scenarios. In: Koschke, R., Hundhausen, C.D., Telea, A. (eds) Proc. of the ACM 2008 Symposium on Software Visualization (SoftVis\u201908), pp. 145\u2013153. ACM (2008)","DOI":"10.1145\/1409720.1409744"},{"issue":"1","key":"151_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1057\/palgrave.ivs.9500061","volume":"3","author":"H. Hochheiser","year":"2004","unstructured":"Hochheiser H., Shneiderman B.: Dynamic query tools for time series data sets: timebox widgets for interactive exploration. Info. Vis. 3(1), 1\u201318 (2004)","journal-title":"Info. Vis."},{"key":"151_CR31","doi-asserted-by":"crossref","unstructured":"Hosking, J.G.: Visualisation of object oriented program execution. In: Proc. 1996 IEEE Symp. on Visual Languages, pp. 190\u2013191. IEEE Computer Society (1996)","DOI":"10.1109\/VL.1996.545286"},{"key":"151_CR32","unstructured":"ITU: International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Tech. rep. (1996)"},{"key":"151_CR33","doi-asserted-by":"crossref","unstructured":"Jerding, D.F., Stasko, J.T., Ball, T.: Visualizing interactions in program executions. In: Proc. 19th Int. Conf. on Software Engineering (ICSE\u201997), pp. 360\u2013370. ACM Press, USA (1997)","DOI":"10.1145\/253228.253356"},{"key":"151_CR34","doi-asserted-by":"crossref","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal modeling of C. elegans development: a scenario-based approach. In: Priami, C. (eds.) Proc. 1st Int. Workshop on Computational Methods in Systems Biology (CMSB\u201903), Lecture Notes in Computer Science, vol. 2602, pp. 4\u201320. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36481-1_2"},{"key":"151_CR35","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (eds.) Proc. 15th European Conf. on Object-Oriented Programming (ECOOP\u201901), Lecture Notes in Computer Science, vol. 2072, pp. 327\u2013353. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"151_CR36","doi-asserted-by":"crossref","unstructured":"Klose, J., Toben, T., Westphal, B., Wittke, H.: Check it out: on the efficient formal verification of live sequence charts. In: Ball, T., Jones, R.B. (eds.) Proc. 18th Int. Conf. on Computer Aided Verification (CAV\u201906), Lecture Notes in Computer Science, vol. 4144, pp. 219\u2013233. Springer, Berlin (2006)","DOI":"10.1007\/11817963_22"},{"key":"151_CR37","volume-title":"Genetic Programming: On The Programming of Computers by Means of Natural Selection","author":"J. Koza","year":"1992","unstructured":"Koza J.: Genetic Programming: On The Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)"},{"key":"151_CR38","doi-asserted-by":"crossref","unstructured":"Kugler, H., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal logic for scenario-based specifications. In: Halbwachs, N., Zuck, L.D. (eds.) Proc. 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201905), Lecture Notes in Computer Science, vol. 3440, pp. 445\u2013460. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31980-1_29"},{"issue":"5","key":"151_CR39","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/2.589912","volume":"30","author":"D.B. Lange","year":"1997","unstructured":"Lange D.B., Nakamura Y.: Object-oriented program tracing and visualization. IEEE Comput. 30(5), 63\u201370 (1997)","journal-title":"IEEE Comput."},{"key":"151_CR40","doi-asserted-by":"crossref","unstructured":"Lettrari, M., Klose, J.: Scenario-based monitoring and testing of real-time UML models. In: Gogolla, M., Kobryn, C. (eds.) Proc. 4th Int. Conf. on the Unified Modeling Language, Modeling Languages, Concepts, and Tools, Lecture Notes in Computer Science, vol. 2185, pp. 317\u2013328. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45441-1_24"},{"issue":"2","key":"151_CR41","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1057\/palgrave.ivs.9500089","volume":"4","author":"J. Lin","year":"2005","unstructured":"Lin J., Keogh E.J., Lonardi S.: Visualizing and discovering non-trivial patterns in large time series databases. Info. Vis. 4(2), 61\u201382 (2005)","journal-title":"Info. Vis."},{"key":"151_CR42","doi-asserted-by":"crossref","unstructured":"Lo, D., Maoz, S.: Mining scenario-based triggers and effects. In: Proc. 23rd IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE 2008), pp. 109\u2013118. IEEE (2008)","DOI":"10.1109\/ASE.2008.21"},{"key":"151_CR43","unstructured":"Maoz, S.: Model-based traces. In: Chaudron, M. (eds.) Workshops and Symposia at MoDELS 2008, Reports and Revised Selected Papers, Lecture Notes in Computer Science, vol. 5421, pp. 109\u2013119. Springer, Berlin (2009, Presented at the 3rd Int. Workshop on Models at Runtime (Models@Run.time 2008), at MoDELS\u201908.)"},{"key":"151_CR44","doi-asserted-by":"crossref","unstructured":"Maoz, S.: Polymorphic scenario-based specification models: semantics and applications. In: Sch\u00fcrr, A., Selic, B. (eds.) Proc. 12th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS\u201909), Lecture Notes in Computer Science, vol. 5795, pp. 499\u2013513. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_38"},{"key":"151_CR45","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1145\/1181775.1181802","volume-title":"Proc. 14th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (FSE\u201906)","author":"S. Maoz","year":"2006","unstructured":"Maoz S., Harel D.: From multi-modal scenarios to code: compiling LSCs into AspectJ. In: Young, M., Devanbu, P.T. (eds) Proc. 14th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (FSE\u201906), pp. 219\u2013230. ACM Press, USA (2006)"},{"key":"151_CR46","doi-asserted-by":"crossref","unstructured":"Maoz, S., Kleinbort, A., Harel, D.: Towards trace visualization and exploration for reactive systems. In: Cox, P., Hosking, J. (eds.) Proc. of IEEE Symp. on Visual Languages and Human-Centric Computing (VL\/HCC\u201907), pp. 153\u2013156. IEEE Computer Society (2007)","DOI":"10.1109\/VLHCC.2007.27"},{"key":"151_CR47","doi-asserted-by":"crossref","unstructured":"Maoz, S., Mets\u00e4, J., Katara, M.: Model-based testing using LSCs and S2A. In: Sch\u00fcrr, A., Selic, B. (eds.) Proc. 12th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS\u201909), Lecture Notes in Computer Science, vol. 5795, pp. 301\u2013306. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_22"},{"key":"151_CR48","doi-asserted-by":"crossref","unstructured":"Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proc. Int. Conf. on Object-Oriented Programming, Languages, and Applications (OOPSLA\u201902), pp. 83\u2013100. ACM (2002)","DOI":"10.1145\/582419.582429"},{"key":"151_CR49","unstructured":"McGavin, M., Wright, T., Marshall, S.: Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. In: Piekarski, W. (ed.) Proc. 7th Australasian User Interface Conf. (AUIC\u201906), CRPIT, vol. 50, pp. 153\u2013160. Australian Computer Society (2006)"},{"issue":"2","key":"151_CR50","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01840446","volume":"1","author":"E.W. Myers","year":"1986","unstructured":"Myers E.W.: An O(ND) difference algorithm and its variations. Algorithmica 1(2), 251\u2013266 (1986)","journal-title":"Algorithmica"},{"issue":"3","key":"151_CR51","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/0022-2836(70)90057-4","volume":"48","author":"S.B. Needlemana","year":"1970","unstructured":"Needlemana S.B., Wunscha C.D.: A general method applicable to the search for similarities in the amino acid sequence of two proteins. J. Mol. Biol. 48(3), 443\u2013453 (1970)","journal-title":"J. Mol. Biol."},{"key":"151_CR52","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/774833.774843","volume-title":"Proc. ACM Symp. on Software Visualization (SoftVis\u201903)","author":"A. Orso","year":"2003","unstructured":"Orso A., Jones J.A., Harrold M.J.: Visualization of program-execution data for deployed software. In: Diehl, S., Stasko, J.T., Spencer, S.N. (eds) Proc. ACM Symp. on Software Visualization (SoftVis\u201903), pp. 67\u201376. ACM, USA (2003)"},{"key":"151_CR53","doi-asserted-by":"crossref","unstructured":"Pauw, W.D., Jensen, E., Mitchell, N., Sevitsky, G., Vlissides, J.M., Yang, J.: Visualizing the execution of Java programs. In: Diehl, S. (ed.) Revised Lect. on Software Visualization, Int. Seminar, Lecture Notes in Computer Science, vol. 2269, pp. 151\u2013162. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45875-1_12"},{"key":"151_CR54","doi-asserted-by":"crossref","unstructured":"Perlin, K., Fox, D.: Pad: An alternative approach to the computer interface. In: Proc. 20th Conf. on Computer Graphics and Interactive Techniques (SIGGRAPH\u201993), pp. 57\u201364. ACM Press, USA (1993)","DOI":"10.1145\/166117.166125"},{"key":"151_CR55","doi-asserted-by":"crossref","unstructured":"Reiss, S.P.: Visualizing program execution using user abstractions. In: Kraemer, E., Burnett, M.M., Diehl, S. (eds.) Proc. 2006 ACM Symp. on Software Visualization (SoftVis\u201906), pp. 125\u2013134. ACM Press, USA (2006)","DOI":"10.1145\/1148493.1148512"},{"issue":"2","key":"151_CR56","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/j.jvlc.2007.01.003","volume":"18","author":"S.P. Reiss","year":"2007","unstructured":"Reiss S.P.: Visual representations of executing programs. J. Vis. Lang. Comput. 18(2), 126\u2013148 (2007)","journal-title":"J. Vis. Lang. Comput."},{"key":"151_CR57","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/1056018.1056034","volume-title":"Proc. 2005 ACM Symp. on Software Visualization (SoftVis\u201905).","author":"S.P. Reiss","year":"2005","unstructured":"Reiss S.P., Renieris M.: Jove: Java as it happens. In: Naps, T.L., Pauw, W.D. (eds) Proc. 2005 ACM Symp. on Software Visualization (SoftVis\u201905)., pp. 115\u2013124. ACM Press, USA (2005)"},{"key":"151_CR58","unstructured":"Shneiderman, B.: The eyes have it: a task by data type taxonomy for information visualizations. In: Proc. IEEE Symp. on Visual Languages (VL\u201996), pp. 336\u2013343. IEEE Computer Society (1996)"},{"issue":"1","key":"151_CR59","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-2836(81)90087-5","volume":"147","author":"T.F. Smith","year":"1981","unstructured":"Smith T.F., Waterman M.S.: Identification of common molecular subsequences. J. Mol. Biol. 147(1), 195\u2013197 (1981)","journal-title":"J. Mol. Biol."},{"volume-title":"Software Visualization","year":"1998","key":"151_CR60","unstructured":"Stasko, J.T., Domingue, J.B., Brown, M.H., Price, B.A. (eds): Software Visualization. MIT Press, Cambridge (1998)"},{"key":"151_CR61","unstructured":"van Wijk, J.J., van Selow, E.R.: Cluster and calendar based visualization of time series data. In: Proc. 1999 IEEE Symp. on Information Visualization (INFOVIS\u201999), pp. 4\u20139. IEEE Computer Society (1999)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0151-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0151-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0151-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:20:07Z","timestamp":1739920807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0151-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,4]]},"references-count":61,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["151"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0151-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2010,3,4]]}}}