The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for menu with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1982 (15) 1983-1985 (26) 1986-1987 (32) 1988 (15) 1989-1990 (39) 1991-1992 (17) 1993-1994 (27) 1995-1997 (24) 1998-1999 (19) 2000-2001 (27) 2002 (23) 2003 (36) 2004 (44) 2005 (43) 2006 (46) 2007 (78) 2008 (67) 2009 (74) 2010 (33) 2011 (37) 2012 (20) 2013 (20) 2014 (22) 2015 (21) 2016 (22) 2017 (25) 2018 (34) 2019 (31) 2020 (24) 2021 (25) 2022 (59) 2023 (18) 2024 (6)
Publication types (Num. hits)
article(258) incollection(1) inproceedings(781) phdthesis(8) proceedings(1)
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
161Yvonne 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 ETRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF circular menus, usability, multimodal input, menu selection, gaze-based interaction
154David Ahlström, Rainer Alexandrowicz, Martin Hitz Improving menu interaction: a comparison of standard, force enhanced and jumping menus. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cascading pull-down menus, menu enhancement, selection tasks, prediction models, interaction models, force fields, menu navigation
145Xiangyu Wang 0001 Design and Evaluation of Intelligent Menu Interface through Cognitive Walkthrough Procedure and Automated Logging for Management Information System. Search on Bibsonomy CSCWD (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated logging, dynamic menu, intelligent menu, usability, cognitive walkthrough, exploratory learning
142Mikhail V. Goubko, Alexander I. Danilenko An automated routine for menu structure optimization. Search on Bibsonomy EICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF depth vs. breadth, menu design automation, menu of mobile device, menu-driven system, optimal hierarchy, usability
119Feng 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 CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pen-based ui, tilt menu, selection, orientation, pen
116Mohammed Belatar, François Coldefy Sketched menu: a tabletop-menu technique for GUI object creation. Search on Bibsonomy EICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF gui orientation, interaction technique, cscw, tabletop display, collocated collaboration, menu technique
115Jungchul Park, Sung Ho Han, Yong S. Park, Youngseok Cho Usability of Adaptable and Adaptive Menus. Search on Bibsonomy HCI (10) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
113Sabine 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 Mobile HCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF icon-based menu, matching method, menu search task, naming method, population stereotypes, signproduction method, text-based menu
103Kasper Hornbæk, Morten Hertzum Untangling the usability of fisheye menus. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fisheye menus, focus+context interfaces, information visualization, menu selection, hierarchical menus
100Jérémie Francone, Gilles Bailly, Laurence Nigay, Eric Lecolinet Wavelet menu: une adaptation des marking menus pour les dispositifs mobiles. Search on Bibsonomy IHM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF wave menu, wavelet menu, mobile devices, marking menu, menu techniques
97Seung Eun Lee, Geehyuk Lee K-menu: a keyword-based dynamic menu interface for small computers. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mobile interface, keyword, menu
90Yukio Horiguchi, Hiroaki Nakanishi, Tetsuo Sawaragi, Yuji Kuroda Analysis of Breakdowns in Menu-Based Interaction Based on Information Scent Model. Search on Bibsonomy HCI (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Menu-based interaction, information scent model, communicative breakdowns, human-computer interaction
87Kyungdoh Kim, Robert W. Proctor, Gavriel Salvendy Menu Design in Cell Phones: Use of 3D Menus. Search on Bibsonomy HCI (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 3D menu, task complexity, cell phones, task type, menu design
87M. Natchez, T. Prose Creating effective hypercard online documentation and training. Search on Bibsonomy SIGDOC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
84Leah Findlater, Joanna McGrenere A comparison of static, adaptive, and adaptable menus. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF user study, interaction techniques, customization, adaptable interfaces, adaptive interfaces, menu design
84George W. Fitzmaurice, Azam Khan, Robert Pieké, William Buxton, Gordon Kurtenbach Tracking menus. Search on Bibsonomy UIST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF floating palette, menu system, graphical user interface, tablet PC, pen based user interfaces
81Min Yin, Shumin Zhai The benefits of augmenting telephone voice menu navigation with visual browsing and search. Search on Bibsonomy CHI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF integrated user experience, visual manual browsing, voice menu, instant messaging, keyword search, multi-modal interaction, telephone
81Poika Isokoski Performance of menu-augmented soft keyboards. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF text entry, Fitts' law, marking menu, soft keyboard
81Kin Pou Lie Location learning in Chinese versus English menu selection. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2003 DBLP  DOI  BibTeX  RDF location learning, orthography, interface design, Chinese, menu selection
78Namgyu Kim, Gerard Jounghyun Kim, Chan-Mo Park, Inseok Lee, Sung H. Lim Multimodal Menu Presentation and Selection in Immersive Virtual Environments. Search on Bibsonomy VR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Menu Presentation, Virtual Environment, Multimodal Interaction, Menu Selection
77Hiroshi Sasaki 0002, Tomohiro Kuroda, Yoshitsugu Manabe, Kunihiro Chihara Augmented Reality Based Input Interface for Wearable Computers. Search on Bibsonomy Virtual Worlds The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
77Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
74David 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 CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF performance models, menus, hierarchical menus
74Myounghoon 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 CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF auditory user interface, auditory menus
74Balázs Gaál, István Vassányi, György Kozmann Application of Artificial Intelligence for Weekly Dietary Menu Planning. Search on Bibsonomy Advanced Computational Intelligence Paradigms in Healthcare - 2 The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
74Daniel Leithinger, Michael Haller Improving Menu Interaction for Cluttered Tabletop Setups with User-Drawn Path Menus. Search on Bibsonomy Tabletop The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Gilles 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 AVI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF within groups, curved gestures, expert mode, flower menus, novice mode, polygon menus, marking menus, learning performance
71Yaohua Yu, Zhengjie Liu Improving the performance and usability for visual menu interface on mobile computers. Search on Bibsonomy AVI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF sonically-enhanced menu, mobile computer, PDA, non-speech sound
71Hyeongmook Lee, Woontack Woo Tangible spin cube for 3D ring menu in real space. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF 3D ring menu, augmented reality, tangible UI
71Tuomo Kujala Efficiency of visual time-sharing behavior: the effects of menu structure on POI search tasks while driving. Search on Bibsonomy AutomotiveUI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF levels of control, menu structures, visual load, strategies, workload, displays, time-sharing, visual interaction, driving performance, driver distraction, tactics
71Yusuke Fukazawa, Mirai Hara, Masashi Onogi, Hidetoshi Ueno Automatic mobile menu customization based on user operation history. Search on Bibsonomy Mobile HCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mobile menu, SVM, support vector machine, personalization, recommendation
71Koichi Hirota, Yosuke Watanabe, Yasushi Ikei Menu Selection Using Auditory Interface. Search on Bibsonomy HCI (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF keyboard input, auditory interface, menu selection
71Min Yin, Shumin Zhai Dial and see: tackling the voice menu navigation problem with cross-device user experience integration. Search on Bibsonomy UIST The full citation details ... 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
71Robert St. Amant, Thomas E. Horton, Frank E. Ritter Model-based evaluation of cell phone menu interaction. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF menu traversal, evaluation, cognitive modeling, mobile telephones
64Myounghoon 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 AutomotiveUI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF IVTs (in-vehicle technologies), TTS (text-to-speech), infotainment, spearcon, spindex, auditory display, dual task, auditory menus, multiple resources
64Thuong N. Hoang, Bruce H. Thomas Augmented reality in-situ 3D model menu for outdoors. Search on Bibsonomy ISMAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Guo-Qiang Zhang 0001, Gongqin Shen, Ye Tian, Jiayang Sun Concept Analysis as a Formal Method for Menu Design. Search on Bibsonomy DSV-IS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Gaëtan Lorho, Jarmo Hiipakka, Juha Marila Structured Menu Presentation Using Spatial Sound Separation. Search on Bibsonomy Mobile HCI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
64Sang Kyun Cha, Gio Wiederhold Kaleidoscope: A Cooperative Menu-Guided Query Interface. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SQL
64David K. Boesharr Le Menu: changing the user interface on a local area network. Search on Bibsonomy SIGUCCS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
64Raine A. Kajastila, Tapio Lokki A gesture-based and eyes-free control method for mobile devices. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2009 DBLP  DOI  BibTeX  RDF accelerometers, 3d audio, gestural control, eyes-free, auditory-menu
64David Ahlström Modeling and improving selection in cascading pull-down menus using Fitts' law, the steering law and force fields. Search on Bibsonomy CHI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ascading pull-down menus, input devices, selection, Fitts' law, steering law, force fields, menu navigation
61Peter Brandl, Jakob Leitner, Thomas Seifried, Michael Haller, Bernard Doray, Paul To Occlusion-aware menu design for digital tabletops. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tabletop, pen-based interface, pie menu, ergonomic evaluation, digital whiteboard
61Shengdong 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 CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF gestural interaction, auditory menu
61Lim Chee Koon A case study of icon-scenario based animated menu's concept development. Search on Bibsonomy Mobile HCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF icon-scenario based animated menu, usability, graphic user interface
58Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
58Hector Ouilhet Google Sky Map: using your phone as an interface. Search on Bibsonomy Mobile HCI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
58Rick Komerska, Colin Ware A Study of Haptic Linear and Pie Menus in a 3D Fish Tank VR Environment. Search on Bibsonomy HAPTICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Gordon Kurtenbach, William Buxton The limits of expert performance using hierarchic marking menus. Search on Bibsonomy INTERCHI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF gestures, input devices, accelerators, marking menus, pie menus, pen based input
55Krystian Samp, Stefan Decker Supporting menu design with radial layouts. Search on Bibsonomy AVI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF radial layout, menus
55Masakatsu Miyamoto, Tsutomu Terada, Masahiko Tsukamoto Design and implementation on a pie menu interface for analog joysticks. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Dustin B. Chertoff, Ross W. Byers, Joseph J. LaViola Jr. An exploration of menu techniques using a 3D game input device. Search on Bibsonomy FDG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF usability, user studies, input devices, video games, 3D interaction
55Robert St. Amant, Thomas E. Horton, Frank E. Ritter Model-based evaluation of expert cell phone menu interaction. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Jeesu Lee, Doowon Paik An Improved Model to Evaluate Menu Hierarchies for Mobile Phones. Search on Bibsonomy HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mobile phone, GOMS, interface evaluation
55Andy Cockburn, Carl Gutwin, Saul Greenberg A predictive model of menu performance. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hick-Hyman Law, performance modelling, Fitts' Law, menus, adaptive behaviour
55Andy Cockburn, Andrew Gin Faster cascading menu selections with enlarged activation areas. Search on Bibsonomy Graphics Interface The full citation details ... 2006 DBLP  BibTeX  RDF target adaptation, target acquisition, cascades, hierarchical menus, bubble cursors
55Martina Ziefle, Susanne Bay Mental Models of a Cellular Phone Menu. Comparing Older and Younger Novice Users. Search on Bibsonomy Mobile HCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Doug A. Bowman, Chadwick A. Wingrave Design and Evaluation of Menu Systems for Immersive Virtual Environments. Search on Bibsonomy VR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Shouichi Matsui, Seiji Yamada Genetic algorithm can optimize hierarchical menus. Search on Bibsonomy CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF genetic algorithm, optimization, hierarchical menu
55Erum Tanvir, Jonathan Cullen, Pourang Irani, Andy Cockburn AAMU: adaptive activation area menus for improving selection in cascading pull-down menus. Search on Bibsonomy CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aamu, cascading pull-down menus, force field menus, force-aamu, selection, steering, menu navigation
55Shouichi Matsui, Seiji Yamada Optimizing hierarchical menus by genetic algorithm and simulated annealing. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF genetic algorithm, optimization, simulated annealing, hierarchical menu
52Luigi Troiano, Cosimo Birtolo, Roberto Armenise, Gennaro Cirillo Optimization of Menu Layouts by Means of Genetic Algorithms. Search on Bibsonomy EvoCOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF menu layout, optimization, search based software engineering, GUI design
49Lin 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 Int. J. Hum. Comput. Interact. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
49Kang Zhong, Feng Tian 0001, Hongan Wang Foot Menu: Using Heel Rotation Information for Menu Selection. Search on Bibsonomy ISWC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF foot-based interaction, foot gesture, menu selection
48Paul Beam Down-sizing in DOS: multi-media as inexpensive, omnipresent and user-based. Search on Bibsonomy SIGDOC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
46Wolfgang 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 The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh Further Lessons from the JML Project. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Dominic Steinhöfel Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Tabea 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 The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Daniele Mundici Computing in Łukasiewicz Logic and AF-Algebras. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich The Karlsruhe Java Verification Suite. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Chu Min Li, Felip Manyà Inference in MaxSAT and MinSAT. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Marieke Huisman, Raúl E. Monti Teaching Design by Contract Using Snap! Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Wojciech Mostowski Implications of Deductive Verification on Research Quality - Field Study. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Frank S. de Boer, Stijn de Gouw Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Ole 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 The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Rudolf Schlatte A Note on Idleness Detection of Actor Systems. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel Towards a Modular and Variability-Aware Aerodynamic Simulator. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46David R. Cok, K. Rustan M. Leino Specifying the Boundary Between Unverified and Verified Code. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Eduard Kamburjan, Sandro Rama Fiorini On the Notion of Naturalness in Formal Modeling. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Dilian Gurov, Christian Lidström, Philipp Rümmer Alice in Wineland: A Fairy Tale with Contracts. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Silvia Crafa, Cosimo Laneve Programming Legal Contracts - A Beginners Guide to Stipula. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Silvia Lizeth Tapia Tarifa Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif Software & System Verification with KIV. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Nathan Wasser Transparent Treatment of for-Loops in Proofs. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez When COSTA Met KeY: Verified Cost Bounds. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Alexander Bainczyk, Bernhard Steffen, Falk Howar Lifelong Learning of Reactive Systems in Practice. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati A Case Study in Information Flow Refinement for Low Level Systems. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Aarne Ranta Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer Improving Automatic Complexity Analysis of Integer Programs. Search on Bibsonomy The Logic of Software. A Tasting Menu of Formal Methods The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
45Park Jong Soon, Rohae Myung Evaluation of menu structure based on signal detection theory. Search on Bibsonomy SIGDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF methodology support for usability evaluation, signal detection theory, user-centered design, eye-tracking, information architecture
45Geoffrey Tien, M. Stella Atkins Improving hands-free menu selection using eyegaze glances and fixations. Search on Bibsonomy ETRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hands free, pointing and selection, eye tracking, surgery, eye pointing
45Saverio Perugini, Taylor J. Anderson, William F. Moroney A study of out-of-turn interaction in menu-based, IVR, voicemail systems. Search on Bibsonomy CHI The full citation details ... 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
45Xuemin Zhang, Wen Shan, Qin Xu, Bin Yang, Yun-Feng Zhang An Ergonomics Study of Menu-Operation on Mobile Phone Interface. Search on Bibsonomy IITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Paula 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 ASSETS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF windows accessibility settings, visual impairment, haptic feedback, menus, auditory feedback, multimodal feedback, diabetic retinopathy
45Anthony J. Hornof, David E. Kieras Cognitive Modeling Demonstrates How People Use Anticipated Location Knowledge of Menu Items. Search on Bibsonomy CHI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF cognitive models, Fitts' law, visual search, menus
45Brian R. Huguenard, F. Javier Lerch, Brian W. Junker, Richard J. Patz, Robert E. Kass Working-Memory Failure in Phone-Based Interaction. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF user error, cognitive model, individual differences, working memory, auditory menu
42Leah Findlater, Karyn Moffatt, Joanna McGrenere, Jessica Q. Dawson Ephemeral adaptation: the use of gradual onset to improve menu selection performance. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abrupt visual onset, personalization, user study, interaction techniques, adaptive interfaces, menu design
38Mathieu Nancel, Stéphane Huot, Michel Beaudouin-Lafon Un espace de conception fondé sur une analyse morphologique des techniques de menus. Search on Bibsonomy IHM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF design space, morphological analysis, menus
38Martina Ziefle Instruction Formats and Navigation Aids in Mobile Devices. Search on Bibsonomy USAB The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license