{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T17:10:13Z","timestamp":1739207413167,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_29","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:47:24Z","timestamp":1246535244000},"page":"357-372","source":"Crossref","is-referenced-by-count":7,"title":["Compensating the Computational Bias of Spreadsheets with MKM Techniques"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Kohlhase","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium (2003)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Header and unit inference for spreadsheets through spatial analysis. In: IEEE International Symposium on Visual Languages and Human-Centric Computing, pp. 165\u2013172 (2004)","DOI":"10.1109\/VLHCC.2004.29"},{"key":"29_CR3","first-page":"182","volume-title":"ICSE 2006: Proceedings of the 28th international conference on Software engineering","author":"R. Abraham","year":"2006","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 182\u2013191. ACM, New York (2006)"},{"key":"29_CR4","unstructured":"Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004)"},{"issue":"6","key":"29_CR5","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1109\/TSE.2002.1010060","volume":"29","author":"M.M. Burnett","year":"2002","unstructured":"Burnett, M.M., Sheretov, A., Ren, B., Rothermel, G.: Testing homogenous spreadsheet grids with the \u201cwhat you see is what you test\u201d methodology. IEEE Transactions on Software Engineering\u00a029(6), 576\u2013594 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.) CASL Reference Manual. LNCS (IFIP Series), vol.\u00a02960. Springer, Heidelberg (2004)","DOI":"10.1007\/b96103"},{"key":"29_CR7","first-page":"124","volume-title":"20 th IEEE\/ACM International Conference on Automated Seofware Engineering","author":"G. Engels","year":"2005","unstructured":"Engels, G., Erwig, M.: ClassSheets: Automatic generation of spreadsheet applications from object oriented specifications. In: 20 th IEEE\/ACM International Conference on Automated Seofware Engineering, pp. 124\u2013155. IEEE Computer Society, Los Alamitos (2005)"},{"key":"29_CR8","first-page":"9","volume-title":"Ontology Management: Semantic Web, Semantic Web Services, and Business Applications, Semantic Web and beyond: Computing for Human Experience","author":"D. Fensel","year":"2008","unstructured":"Fensel, D.: Foreword. In: Hepp, M., De Leenheer, P., de Moor, A., Sure, Y. (eds.) Ontology Management: Semantic Web, Semantic Web Services, and Business Applications, Semantic Web and beyond: Computing for Human Experience, pp. 9\u201311. Springer, Heidelberg (2008)"},{"issue":"1","key":"29_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/291469.293169","volume":"42","author":"B.R. Gaines","year":"1999","unstructured":"Gaines, B.R., Shaw, M.L.G.: Enbedding formal knowledge models in active documents; creating problem-solving documents. Communications of the ACM\u00a042(1), 57\u201363 (1999)","journal-title":"Communications of the ACM"},{"key":"29_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/11812289_14","volume-title":"Mathematical Knowledge Management","author":"E. Hilf","year":"2006","unstructured":"Hilf, E., Kohlhase, M., Stamerjohanns, H.: Capturing the content of physics: Systems, observables, and experiments. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol.\u00a04108, pp. 165\u2013178. Springer, Heidelberg (2006)"},{"issue":"12","key":"29_CR11","first-page":"1197","volume":"6","author":"E. Heinrich","year":"2000","unstructured":"Heinrich, E., Maurer, H.: Active documents: Concept, implementation, and applications. Journal of Universal Computer Science\u00a06(12), 1197\u20131202 (2000)","journal-title":"Journal of Universal Computer Science"},{"key":"29_CR12","series-title":"LNAI","first-page":"341","volume-title":"Calculemus\/MKM 2009","author":"A. Kohlhase","year":"2009","unstructured":"Kohlhase, A., Kohlhase, M.: Spreadsheet interaction with frames: Exploring a mathematical practice. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S.M. (eds.) Calculemus\/MKM 2009. LNCS (LNAI), vol.\u00a05625, pp. 341\u2013356. Springer, Heidelberg (2009)"},{"key":"29_CR13","unstructured":"Andrea Kohlhase. Cpoint (2005), http:\/\/kwarc.info\/projects\/CPoint\/"},{"key":"29_CR14","unstructured":"Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., Attwell, G., Elferink, R., T\u00f6dt, A. (eds.) Proceedings of Open Source for Education in Europe: Research and Practise, Heerlen, The Netherlands, November 2005, pp. 51\u201356. Open Universiteit Nederland, http:\/\/hdl.handle.net\/1820\/483"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS, vol.\u00a04180. Springer, Heidelberg (2006)"},{"issue":"4","key":"29_CR16","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1330311.1330323","volume":"51","author":"L. Moreau","year":"2008","unstructured":"Moreau, L., Groth, P., Miles, S., Vazquez, J., Ibbotson, J., Jiang, S., Munroe, S., Rana, O., Schreiber, A., Tan, V., Varga, L.: The provenance of electronic data. Communications of the ACM\u00a051(4), 52\u201358 (2008)","journal-title":"Communications of the ACM"},{"key":"29_CR17","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C recommendation, W3C (February 2004)"},{"key":"29_CR18","unstructured":"M\u00fcller, N., Wagner, M.: Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In: Hinneburg, A. (ed.) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivit\u00e4t) conference proceedings, pp. 289\u2013295. Martin-Luther-University Halle-Wittenberg (2007)"},{"key":"29_CR19","unstructured":"Panko, R.R.: Spreadsheet errors: What we know. what we think we can do. In: Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG) (2000)"},{"key":"29_CR20","unstructured":"Rabe, F., Kohlhase, M.: A web-scalable module system for mathematical theories. The Journal of Symbolic Computation (2009) (manuscript to be submitted)"},{"issue":"1","key":"29_CR21","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.websem.2005.10.002","volume":"4","author":"V. Uren","year":"2006","unstructured":"Uren, V., Cimiano, P., Iria, J., Handschuh, S., Vargas-Vera, M., Motta, E., Ciravegna, F.: Semantic annotation for knowledge management: Requirements and a state of the art. Web Semantics: Science, Services, and Agents on the World Wide Web\u00a04(1), 14\u201328 (2006)","journal-title":"Web Semantics: Science, Services, and Agents on the World Wide Web"},{"key":"29_CR22","unstructured":"RDFa Primer (2008), http:\/\/www.w3.org\/TR\/xhtml-rdfa-primer\/"},{"key":"29_CR23","first-page":"228","volume-title":"Bringing Design to Software","author":"T. Winograd","year":"2006","unstructured":"Winograd, T.: The spreadsheet. In: Winograd, T., Bennett, J., de Young, L., Hartfield, B. (eds.) Bringing Design to Software, pp. 228\u2013231. Addison-Wesley, Reading (2006)"},{"key":"29_CR24","volume-title":"The Mathematica Book","author":"S. Wolfram","year":"2002","unstructured":"Wolfram, S.: The Mathematica Book. Cambridge University Press, Cambridge (2002)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02614-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T16:31:50Z","timestamp":1739205110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}