default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th HRI 2012: Boston, MA, USA
- Holly A. Yanco, Aaron Steinfeld, Vanessa Evers, Odest Chadwicke Jenkins:
International Conference on Human-Robot Interaction, HRI'12, Boston, MA, USA - March 05 - 08, 2012. ACM 2012, ISBN 978-1-4503-1063-5
Robot manipulation and programming
- Adam Leeper, Kaijen Hsiao, Matei T. Ciocarlie, Leila Takayama, David Gossow:
Strategies for human-in-the-loop robotic grasping. 1-8 - Wesley P. Chan
, Chris A. C. Parker, H. F. Machiel Van der Loos, Elizabeth A. Croft:
Grip forces and load forces in handovers: implications for designing human-robot handover controllers. 9-16 - Maya Cakmak, Andrea Lockerd Thomaz:
Designing robot learners that ask good questions. 17-24 - Chien-Ming Huang, Bilge Mutlu:
Robot behavior toolkit: generating effective social behaviors for robots. 25-32
Attitudes and responses to social robots
- Peter H. Kahn Jr., Takayuki Kanda, Hiroshi Ishiguro, Brian T. Gill, Jolina H. Ruckert, Solace Shen, Heather E. Gary, Aimee L. Reichert, Nathan G. Freier, Rachel L. Severson:
Do people hold a humanoid robot morally accountable for the harm it causes? 33-40 - Nina Riether, Frank Hegel, Britta Wrede, Gernot Horstmann:
Social facilitation with social robots? 41-48 - Hiroko Kamide, Yasushi Mae, Koji Kawabe, Satoshi Shigemi, Masato Hirose, Tatsuo Arai:
New measurement of psychological safety for humanoid. 49-56 - David Sirkin, Wendy Ju:
Consistency in physical and on-screen action improves perceptions of telepresence robots. 57-64
Robot wizards: robot operation and interfaces
- Chung Hyuk Park, Ayanna M. Howard:
Real world haptic exploration for telepresence of the visually impaired. 65-72 - Munjal Desai, Mikhail S. Medvedev, Marynel Vázquez, Sean McSheehy, Sofia Gadea-Omelchenko, Christian Bruggeman, Aaron Steinfeld, Holly A. Yanco:
Effects of changing reliability on trust of robot systems. 73-80 - Fei Gao, Missy L. Cummings, Luca F. Bertuccelli:
Teamwork in controlling multiple robots. 81-88 - Andreas Kolling, Steven Nunnally, Michael Lewis:
Towards human control of robot swarms. 89-96 - Adam Rule, Jodi Forlizzi:
Designing interfaces for multi-user, multi-robot systems. 97-104
LBR highlights
- Paul Baxter, Rachel Wood, Tony Belpaeme:
A touchscreen-based 'sandtray' to facilitate, mediate and contextualise human-robot social interaction. 105-106 - Eduardo Benítez Sandoval, Christian I. Penaloza:
Children's knowledge and expectations about robots: a survey for future user-centered design of social robots. 107-108 - Deborah R. Billings, Kristin E. Schaefer, Jessie Y. C. Chen, Peter A. Hancock:
Human-robot interaction: developing trust in robots. 109-110 - Sasa Bodiroza, Helman I. Stern, Yael Edan:
Dynamic gesture vocabulary design for intuitive human-robot dialog. 111-112 - Daniel J. Brooks, Holly A. Yanco:
Design of a haptic joystick for shared robot control. 113-114 - Roland Buchner, Daniela Wurhofer, Astrid Weiss, Manfred Tscheligi:
User experience of industrial robots over time. 115-116 - Marcelo Cicconet, Mason Bretan, Gil Weinberg:
Visual cues-based anticipation for percussionist-robot interaction. 117-118 - Amol A. Deshmukh, Ruth Aylett:
Socially constrained management of power resources for social mobile robots. 119-120 - Guillaume Doisy:
Sensorless collision detection and control by physical interaction for wheeled mobile robots. 121-122 - Anca D. Dragan, Siddhartha S. Srinivasa:
Assistive teleoperation for manipulation tasks. 123-124 - Friederike Eyssel, Dieta Kuchenbrandt, Simon Bobinger, Laura E. de Ruiter, Frank Hegel:
'If you sound like me, you must be more human': on the interplay of robot and user features on human-robot acceptance and anthropomorphism. 125-126 - Thomas Fincannon, Florian Jentsch, Brittany Sellers, Joseph Roland Keebler:
Beyond "spatial ability": examining the impact of multiple individual differences in a perception by proxy framework. 127-128 - Ernesto Burattini, Alberto Finzi, Silvia Rossi, Mariacarla Staffa:
Attentional human-robot interaction in simple manipulation tasks. 129-130 - Haruaki Fukuda, Masahiro Shiomi, Kayako Nakagawa, Kazuhiro Ueda:
'Midas touch' in human-robot interaction: evidence from event-related potentials during the ultimatum game. 131-132 - Jorge Garcíia Bueno, Miguel González-Fierro, Luis Moreno, Carlos Balaguer:
Facial gesture recognition using active appearance models based on neural evolution. 133-134 - Marlon Garcia-Arroyo, Luis Felipe Marin-Urias, Antonio Marín-Hernández, Guillermo de Jesús Hoyos-Rivera:
Design, integration, and test of a shopping assistance robot system. 135-136 - Neal Checka, Shawn Schaffert, David Demirdjian, Jan Falkowski, Daniel H. Grollman:
Handheld operator control unit. 137-138 - Daniel Halpern, James E. Katz:
Unveiling robotophobia and cyber-dystopianism: the role of gender, technology and religion on attitudes towards robots. 139-140 - Caroline E. Harriott, Glenna L. Buford, Tao Zhang, Julie A. Adams:
Assessing workload in human-robot peer-based teams. 141-142 - Dai Hasegawa, Kenji Araki:
Does a robot that can learn verbs lead to better user perception? 143-144 - Zachary Henkel, Robin R. Murphy, Cindy L. Bethel:
Towards a computational method of scaling a robot's behavior via proxemics. 145-146 - Aaron Holroyd, Charles Rich:
Using the behavior markup language for human-robot interaction. 147-148 - Mohammed Moshiul Hoque, Tomomi Onuki, Dipankar Das, Yoshinori Kobayashi, Yoshinori Kuno:
Attracting and controlling human attention through robot's behaviors suited to the situation. 149-150 - Alicia M. Hymel, Daniel T. Levin:
An intentional framework improves memory for a robot's actions. 151-152 - Mithun George Jacob, Yu-Ting Li, Juan P. Wachs:
Gestonurse: a multimodal robotic scrub nurse. 153-154 - Jorge Armendariz, Rodolfo García-Rodríguez, Felipe Alberto Machorro-Fernández, Vicente Parra-Vega:
Manipulation with soft-fingertips for safe pHRI. 155-156 - Alex Juarez, Christoph Bartneck, Loe M. G. Feijs:
Studying virtual worlds as medium for telepresence robots. 157-158 - Hee-Tae Jung, Yu-Kyong Choe, Jennifer Baird, Roderic A. Grupen:
A follow-up on humanoid-mediated stroke physical rehabilitation. 159-160 - Soyoung Jung, Hyeong-taek Lim, Sanghun Kwak, Frank A. Biocca:
Personality and facial expressions in human-robot interaction. 161-162 - Donald J. Kalar, Collin B. Green:
Understanding situational awareness in multi-unit supervisory control through data-mining and modeling with real-time strategy games. 163-164 - Andra Keay:
Cultural studies in the HRI loop. 165-166 - Andra Keay:
Robot competitions as a birth ritual. 167-168 - Joseph Roland Keebler, Florian Jentsch, Thomas Fincannon, Irwin Hudson:
Applying team heuristics to future human-robot systems. 169-170 - Richard Kelley, Liesl Wigand, Brian Hamilton, Katie Browne, Monica N. Nicolescu, Mircea Nicolescu:
Deep networks for predicting human intent with respect to objects. 171-172 - Jong-gil Ahn, Hyunseok Yang, Gerard Jounghyun Kim, Namgyu Kim:
User attentive behavior with camera view for in-situ robot control. 173-174 - Heather Knight, Reid G. Simmons:
Tracking aggregate vs. individual gaze behaviors during a robot-led tour simplifies overall engagement estimates. 175-176 - Kishore Reddy Konda, Achim Königs, Hannes Schulz, Dirk Schulz:
Real time interaction with mobile robots using hand gestures. 177-178 - Eugene M. Lavely, Geoffrey Meltzner, Rick Thompson:
Integrating human and computer vision with EEG toward the control of a prosthetic arm. 179-180 - Séverin Lemaignan, Gilberto Echeverria, Michael Karg, Jim Mainprice, Alexandra Kirsch, Rachid Alami:
Human-robot interaction in the MORSE simulator. 181-182 - Liyuan Li, Xinguo Yu, Jun Li, Gang S. Wang, Ji Yu Shi, Yeow Kee Tan, Haizhou Li:
Vision-based attention estimation and selection for social robot to perform natural interaction in the open world. 183-184 - Michael Lichtenstern, Martin Frassl, Bernhard Perun, Michael Angermann:
A prototyping environment for interaction between a human and a robotic multi-agent system. 185-186 - Meghann Lomas, Robert Chevalier, Ernest Vincent Cross II, Robert Christopher Garrett, John Hoare, Michael Kopack:
Explaining robot actions. 187-188 - Looi Qin En, See Swee Lan:
Applying politeness maxims in social robotics polite dialogue. 189-190 - Patricia L. McDermott, Alia Fisher, Thomas Carolan, Mark R. Gronowski, Marc Gacy, Michael Overstreet:
Transfer from a simulation environment to a live robotic environment: are certain demographics better? 191-192 - Ross Mead, Maja J. Mataric:
A probabilistic framework for autonomous proxemic control in situated and mobile human-robot interaction. 193-194 - Pia E. K. Berg-Yuen, Siddhartha S. Mehta, Eduardo L. Pasiliao, Robert A. Murphey:
Control of human-machine interaction for wide area search munitions in the presence of target uncertainty. 195-196 - Yuta Shibasaki, Takahiro Inaba, Yukiko I. Nakano:
Referent identification process in human-robot multimodal communication. 197-198 - Yoichi Sakai, Yuuko Nonaka, Kiyoshi Yasuda, Yukiko I. Nakano:
Listener agent for elderly people with dementia. 199-200 - Jiaqi Nie, Michelle Pak, Angie Lorena Marin, S. Shyam Sundar:
Can you hold my hand?: physical warmth in human-robot interaction. 201-202 - Sandra Y. Okita, Victor Ng-Thow-Hing, Ravi Kiran Sarvadevabhatla:
Captain may i?: proxemics study examining factors that influence distance between humanoid robots, children, and adults, during human-robot interaction. 203-204 - Eunil Park, Ki Joon Kim, S. Shyam Sundar, Angel P. del Pobil:
Online gaming with robots vs. computers as allies vs. opponents. 205-206 - Ki Joon Kim, Eunil Park, S. Shyam Sundar, Angel P. del Pobil:
The effects of immersive tendency and need to belong on human-robot interaction. 207-208 - Borut Povse, Darko Koritnik, Tadej Bajd, Marko Munih:
Mechanical model of human lower arm. 209-210 - Zahar Prasov:
Shared gaze in remote spoken hri during distributed military operation. 211-212 - Arnaud A. Ramey, Javier F. Gorostiza, Miguel Angel Salichs:
A social robot as an aloud reader: putting together recognition and synthesis of voice and gestures for HRI experimentation. 213-214 - Photchara Ratsamee, Yasushi Mae, Kenichi Ohara, Tomohito Takubo, Tatsuo Arai:
Modified social force model with face pose for human collision avoidance. 215-216 - Daniel J. Rea, James Everett Young, Pourang Irani:
The Roomba mood ring: an ambient-display robot. 217-218 - Robin Read, Tony Belpaeme:
How to use non-linguistic utterances to convey emotion in child-robot interaction. 219-220 - Timothy J. Martin, Allison P. Rzepczynski, Laurel D. Riek:
Ask, inform, or act: communication with a robotic patient before haptic action. 221-222 - Tina Yue, Alexandra E. Janiw, Aaron Huus, Salvador Aguiñaga, Megan Archer, Krista Hoefle, Laurel D. Riek:
Creating human-robot rapport with mobile sculpture. 223-224 - Adrian Ball, David C. Rye, Fabio Ramos, Mari Velonaki:
Unsupervised clustering of people from 'skeleton' data. 225-226 - Anara Sandygulova, Abraham G. Campbell, Mauro Dragone, Gregory M. P. O'Hare:
Immersive human-robot interaction. 227-228 - Aziez Sardar, Michiel Joosse, Astrid Weiss, Vanessa Evers:
Don't stand so close to me: users' attitudinal and behavioral responses to personal space invasion by robots. 229-230 - Guido Schillaci, Verena Vanessa Hafner, Bruno Lara:
Coupled inverse-forward models for action execution leading to tool-use in a humanoid robot. 231-232 - Megha Sharma, James Everett Young, M. Rasit Eskicioglu:
Developing guidelines for in-the-field control of a team of robots. 233-234 - Ramona Simut, Cristina Pop, Jelle Saldien, Alina Rusu, Sebastian Pintea, Johan Vanderfaeillie, Daniel O. David, Bram Vanderborght:
Is the social robot probo an added value for social story intervention for children with autism spectrum disorders? 235-236 - Ashish Singh, James Everett Young:
Animal-inspired human-robot interaction: a robotic tail for communicating state. 237-238 - Marjorie Skubic, Laura A. Carlson, Jared Miller, Xiao Ou Li, Zhiyu Huo:
Spatial language experiments for a robot fetch task. 239-240 - Poornima Kaniarasu, Aaron Steinfeld, Munjal Desai, Holly A. Yanco:
Potential measures for detecting trust changes. 241-242 - Ewald Strasser, Astrid Weiss, Manfred Tscheligi:
Affect misattribution procedure: an implicit technique to measure user experience in hri. 243-244 - Halit Bener Suay, Sonia Chernova:
Policy transformation for learning from demonstration. 245-246 - Ivan Shindev, Yu Sun, Michael D. Coovert, Jenny Pavlova, Tiffany Lee:
Exploration of intention expression for robots. 247-248 - Daisuke Suzuki, Hiroyuki Umemuro:
Dimensions of people's attitudes toward robots. 249-250 - Jeffrey Too Chuan Tan, Tetsunari Inamura:
Extending chatterbot system into multimodal interaction framework with embodied contextual understanding. 251-252 - Fumihide Tanaka, Shizuko Matsuzoe:
Learning verbs by teaching a care-receiving robot by children: an experimental report. 253-254 - Fumihide Tanaka, Toshimitsu Takahashi:
A tricycle-style teleoperational interface that remotely controls a robot for classroom children. 255-256 - Amir Aly, Adriana Tapus:
Prosody-driven robot ARM gestures generation in human-robot interaction. 257-258 - Russell Toris, Halit Bener Suay, Sonia Chernova:
A practical comparison of three robot learning from demonstration algorithms. 261-262 - Igor M. Verner, David J. Ahlgren:
An assistive robot contest: designs and interactions. 263-264 - Alex Polishuk, Igor Michael Verner:
Interaction with animated robots in science museum programs: how children learn? 265-266 - Astrid M. von der Pütten, Nicole C. Krämer:
A survey on robot appearances. 267-268 - Amber M. Walker, David P. Miller:
Tele-operated robot control using attitude aware smartphones. 269-270 - Astrid Weiss:
HRI research: the interdisciplinary challenge or the dawning of the discipline? 271-272 - Xianshi Xie, Qiufeng Lin, Haojie Wu, Julie A. Adams, Bobby Bodenheimer:
Immersion with robots in large virtual environments. 273-274 - Qianli Xu, Jamie Suat Ling Ng, Yian Ling Cheong, Odelia Yiling Tan, Ji Bin Wong, Benedict Tay Tiong Chee, Taezoon Park:
Effect of scenario media on human-robot interaction evaluation. 275-276 - Tsuneo Yoshikawa, Tatsuya Sugiura, Seiji Sugiyama:
Development of a Jenga game manipulator having multi-articulated fingers. 277-278 - Aelee Kim, Hyejin Kum, Ounjeong Roh, Sangseok You, Sukhan Lee:
Robot gesture and user acceptance of information in human-robot interaction. 279-280 - Mohammad Abu Yousuf, Yoshinori Kobayashi, Yoshinori Kuno, Keiichi Yamazaki, Akiko Yamazaki:
Establishment of spatial formation by a mobile guide robot. 281-282 - Jakub Zlotowski, Astrid Weiss, Manfred Tscheligi:
Navigating in public space: participants' evaluation of a robot's approach behavior. 283-284
Conversation and proxemics
- Chaoran Liu, Carlos Toshinori Ishi, Hiroshi Ishiguro, Norihiro Hagita:
Generation of nodding, head tilting and eye gazing for human-robot dialogue interaction. 285-292 - Vijay Chidambaram, Yueh-Hsuan Chiang, Bilge Mutlu:
Designing persuasive robots: how robots might persuade people using vocal and nonverbal cues. 293-300 - Luis Yoichi Morales Saiki, Satoru Satake, Rajibul Huq, Dylan F. Glas, Takayuki Kanda, Norihiro Hagita:
How do people walk side-by-side?: using a computational model of human behavior for a social robot. 301-308 - Akiko Yamazaki, Keiichi Yamazaki, Takaya Ohyama, Yoshinori Kobayashi, Yoshinori Kuno:
A techno-sociological solution for designing a museum guide robot: regarding choosing an appropriate visitor. 309-316
Panel
- Katherine M. Tsui, Stephen Von Rump, Hiroshi Ishiguro, Leila Takayama, Peter N. Vicars:
Robots in the loop: telepresence robots in everyday life. 317-318
Living and working with service robots
- Min Kyung Lee, Jodi Forlizzi, Sara B. Kiesler, Paul E. Rybski, John Antanitis, Sarun Savetsila:
Personalization in HRI: a longitudinal field experiment. 319-326 - Caroline Pantofaru, Leila Takayama, Tully Foote, Bianca Soto:
Exploring the role of robots in home organization. 327-334 - Jenay M. Beer, Cory-Ann Smarr, Tiffany L. Chen, Akanksha Prakash, Tracy L. Mitzner, Charles C. Kemp, Wendy A. Rogers:
The domesticated robot: design guidelines for assisting older adults to age in place. 335-342 - Kelly Caine, Selma Sabanovic, Mary Carter:
The effect of monitoring by cameras and robots on the privacy enhancing behaviors of older adults. 343-350
Robots for children
- Takayuki Kanda, Michihiro Shimada, Satoshi Koizumi:
Children learning with a social robot. 351-358 - David Robert, Cynthia Breazeal:
Blended reality characters. 359-366 - Iolanda Leite, Ginevra Castellano, André Pereira, Carlos Martinho, Ana Paiva:
Modelling empathic behaviour in a robotic game companion for children: an ethnographic study in real-world settings. 367-374
Animating robot behavior
- Michael J. Gielniak, Andrea Lockerd Thomaz:
Enhancing interaction through exaggerated motion synthesis. 375-382 - Tiago Ribeiro, Ana Paiva:
The illusion of robotic life: principles and practices of animation for robots. 383-390 - Baris Akgün, Maya Cakmak, Jae Wook Yoo, Andrea Lockerd Thomaz:
Trajectories and keyframes for kinesthetic teaching: a human-robot interaction perspective. 391-398
HRI 2012 video session
- Yu Arita, Hirota Shinya, Yuta Yoshiike, P. Ravindra S. De Silva, Michio Okada:
SDT: a "konkon" interface to buildup the connotation interactions. 399-400 - Alessandro Giusti, Jawad Nagi, Luca Maria Gambardella, Stéphane Bonardi, Gianni A. Di Caro:
Human-swarm interaction through distributed cooperative gesture recognition. 401-402 - Sonya S. Kwak, Eun Ho Kim, Jimyung Kim, Youngbin Son, Inveom Kwak, Jun-Shin Park, Eun Wook Lee:
Field trials of the block-shaped edutainment robot hangulbot. 403-404 - Caroline E. Harriott, Glenna L. Buford, Tao Zhang, Julie A. Adams:
Human-human vs. human-robot teamed investigation. 405-406 - Heather Knight, Matthew Gray:
Acting lesson with robot: emotional gestures. 407-408 - Woong-Ji Kim, Sun-Wook Choi, Chong Ho Lee:
MARIOBOT: marionette robot that interact with an audience. 409-410 - David V. Lu, Ross Mead:
Introducing students grades 6-12 to expressive robotics. 411-412 - Eric McCann, Sean McSheehy, Holly A. Yanco:
Multi-user multi-touch multi-robot command and control of multiple simulated robots. 413-414 - Damith C. Herath, Christian Kroos, Stelarc:
Encounters: from talking heads to swarming heads. 415-416 - François Ferland, Arnaud Aumont, Dominic Létourneau, Marc-Antoine Legault, François Michaud:
Johnny-0, a compliant, force-controlled and interactive humanoid autonomous robot. 417-418 - Daniel J. Brooks, Constantine Lignos, Mikhail S. Medvedev, Ian Perera, Cameron Finucane, Vasumathi Raman, Abraham Shultz, Sean McSheehy, Adam Norton, Hadas Kress-Gazit, Mitchell P. Marcus, Holly A. Yanco:
Situation understanding bot through language and environment. 419-420 - Jeonghye Han, Bokhyun Kang, Seongju Park, Seongwook Hong:
How to sustain long-term interaction between children and ROBOSEM in english class. 421-422 - Takaya Ohyama, Yasutomo Maeda, Chiaki Mori, Yoshinori Kobayashi, Yoshinori Kuno, Rio Fujita, Keiichi Yamazaki, Shun Miyazawa, Akiko Yamazaki, Keiko Ikeda:
Implementing human questioning strategies into quizzing-robot. 423-424 - Jonas Koenemann, Maren Bennewitz:
Whole-body imitation of human motions with a nao humanoid. 425-426 - Séverin Lemaignan, Mamoun Gharbi, Jim Mainprice, Matthieu Herrb, Rachid Alami:
Roboscopie: a theatre performance for a human and a robot. 427-428 - Thammathip Piumsomboon, Rory Clifford, Christoph Bartneck:
Demonstrating Maori Haka with kinect and nao robots. 429-430
Perception and recognition
- Antoine Deleforge, Radu Horaud:
The cocktail party robot: sound source separation and localisation with an active binaural head. 431-438 - Randy Gomez, Tatsuya Kawahara, Keisuke Nakamura, Kazuhiro Nakadai:
Multi-party human-robot interaction with distant-talking speech recognition. 439-446 - Takahiro Matsumoto, Satoru Satake, Takayuki Kanda, Michita Imai, Norihiro Hagita:
Do you remember that shop?: computational model of spatial memory for shopping companion robots. 447-454 - Bryan S. Morse, Daniel R. Thornton, Michael A. Goodrich:
Color anomaly detection and suggestion for wilderness search and rescue. 455-462
Talking with robots: linguistics and natural language
- Kerstin Fischer, Katrin S. Lohan, Kilian A. Foth:
Levels of embodiment: linguistic analyses of factors influencing HRI. 463-470 - Rehj Cantrell, Kartik Talamadupula, Paul W. Schermerhorn, J. Benton, Subbarao Kambhampati, Matthias Scheutz:
Tell me when and why to do it!: run-time planner model updates via natural language instruction. 471-478 - Julia Peltason, Nina Riether, Britta Wrede, Ingo Lütkebohle:
Talking with robots about objects: a system-level evaluation in HRI. 479-486
Workshops & tutorials
- Jeffrey M. Bradshaw, Virginia Dignum, Catholijn M. Jonker, Maarten Sierhuis:
Human-agent-robot teamwork. 487-488 - Giorgio Cannata, Fulvio Mastrogiovanni, Giorgio Metta, Lorenzo Natale:
Advances in tactile sensing and touch based human-robot interaction. 489-490 - Frank Broz, Hagen Lehmann, Yukiko I. Nakano, Bilge Mutlu:
Gaze in HRI: from modeling to communication. 491-492 - Christopher Crick, Graylin Jay, Sarah Osentoski, Odest Chadwicke Jenkins:
ROS and Rosbridge: roboticists out of the loop. 493-494 - Jeffrey M. Bradshaw, J. Chris Forsythe:
Cognitive science and socio-cognitive theory for the HRI practitioner. 495-496
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-16 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
