{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:01Z","timestamp":1725515641207},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642313738"},{"type":"electronic","value":"9783642313745"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_4","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T09:00:57Z","timestamp":1340614857000},"page":"49-64","source":"Crossref","is-referenced-by-count":4,"title":["Semantic Alliance: A Framework for Semantic Allies"],"prefix":"10.1007","author":[{"given":"Catalin","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantin","family":"Jucovschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"ActiveMath, http:\/\/www.activemath.org (visited on June 05, 2010)"},{"key":"4_CR2","unstructured":"A\u00dfmann, U.: Invasive software composition, pp. I\u2013XII, 1\u2013334. Springer (2003) ISBN: 978-3-540-44385-8"},{"key":"4_CR3","series-title":"LNAI","volume-title":"Intelligent Computer Mathematics","year":"2009","unstructured":"Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.): MKM 2009, Held as Part of CICM 2009. LNCS (LNAI), vol.\u00a05625. Springer, Heidelberg (2009)"},{"key":"4_CR4","unstructured":"Cinderella: Interactive Geometry Software, http:\/\/www.cinderella.de (visited on February 24, 2012)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/SW-2011-0031","volume":"2","author":"M. d\u2019Aquin","year":"2011","unstructured":"d\u2019Aquin, M., Motta, E.: Watson, more than a Semantic Web search engine. Semantic Web\u00a02(1), 55\u201363 (2011)","journal-title":"Semantic Web"},{"key":"4_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02614-0_24","volume-title":"Intelligent Computer Mathematics","author":"J. Giceva","year":"2009","unstructured":"Giceva, J., Lange, C., Rabe, F.: Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS (LNAI), vol.\u00a05625, pp. 279\u2013293. Springer, Heidelberg (2009), https:\/\/svn.omdoc.org\/repos\/jomdoc\/doc\/pubs\/mkm09\/jobad\/jobad-server.pdf"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1207\/s15327051hci0104_2","volume":"1","author":"E.L. Hutchins","year":"1985","unstructured":"Hutchins, E.L., Hollan, J.D., Norman, D.A.: Direct manipulation interfaces. Hum.-Comput. Interact.\u00a01(4), 311\u2013338 (1985) ISSN: 0737-0024","journal-title":"Hum.-Comput. Interact."},{"key":"4_CR8","unstructured":"Johnson, J.: Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules. Morgan Kaufmann Publishers (2010)"},{"key":"4_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-02614-0_29","volume-title":"Intelligent Computer Mathematics","author":"A. Kohlhase","year":"2009","unstructured":"Kohlhase, A., Kohlhase, M.: Compensating the Computational Bias of Spreadsheets with MKM Techniques. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS (LNAI), vol.\u00a05625, pp. 357\u2013372. Springer, Heidelberg (2009), http:\/\/kwarc.info\/kohlhase\/papers\/mkm09-sachs.pdf"},{"key":"4_CR10","series-title":"ACM Special Interest Group for Design of Communication","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1621995.1622013","volume-title":"Proceedings of the 27th Annual ACM International Conference on Design of Communication (SIGDOC)","author":"A. Kohlhase","year":"2009","unstructured":"Kohlhase, A., Kohlhase, M.: Semantic Transparency in User Assistance Systems. In: Mehlenbacher, B., et al. (eds.) Proceedings of the 27th Annual ACM International Conference on Design of Communication (SIGDOC), Bloomington, Indiana, USA. ACM Special Interest Group for Design of Communication, pp. 89\u201396. ACM Press, New York (2009), http:\/\/kwarc.info\/kohlhase\/papers\/sigdoc09-emtrans.pdf , doi:10.1145\/1621995.1622013"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-05089-3_15","volume-title":"FM 2009: Formal Methods","author":"M. Kohlhase","year":"2009","unstructured":"Kohlhase, M., Lemburg, J., Schr\u00f6der, L., Schulz, E.: Formal Management of CAD\/CAM Processes. In: Cavalcanti, A., Dams, D. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 223\u2013238. Springer, Heidelberg (2009), http:\/\/kwarc.info\/kohlhase\/papers\/fm09.pdf"},{"key":"#cr-split#-4_CR12.1","doi-asserted-by":"crossref","unstructured":"Kohlhase, M., et al.: The Planetary System: Web 3.0 & Active Documents for STEM. Procedia Computer Science\u00a04, 598-607 (2011)","DOI":"10.1016\/j.procs.2011.04.063"},{"key":"#cr-split#-4_CR12.2","doi-asserted-by":"crossref","unstructured":"Sato, M., et al. (eds.): Special issue: Proceedings of the International Conference on Computational Science (ICCS). Finalist at the Executable Papers Challenge (2011), https:\/\/svn.mathweb.org\/repos\/planetary\/doc\/epc11\/paper.pdf , doi:10.1016\/j.procs.2011.04.063","DOI":"10.1016\/j.procs.2011.04.063"},{"key":"4_CR13","first-page":"51","volume-title":"Proceedings at Open Source for Education in Europe: Research and Practise","author":"A. Kohlhase","year":"2005","unstructured":"Kohlhase, A.: Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In: de Vries, F., et al. (eds.) Proceedings at Open Source for Education in Europe: Research and Practise, pp. 51\u201356. Open Universiteit Nederland, Heerlen (2005), http:\/\/hdl.handle.net\/1820\/483"},{"key":"4_CR14","unstructured":"Home of the LibreOffice Productivity Suite, http:\/\/www.libreoffice.org (visited on November 13, 2011)"},{"key":"4_CR15","unstructured":"Mathcad: Optimize your design and engineering, http:\/\/www.ptc.com\/products\/mathcad (visited on February 24, 2012)"},{"key":"4_CR16","unstructured":"Mathematica, http:\/\/www.wolfram.com\/products\/mathematica\/ (visited on June 05, 2010)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"2013","DOI":"10.1145\/1518701.1519007","volume-title":"Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009","author":"Y. Medynskiy","year":"2009","unstructured":"Medynskiy, Y., Dontcheva, M., Drucker, S.M.: Exploring websites through contextual facets. In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, pp. 2013\u20132022. ACM, Boston (2009) ISBN: 978-1-60558-246-7"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/592637.592640","volume":"21","author":"J. Nieh","year":"2003","unstructured":"Nieh, J., Jae Yang, S., Novik, N.: Measuring thin-client performance using slow-motion benchmarking. ACM Trans. Comput. Syst.\u00a021, 87\u2013115 (2003) ISSN: 0734-2071","journal-title":"ACM Trans. Comput. Syst."},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/302979.303038","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: the CHI is the Limit, CHI 1999","author":"D.R. Olsen Jr.","year":"1999","unstructured":"Olsen Jr., D.R., et al.: Implementing interface attachments based on surface representations. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: the CHI is the Limit, CHI 1999, pp. 191\u2013198. ACM, Pittsburgh (1999) ISBN: 0-201-48559-1"},{"key":"4_CR20","unstructured":"Pilgrim, M.: Greasemonkey Hacks: Tips & Tools for Remixing the Web with Firefox (Hacks). O\u2019Reilly Media, Inc. (2005) ISBN: 0596101651"},{"key":"4_CR21","unstructured":"Planetary Developer Forum, http:\/\/trac.mathweb.org\/planetary\/ (visited on September 08, 2011)"},{"key":"4_CR22","unstructured":"Semantic Desktop, http:\/\/www.semanticdesktop.org\/ (visited on February 24, 2012)"},{"key":"4_CR23","unstructured":"Truenumbers, http:\/\/www.truenum.com (visited on February 24, 2012)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"1435","DOI":"10.1145\/1240624.1240842","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2007","author":"J. Wong","year":"2007","unstructured":"Wong, J., Hong, J.I.: Making mashups with marmite: towards end-user programming for the web. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2007, pp. 1435\u20131444. ACM, San Jose (2007) ISBN: 978-1-59593-593-9"},{"key":"4_CR25","unstructured":"XUL language, https:\/\/developer.mozilla.org\/en\/XUL (visited on January 30, 2012)"},{"key":"4_CR26","unstructured":"XULRunner Runtime Environment, https:\/\/developer.mozilla.org\/en\/XULRunner (visited on February 29, 2012)"}],"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-31374-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T17:49:33Z","timestamp":1594316973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}