|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 983 occurrences of 561 keywords
|
|
|
Results
Found 1062 publication records. Showing 1049 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
161 | Yvonne Kammerer, Katharina Scheiter, Wolfgang Beinhauer |
Looking my way through the menu: the impact of menu design and multimodal input on gaze-based menu selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 213-220, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
circular menus, usability, multimodal input, menu selection, gaze-based interaction |
154 | David Ahlström, Rainer Alexandrowicz, Martin Hitz |
Improving menu interaction: a comparison of standard, force enhanced and jumping menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 1067-1076, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cascading pull-down menus, menu enhancement, selection tasks, prediction models, interaction models, force fields, menu navigation |
145 | Xiangyu Wang 0001 |
Design and Evaluation of Intelligent Menu Interface through Cognitive Walkthrough Procedure and Automated Logging for Management Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design IV, 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers, pp. 408-418, 2007, Springer, 978-3-540-92718-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automated logging, dynamic menu, intelligent menu, usability, cognitive walkthrough, exploratory learning |
142 | Mikhail V. Goubko, Alexander I. Danilenko |
An automated routine for menu structure optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 67-76, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
depth vs. breadth, menu design automation, menu of mobile device, menu-driven system, optimal hierarchy, usability |
119 | Feng Tian 0001, Lishuang Xu, Hongan Wang, Xiaolong Zhang 0001, Yuanyuan Liu, Vidya Setlur, Guozhong Dai |
Tilt menu: using the 3D orientation information of pen devices to extend the selection capability of pen-based user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1371-1380, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pen-based ui, tilt menu, selection, orientation, pen |
116 | Mohammed Belatar, François Coldefy |
Sketched menu: a tabletop-menu technique for GUI object creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 77-86, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gui orientation, interaction technique, cscw, tabletop display, collocated collaboration, menu technique |
115 | Jungchul Park, Sung Ho Han, Yong S. Park, Youngseok Cho |
Usability of Adaptable and Adaptive Menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 405-411, 2007, Springer, 978-3-540-73286-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
113 | Sabine Schröder, Martina Ziefle |
Making a completely icon-based menu in mobile devices to become true: a user-centered design approach for its development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2008, Amsterdam, the Netherlands, September 2-5, 2008, pp. 137-146, 2008, ACM, 978-1-59593-952-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
icon-based menu, matching method, menu search task, naming method, population stereotypes, signproduction method, text-based menu |
103 | Kasper Hornbæk, Morten Hertzum |
Untangling the usability of fisheye menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 14(2), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fisheye menus, focus+context interfaces, information visualization, menu selection, hierarchical menus |
100 | Jérémie Francone, Gilles Bailly, Laurence Nigay, Eric Lecolinet |
Wavelet menu: une adaptation des marking menus pour les dispositifs mobiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009, pp. 367-370, 2009, ACM, 978-1-60558-461-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
wave menu, wavelet menu, mobile devices, marking menu, menu techniques |
97 | Seung Eun Lee, Geehyuk Lee |
K-menu: a keyword-based dynamic menu interface for small computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 2543-2548, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile interface, keyword, menu |
90 | Yukio Horiguchi, Hiroaki Nakanishi, Tetsuo Sawaragi, Yuji Kuroda |
Analysis of Breakdowns in Menu-Based Interaction Based on Information Scent Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 438-445, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Menu-based interaction, information scent model, communicative breakdowns, human-computer interaction |
87 | Kyungdoh Kim, Robert W. Proctor, Gavriel Salvendy |
Menu Design in Cell Phones: Use of 3D Menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III, pp. 48-57, 2009, Springer, 978-3-642-02579-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
3D menu, task complexity, cell phones, task type, menu design |
87 | M. Natchez, T. Prose |
Creating effective hypercard online documentation and training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 7th Annual International Conference on Systems Documentation, SIGDOC 1989, Pittsburgh, Pennsylvania, USA, November 8-10, 1989, pp. 41-44, 1989, ACM, 0-89791-337-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
84 | Leah Findlater, Joanna McGrenere |
A comparison of static, adaptive, and adaptable menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 89-96, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
user study, interaction techniques, customization, adaptable interfaces, adaptive interfaces, menu design |
84 | George W. Fitzmaurice, Azam Khan, Robert Pieké, William Buxton, Gordon Kurtenbach |
Tracking menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 16th Annual ACM Symposium on User Interface Software and Technology, Vancouver, Canada, November 2-5, 2003, pp. 71-79, 2003, ACM, 1-58113-636-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
floating palette, menu system, graphical user interface, tablet PC, pen based user interfaces |
81 | Min Yin, Shumin Zhai |
The benefits of augmenting telephone voice menu navigation with visual browsing and search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 319-328, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
integrated user experience, visual manual browsing, voice menu, instant messaging, keyword search, multi-modal interaction, telephone |
81 | Poika Isokoski |
Performance of menu-augmented soft keyboards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 423-430, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
text entry, Fitts' law, marking menu, soft keyboard |
81 | Kin Pou Lie |
Location learning in Chinese versus English menu selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 1034-1035, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
location learning, orthography, interface design, Chinese, menu selection |
78 | Namgyu Kim, Gerard Jounghyun Kim, Chan-Mo Park, Inseok Lee, Sung H. Lim |
Multimodal Menu Presentation and Selection in Immersive Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2000 Conference, VR'00, New Brunswick, New Jersey, USA, March 18-22, 2000, Proceedings, pp. 281, 2000, IEEE Computer Society, 0-7695-0478-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Menu Presentation, Virtual Environment, Multimodal Interaction, Menu Selection |
77 | Hiroshi Sasaki 0002, Tomohiro Kuroda, Yoshitsugu Manabe, Kunihiro Chihara |
Augmented Reality Based Input Interface for Wearable Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Worlds ![In: Virtual Worlds, Second International Conference, VW 2000, Paris, France, July 5-7, 2000, Proceedings, pp. 294-302, 2000, Springer, 3-540-67707-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
77 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
74 | David Ahlström, Andy Cockburn, Carl Gutwin, Pourang Irani |
Why it's quick to be square: modelling new and existing hierarchical menu designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1371-1380, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
performance models, menus, hierarchical menus |
74 | Myounghoon Jeon 0001, Siddharth Gupta, Benjamin K. Davison, Bruce N. Walker |
Auditory menus are not just spoken visual menus: a case study of "unavailable" menu items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3319-3324, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
auditory user interface, auditory menus |
74 | Balázs Gaál, István Vassányi, György Kozmann |
Application of Artificial Intelligence for Weekly Dietary Menu Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Computational Intelligence Paradigms in Healthcare - 2 ![In: Advanced Computational Intelligence Paradigms in Healthcare - 2, pp. 27-48, 2007, Springer, 978-3-540-72374-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
74 | Daniel Leithinger, Michael Haller |
Improving Menu Interaction for Cluttered Tabletop Setups with User-Drawn Path Menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tabletop ![In: Second IEEE International Workshop on Horizontal Interactive Human-Computer Systems (Tabletop 2007), October 10-12 2007, Newport, Rhode Island, USA, pp. 121-128, 2007, IEEE Computer Society, 0-7695-3013-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Gilles Bailly, Eric Lecolinet, Laurence Nigay |
Flower menus: a new type of marking menu with large menu breadth, within groups and efficient expert mode memorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008, pp. 15-22, 2008, ACM Press, 978-1-60558-141-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
within groups, curved gestures, expert mode, flower menus, novice mode, polygon menus, marking menus, learning performance |
71 | Yaohua Yu, Zhengjie Liu |
Improving the performance and usability for visual menu interface on mobile computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 369-372, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
sonically-enhanced menu, mobile computer, PDA, non-speech sound |
71 | Hyeongmook Lee, Woontack Woo |
Tangible spin cube for 3D ring menu in real space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 4147-4152, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
3D ring menu, augmented reality, tangible UI |
71 | Tuomo Kujala |
Efficiency of visual time-sharing behavior: the effects of menu structure on POI search tasks while driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Proceedings of 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2009, in-cooperation with ACM SIGCHI, Essen, Germany, 21-22 September 2009, pp. 63-70, 2009, ACM, 978-1-60558-571-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
levels of control, menu structures, visual load, strategies, workload, displays, time-sharing, visual interaction, driving performance, driver distraction, tactics |
71 | Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hidetoshi Ueno |
Automatic mobile menu customization based on user operation history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 11th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2009, Bonn, Germany, September 15-18, 2009, 2009, ACM, 978-1-60558-281-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile menu, SVM, support vector machine, personalization, recommendation |
71 | Koichi Hirota, Yosuke Watanabe, Yasushi Ikei |
Menu Selection Using Auditory Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III, pp. 70-75, 2007, Springer, 978-3-540-73108-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
keyboard input, auditory interface, menu selection |
71 | Min Yin, Shumin Zhai |
Dial and see: tackling the voice menu navigation problem with cross-device user experience integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 18th Annual ACM Symposium on User Interface Software and Technology, Seattle, WA, USA, October 23-26, 2005, pp. 187-190, 2005, ACM, 1-59593-271-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
device aggregation, device integration, integrated user experience, interacting with a group of devices, voice menu, instant messaging, multi-modal interaction, telephone |
71 | Robert St. Amant, Thomas E. Horton, Frank E. Ritter |
Model-based evaluation of cell phone menu interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 343-350, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
menu traversal, evaluation, cognitive modeling, mobile telephones |
64 | Myounghoon Jeon 0001, Benjamin K. Davison, Michael A. Nees, Jeff Wilson, Bruce N. Walker |
Enhanced auditory menu cues improve dual task performance and are preferred with in-vehicle technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AutomotiveUI ![In: Proceedings of 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2009, in-cooperation with ACM SIGCHI, Essen, Germany, 21-22 September 2009, pp. 91-98, 2009, ACM, 978-1-60558-571-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IVTs (in-vehicle technologies), TTS (text-to-speech), infotainment, spearcon, spindex, auditory display, dual task, auditory menus, multiple resources |
64 | Thuong N. Hoang, Bruce H. Thomas |
Augmented reality in-situ 3D model menu for outdoors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMAR ![In: 7th IEEE and ACM International Symposium on Mixed and Augmented Reality, ISMAR 2008, Cambridge, UK, 15-18th September 2008, pp. 185-186, 2008, IEEE Computer Society, 978-1-4244-2840-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Guo-Qiang Zhang 0001, Gongqin Shen, Ye Tian, Jiayang Sun |
Concept Analysis as a Formal Method for Menu Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, pp. 173-187, 2005, Springer, 3-540-34145-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Gaëtan Lorho, Jarmo Hiipakka, Juha Marila |
Structured Menu Presentation Using Spatial Sound Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings, pp. 419-424, 2002, Springer, 3-540-44189-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
64 | Sang Kyun Cha, Gio Wiederhold |
Kaleidoscope: A Cooperative Menu-Guided Query Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 387, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SQL |
64 | David K. Boesharr |
Le Menu: changing the user interface on a local area network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 19-20, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
64 | Raine A. Kajastila, Tapio Lokki |
A gesture-based and eyes-free control method for mobile devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3559-3564, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
accelerometers, 3d audio, gestural control, eyes-free, auditory-menu |
64 | David Ahlström |
Modeling and improving selection in cascading pull-down menus using Fitts' law, the steering law and force fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 61-70, 2005, ACM, 1-58113-998-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ascading pull-down menus, input devices, selection, Fitts' law, steering law, force fields, menu navigation |
61 | Peter Brandl, Jakob Leitner, Thomas Seifried, Michael Haller, Bernard Doray, Paul To |
Occlusion-aware menu design for digital tabletops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3223-3228, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tabletop, pen-based interface, pie menu, ergonomic evaluation, digital whiteboard |
61 | Shengdong Zhao, Pierre Dragicevic, Mark H. Chignell, Ravin Balakrishnan, Patrick Baudisch |
Earpod: eyes-free menu selection using touch input and reactive audio feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1395-1404, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gestural interaction, auditory menu |
61 | Lim Chee Koon |
A case study of icon-scenario based animated menu's concept development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 8th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2006, Helsinki, Finland, September 12-15, 2006, pp. 177-180, 2006, ACM, 1-59593-390-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
icon-scenario based animated menu, usability, graphic user interface |
58 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
58 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2010, Lisbon, Portugal, September 7-10, 2010, pp. 419-422, 2010, ACM, 978-1-60558-835-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
58 | Rick Komerska, Colin Ware |
A Study of Haptic Linear and Pie Menus in a 3D Fish Tank VR Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 12th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2004), 27-28 March 2004, Chicago, IL, USA, Proceedings, pp. 224-231, 2004, IEEE Computer Society, 0-7695-2112-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
58 | Gordon Kurtenbach, William Buxton |
The limits of expert performance using hierarchic marking menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 482-487, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
gestures, input devices, accelerators, marking menus, pie menus, pen based input |
55 | Krystian Samp, Stefan Decker |
Supporting menu design with radial layouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 155-162, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
radial layout, menus |
55 | Masakatsu Miyamoto, Tsutomu Terada, Masahiko Tsukamoto |
Design and implementation on a pie menu interface for analog joysticks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 154-155, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Dustin B. Chertoff, Ross W. Byers, Joseph J. LaViola Jr. |
An exploration of menu techniques using a 3D game input device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDG ![In: Proceedings of the 4th International Conference on Foundations of Digital Games, FDG 2009, Orlando, Florida, USA, April 26-30, 2009, pp. 256-262, 2009, ACM, 978-1-60558-437-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
usability, user studies, input devices, video games, 3D interaction |
55 | Robert St. Amant, Thomas E. Horton, Frank E. Ritter |
Model-based evaluation of expert cell phone menu interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 14(1), pp. 1, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Jeesu Lee, Doowon Paik |
An Improved Model to Evaluate Menu Hierarchies for Mobile Phones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction Platforms and Techniques, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 401-407, 2007, Springer, 978-3-540-73106-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mobile phone, GOMS, interface evaluation |
55 | Andy Cockburn, Carl Gutwin, Saul Greenberg |
A predictive model of menu performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 627-636, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hick-Hyman Law, performance modelling, Fitts' Law, menus, adaptive behaviour |
55 | Andy Cockburn, Andrew Gin |
Faster cascading menu selections with enlarged activation areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2006 Conference, June 7-9, 2006, Quebec, Canada, pp. 65-71, 2006, Canadian Human-Computer Communications Society, 1-56881-308-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
target adaptation, target acquisition, cascades, hierarchical menus, bubble cursors |
55 | Martina Ziefle, Susanne Bay |
Mental Models of a Cellular Phone Menu. Comparing Older and Younger Novice Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Mobile Human-Computer Interaction - Mobile HCI 2004, 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings, pp. 25-37, 2004, Springer, 3-540-23086-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Doug A. Bowman, Chadwick A. Wingrave |
Design and Evaluation of Menu Systems for Immersive Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2001 Conference, VR'01, Yokohama, Japan, March 13-17, 2001, Proceedings, pp. 149-156, 2001, IEEE Computer Society, 0-7695-0948-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
55 | Shouichi Matsui, Seiji Yamada |
Genetic algorithm can optimize hierarchical menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1385-1388, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, optimization, hierarchical menu |
55 | Erum Tanvir, Jonathan Cullen, Pourang Irani, Andy Cockburn |
AAMU: adaptive activation area menus for improving selection in cascading pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1381-1384, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aamu, cascading pull-down menus, force field menus, force-aamu, selection, steering, menu navigation |
55 | Shouichi Matsui, Seiji Yamada |
Optimizing hierarchical menus by genetic algorithm and simulated annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 1587-1594, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithm, optimization, simulated annealing, hierarchical menu |
52 | Luigi Troiano, Cosimo Birtolo, Roberto Armenise, Gennaro Cirillo |
Optimization of Menu Layouts by Means of Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings, pp. 242-253, 2008, Springer, 978-3-540-78603-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
menu layout, optimization, search based software engineering, GUI design |
49 | Lin Jiang, Yu-Han Chen |
Menu Design on Small Display User Interfaces: Measuring the Influence of Menu Type, Number of Preview Items, and Menu Breadth on Navigation Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 38(7), pp. 631-645, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
49 | Kang Zhong, Feng Tian 0001, Hongan Wang |
Foot Menu: Using Heel Rotation Information for Menu Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: 15th IEEE International Symposium on Wearable Computers (ISWC 2011), 12-15 June 2011, San Francisco, CA, USA, pp. 115-116, 2011, IEEE Computer Society, 978-1-4577-0774-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
foot-based interaction, foot gesture, menu selection |
48 | Paul Beam |
Down-sizing in DOS: multi-media as inexpensive, omnipresent and user-based. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 10th Annual International Conference on Systems Documentation, SIGDOC 1992, Ottawa, Ontario, Canada, October 13-16, 1992, pp. 183-190, 1992, ACM, 0-89791-532-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
46 | Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![Springer, 978-3-031-08165-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh |
Further Lessons from the JML Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 313-349, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Dominic Steinhöfel |
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 446-480, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson |
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 80-104, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Daniele Mundici |
Computing in Łukasiewicz Logic and AF-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 382-396, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich |
The Karlsruhe Java Verification Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 290-312, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Chu Min Li, Felip Manyà |
Inference in MaxSAT and MinSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 350-369, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Marieke Huisman, Raúl E. Monti |
Teaching Design by Contract Using Snap! ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 243-263, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Wojciech Mostowski |
Implications of Deductive Verification on Research Quality - Field Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 370-381, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Frank S. de Boer, Stijn de Gouw |
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 173-192, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 1-18, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Rudolf Schlatte |
A Note on Idleness Detection of Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 437-445, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel |
Towards a Modular and Variability-Aware Aerodynamic Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 147-172, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | David R. Cok, K. Rustan M. Leino |
Specifying the Boundary Between Unverified and Verified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 105-128, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Eduard Kamburjan, Sandro Rama Fiorini |
On the Notion of Naturalness in Formal Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 264-289, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Dilian Gurov, Christian Lidström, Philipp Rümmer |
Alice in Wineland: A Fairy Tale with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 229-242, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Silvia Crafa, Cosimo Laneve |
Programming Legal Contracts - A Beginners Guide to Stipula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 129-146, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Silvia Lizeth Tapia Tarifa |
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 481-499, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif |
Software & System Verification with KIV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 408-436, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Nathan Wasser |
Transparent Treatment of for-Loops in Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 500-519, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez |
When COSTA Met KeY: Verified Cost Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 19-37, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Alexander Bainczyk, Bernhard Steffen, Falk Howar |
Lifelong Learning of Reactive Systems in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 38-53, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati |
A Case Study in Information Flow Refinement for Low Level Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 54-79, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Aarne Ranta |
Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 397-407, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer |
Improving Automatic Complexity Analysis of Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Software. A Tasting Menu of Formal Methods ![In: The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday, pp. 193-228, 2022, Springer, 978-3-031-08165-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
45 | Park Jong Soon, Rohae Myung |
Evaluation of menu structure based on signal detection theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 26th Annual International Conference on Design of Communication, SIGDOC 2008, Lisbon, Portugal, September 22-24, 2008, pp. 81-86, 2008, ACM, 978-1-60558-083-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
methodology support for usability evaluation, signal detection theory, user-centered design, eye-tracking, information architecture |
45 | Geoffrey Tien, M. Stella Atkins |
Improving hands-free menu selection using eyegaze glances and fixations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2008, Savannah, Georgia, USA, March 26-28, 2008, pp. 47-50, 2008, ACM, 978-1-59593-982-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hands free, pointing and selection, eye tracking, surgery, eye pointing |
45 | Saverio Perugini, Taylor J. Anderson, William F. Moroney |
A study of out-of-turn interaction in menu-based, IVR, voicemail systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 961-970, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated telephone services (ATS), automatic speech recognition (ASR), interactive voice-response systems (IVRs), out-of-turn interaction, usability, user studies, speech user interfaces, mixed-initiative interaction |
45 | Xuemin Zhang, Wen Shan, Qin Xu, Bin Yang, Yun-Feng Zhang |
An Ergonomics Study of Menu-Operation on Mobile Phone Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITA ![In: Proceedings of the Workshop on Intelligent Information Technology Application, IITA 2007, Zhang Jiajie, China, December 2-3, 2007, pp. 247-251, 2007, IEEE Computer Society, 0-7695-3063-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Paula J. Edwards, Leon Barnard, V. Kathlene Emery, Ji Soo Yi, Kevin P. Moloney, Thitima Kongnakorn, Julie A. Jacko, François Sainfort, Pamela R. Oliver, Joseph Pizzimenti, Annette Bade, Greg Fecho, Josephine Shallo-Hoffmann |
Strategic design for users with diabetic retinopathy: factors influencing performance in a menu-selection task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2004, Atlanta, GA, USA, October 18-20, 2004, pp. 118-125, 2004, ACM, 1-58113-911-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
windows accessibility settings, visual impairment, haptic feedback, menus, auditory feedback, multimodal feedback, diabetic retinopathy |
45 | Anthony J. Hornof, David E. Kieras |
Cognitive Modeling Demonstrates How People Use Anticipated Location Knowledge of Menu Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceeding of the CHI '99 Conference on Human Factors in Computing Systems: The CHI is the Limit, Pittsburgh, PA, USA, May 15-20, 1999., pp. 410-417, 1999, ACM, 0-201-48559-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
cognitive models, Fitts' law, visual search, menus |
45 | Brian R. Huguenard, F. Javier Lerch, Brian W. Junker, Richard J. Patz, Robert E. Kass |
Working-Memory Failure in Phone-Based Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 4(2), pp. 67-102, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
user error, cognitive model, individual differences, working memory, auditory menu |
42 | Leah Findlater, Karyn Moffatt, Joanna McGrenere, Jessica Q. Dawson |
Ephemeral adaptation: the use of gradual onset to improve menu selection performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1655-1664, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
abrupt visual onset, personalization, user study, interaction techniques, adaptive interfaces, menu design |
38 | Mathieu Nancel, Stéphane Huot, Michel Beaudouin-Lafon |
Un espace de conception fondé sur une analyse morphologique des techniques de menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009, pp. 13-22, 2009, ACM, 978-1-60558-461-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design space, morphological analysis, menus |
38 | Martina Ziefle |
Instruction Formats and Navigation Aids in Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USAB ![In: HCI and Usability for Education and Work, 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings, pp. 339-358, 2008, Springer, 978-3-540-89349-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Instruction format, navigation effectiveness, landmark knowledge, route knowledge, survey knowledge, efficiency, navigation aid |
Displaying result #1 - #100 of 1049 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|