{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T10:10:48Z","timestamp":1760955048828},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,4,30]],"date-time":"2008-04-30T00:00:00Z","timestamp":1209513600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10601-008-9043-2","type":"journal-article","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T04:54:16Z","timestamp":1209444856000},"page":"307-342","source":"Crossref","is-referenced-by-count":39,"title":["Domain Specific High-Level Constraints for User Interface Layout"],"prefix":"10.1007","volume":"13","author":[{"given":"Christof","family":"Lutteroth","sequence":"first","affiliation":[]},{"given":"Robert","family":"Strandh","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,4,30]]},"reference":[{"key":"9043_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/304893.304937","volume-title":"SCG \u201999: Proceedings of the 15th annual symposium on computational geometry","author":"R. J. Anderson","year":"1999","unstructured":"Anderson, R. J., & Sobti, S. (1999). The table layout problem. In SCG \u201999: Proceedings of the 15th annual symposium on computational geometry (pp. 115\u2013123). New York: ACM Press."},{"issue":"4","key":"9043_CR2","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1145\/504704.504705","volume":"8","author":"G. J. Badros","year":"2001","unstructured":"Badros, G. J., Borning, A., & Stuckey, P. J. (2001). The cassowary linear arithmetic constraint solving algorithm. ACM Transactions on Computer-Human Interaction, 8(4), 267\u2013306.","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"9043_CR3","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1017\/CBO9780511663130.003","volume-title":"Text processing and document manipulation","author":"R. Beach","year":"1986","unstructured":"Beach, R. (1986). Tabular typography. In R. Furuta (Ed.), Text processing and document manipulation (pp. 18\u201333). Cambridge: The British Computer Society, Cambridge University Press."},{"key":"9043_CR4","unstructured":"Berkelaar, M., Notebaert, P., & Eikland, K. (2007). lp_solve: (Mixed integer) linear programming problem solver. http:\/\/lpsolve.sourceforge.net\/ ."},{"key":"9043_CR5","unstructured":"Bill, T., Lundell, B., McDonald, J. A., & Sannella, M. (1992). Bricklayer: Window layout using linear programming. Technical report, University of Washington (May)."},{"issue":"1","key":"9043_CR6","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1009704614502","volume":"3","author":"A. Borning","year":"1998","unstructured":"Borning, A., & Freeman-Benson, B. (1998). Ultraviolet: A constraint satisfaction algorithm for interactive graphics. Constraints, 3(1), 9\u201332.","journal-title":"Constraints"},{"issue":"3","key":"9043_CR7","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Borning, A., Freeman-Benson, B., & Wilson, M. (1992). Constraint hierarchies. LISP and Symbolic Computation, 5(3), 223\u2013270.","journal-title":"LISP and Symbolic Computation"},{"issue":"3","key":"9043_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s005300000043","volume":"8","author":"A. Borning","year":"2000","unstructured":"Borning, A., Lin, R. K. H., & Marriott, K. (2000). Constraint-based document layout for the Web. Multimedia Systems, 8(3), 177\u2013189.","journal-title":"Multimedia Systems"},{"key":"9043_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/263407.263518","volume-title":"UIST \u201997: Proceedings of the 10th annual ACM symposium on user interface software and technology","author":"A. Borning","year":"1997","unstructured":"Borning, A., Marriott, K., Stuckey, P., & Xiao, Y. (1997). Solving linear arithmetic constraints for user interface applications. In UIST \u201997: Proceedings of the 10th annual ACM symposium on user interface software and technology (pp. 87\u201396). New York: ACM Press."},{"issue":"3","key":"9043_CR10","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1044201.1044202","volume":"16","author":"J. Coutaz","year":"1985","unstructured":"Coutaz, J. (1985). A layout abstraction for user-system interface. SIGCHI Bulletin, 16(3), 18\u201324.","journal-title":"SIGCHI Bulletin"},{"key":"9043_CR11","volume-title":"Linear Programming and Extensions","author":"G. B. Dantzig","year":"1963","unstructured":"Dantzig, G. B. (1963). Linear Programming and Extensions. Princeton, NJ: Princeton University Press."},{"key":"9043_CR12","volume-title":"Form-oriented analysis\u2014a new methodology to model form-based applications","author":"D. Draheim","year":"2004","unstructured":"Draheim, D., & Weber, G. (2004). Form-oriented analysis\u2014a new methodology to model form-based applications. New York: Springer."},{"issue":"1","key":"9043_CR13","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B. N. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B. N., Maloney, J., & Borning, A. (1990). An incremental constraint solver. Communications of the ACM, 33(1), 54\u201363.","journal-title":"Communications of the ACM"},{"key":"9043_CR14","unstructured":"Frisch, A. M., Hnich, B., Miguel, I., Smith, B. M., & Walsh T. (2002). Towards CSP model reformulation at multiple levels of abstraction. In International workshop on reformulating constraint satisfaction problems at CP-02. Ithaca, NY."},{"key":"9043_CR15","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-45349-0_17","volume-title":"CP 2000: Proceedings of the 6th international conference on principles and practice of constraint programming","author":"H. Hosobe","year":"2000","unstructured":"Hosobe, H. (2000). A scalable linear constraint solver for user interface construction. In CP 2000: Proceedings of the 6th international conference on principles and practice of constraint programming (pp. 218\u2013232). New York: Springer."},{"key":"9043_CR16","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/502348.502362","volume-title":"UIST \u201901: Proceedings of the 14th annual acm symposium on user interface software and technology","author":"H. Hosobe","year":"2001","unstructured":"Hosobe, H. (2001). A modular geometric constraint solver for user interface applications. In UIST \u201901: Proceedings of the 14th annual acm symposium on user interface software and technology (pp. 91\u2013100). New York: ACM Press."},{"issue":"1","key":"9043_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1021946627805","volume":"8","author":"H. Hosobe","year":"2003","unstructured":"Hosobe, H., & Matsuoka, S. (2003). A foundation of solution methods for constraint hierarchies. Constraints, 8(1), 41\u201359.","journal-title":"Constraints"},{"issue":"3","key":"9043_CR18","doi-asserted-by":"crossref","first-page":"838","DOI":"10.1145\/882262.882353","volume":"22","author":"C. Jacobs","year":"2003","unstructured":"Jacobs, C., Li, W., Schrier, E., Bargeron, D., & Salesin, D. (2003). Adaptive grid-based document layout. ACM Transactions on Graphics, 22(3), 838\u2013847.","journal-title":"ACM Transactions on Graphics"},{"issue":"8","key":"9043_CR19","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/1012037.1012063","volume":"47","author":"C. Jacobs","year":"2004","unstructured":"Jacobs, C., Li, W., Schrier, E., Bargeron, D., & Salesin, D. (2004). Adaptive document layout. Communications of the ACM, 47(8), 60\u201366.","journal-title":"Communications of the ACM"},{"key":"9043_CR20","volume-title":"TEAA \u201906: Proceedings of the 2nd international conference on trends in enterprise application architecture","author":"C. Lutteroth","year":"2006","unstructured":"Lutteroth, C. (2006). AP1: A platform for model-based software engineering. In TEAA \u201906: Proceedings of the 2nd international conference on trends in enterprise application architecture. New York: Springer."},{"key":"9043_CR21","first-page":"65","volume-title":"Proc. ninth Australasian user interface conference (AUIC 2008), CRPIT 76, ACS","author":"C. Lutteroth","year":"2008","unstructured":"Lutteroth, C. (2008). Automated reverse engineering of hard-coded GUI layouts. In B. Plimmer & G. Weber (Eds.), Proc. ninth Australasian user interface conference (AUIC 2008), CRPIT 76, ACS (pp. 65\u201373). Australia: Wollongong, NSW."},{"key":"9043_CR22","first-page":"53","volume-title":"AUIC \u201906: Proceedings of the 7th australasian user interface conference","author":"C. Lutteroth","year":"2006","unstructured":"Lutteroth, C., & Weber, G. (2006). User interface layout with ordinal and linear constraints. In AUIC \u201906: Proceedings of the 7th australasian user interface conference (pp. 53\u201360). Darlinghurst: Australian Computer Society."},{"key":"9043_CR23","first-page":"300","volume-title":"ASWEC 2008: Proceedings of the 19th australian software engineering conference","author":"C. Lutteroth","year":"2008","unstructured":"Lutteroth, C., & Weber, G. (2008). Modular specification of GUI layout using constraints. In ASWEC 2008: Proceedings of the 19th australian software engineering conference (pp. 300\u2013309). New York: IEEE."},{"issue":"3\u20134","key":"9043_CR24","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1020513316058","volume":"7","author":"K. Marriott","year":"2002","unstructured":"Marriott, K., & Chok, S. S. (2002). Qoca: A constraint solving toolkit for interactive graphical applications. Constraints, 7(3\u20134), 229\u2013254.","journal-title":"Constraints"},{"issue":"1","key":"9043_CR25","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1021902812784","volume":"8","author":"P. Meseguer","year":"2003","unstructured":"Meseguer, P., Bouhmala, N., Bouzoubaa, T., Irgens, M., & S\u00e1nchez, M. (2003). Current approaches for solving over-constrained problems. Constraints, 8(1), 9\u201339.","journal-title":"Constraints"},{"key":"9043_CR26","doi-asserted-by":"crossref","unstructured":"Raggett, D. (1996). RFC1942: HTML Tables.","DOI":"10.17487\/rfc1942"},{"key":"9043_CR27","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/192426.192485","volume-title":"UIST \u201994: Proceedings of the 7th annual ACM symposium on user interface software and technology","author":"M. Sannella","year":"1994","unstructured":"Sannella, M. (1994). Skyblue: a multi-way local propagation constraint solver for user interface construction. In UIST \u201994: Proceedings of the 7th annual ACM symposium on user interface software and technology (pp. 137\u2013146). New York: ACM Press."},{"key":"9043_CR28","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/502187.502198","volume-title":"DocEng \u201901: Proceedings of the 2001 ACM symposium on document engineering","author":"H. Silberhorn","year":"2001","unstructured":"Silberhorn, H. (2001). TabulaMagica: An integrated approach to manage complex tables. In DocEng \u201901: Proceedings of the 2001 ACM symposium on document engineering (pp. 68\u201375). New York: ACM Press."},{"key":"9043_CR29","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/800209.806460","volume-title":"Proceedings of the ACM SIGPLAN SIGOA symposium on text manipulation","author":"C. J. Wyk Van","year":"1981","unstructured":"Van Wyk, C. J. (1981). A graphics typesetting language. In Proceedings of the ACM SIGPLAN SIGOA symposium on text manipulation (pp. 99\u2013107). New York: ACM Press."},{"key":"9043_CR30","volume-title":"The JFC swing tutorial: A guide to constructing GUIs","author":"K. Walrath","year":"2004","unstructured":"Walrath, K., Campione, M., Huml, A., & Zakhour, S. (2004). How to use GridBagLayout. In The JFC swing tutorial: A guide to constructing GUIs. Boston: Addison-Wesley Professional."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9043-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-008-9043-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-008-9043-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:14:14Z","timestamp":1559243654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-008-9043-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,30]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["9043"],"URL":"https:\/\/doi.org\/10.1007\/s10601-008-9043-2","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,30]]}}}