Skip to content

David Lee

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

78

Venues

45

Active years

1986–2023

Best venue rank

A*

Where they publish

Papers

78 indexed papers, newest first.

YearVenueTitleAuthors
2023CSCWA Pilot Study on People's Views of Gratitude Practices and Reactions to Expressing Gratitude in an Online Community.Bridget Ho, Kehua Lei, Jonathan Xuan He, Reina Itakura, Kathleen Lum, David Lee
2021ICDECREATe: Clinical Report Extraction and Annotation Technology.Yichao Zhou, Wei-Ting Chen, Bowen Zhang, David Lee, J. Harry Caufield, Kai-Wei Chang, Yizhou Sun, Peipei Ping, Wei Wang
2021IROSExtended Tactile Perception: Vibration Sensing through Tools and Grasped Objects.Tasbolat Taunyazov, Luar Shui Song, Eugene Lim, Hian-Hian See, David Lee, Benjamin C. K. Tee, Harold Soh
2020CVPRNTIRE 2020 Challenge on NonHomogeneous Dehazing.Codruta O. Ancuti, Cosmin Ancuti, Florin-Alexandru Vasluianu, Radu Timofte, Jing Liu, Haiyan Wu, Yuan Xie, Yanyun Qu, Lizhuang Ma, Ziling Huang, Qili Deng, Ju-Chin Chao, Tsung-Shan Yang, Peng-Wen Chen, Po-Min Hsu, Tzu-Yi Liao, Chung-En Sun, Pei-Yuan Wu, Jeonghyeok Do, Jongmin Park, Munchurl Kim, Kareem M. Metwaly, Xuelu Li, Tiantong Guo, Vishal Monga, Mingzhao Yu, Venkateswararao Cherukuri, Shiue-Yuan Chuang, Tsung-Nan Lin, David Lee, Jerome Chang, Zhan-Han Wang, Yu-Bang Chang, Chang-Hong Lin, Yu Dong, Hongyu Zhou, Xiangzhen Kong, Sourya Dipta Das, Saikat Dutta, Xuan Zhao, Bing Ouyang, Dennis Estrada, Meiqi Wang, Tianqi Su, Siyi Chen, Bangyong Sun, Vincent Jacob Whannou de Dravo, Zhe Yu, Pratik Narang, Aryan Mehra, Navaneeth Raghunath, Murari Mandal
2020ISCAMLPerf Inference Benchmark.Vijay Janapa Reddi, Christine Cheng, David Kanter, Peter Mattson, Guenther Schmuelling, Carole-Jean Wu, Brian Anderson, Maximilien Breughe, Mark Charlebois, William Chou, Ramesh Chukka, Cody Coleman, Sam Davis, Pan Deng, Greg Diamos, Jared Duke, Dave Fick, J. Scott Gardner, Itay Hubara, Sachin Idgunji, Thomas B. Jablin, Jeff Jiao, Tom St. John, Pankaj Kanwar, David Lee, Jeffery Liao, Anton Lokhmotov, Francisco Massa, Peng Meng, Paulius Micikevicius, Colin Osborne, Gennady Pekhimenko, Arun Tejusve Raghunath Rajan, Dilip Sequeira, Ashish Sirasao, Fei Sun, Hanlin Tang, Michael Thomson, Frank Wei, Ephrem Wu, Lingjie Xu, Koichi Yamada, Bing Yu, George Yuan, Aaron Zhong, Peizhao Zhang, Yuchen Zhou
2018HOTNETSWe don't need no licensing server.Puneet Sharma, David Lee, Vinay Saxena, Arun Raghuramu, Chen-Nee Chuah
2018IVCNZAnalysing Forests Using Dense Point Clouds.David Lee, William Muir, Samuel Beeston, Samuel Bates, Sam D. Schofield, Matthew J. Edwards, Richard D. Green
2016ACCVDistinguishing Posed and Spontaneous Smiles by Facial Dynamics.Bappaditya Mandal, David Lee, Nizar Ouarti
2015ICCPDual Aperture Photography: Image and Depth from a Mobile Camera.Manuel Martinello, Andrew Wajs, Shuxue Quan, Hank Lee, Chien Lim, Taekun Woo, Wonho Lee, Sang-Sik Kim, David Lee
2015NSSElectronic Contract Signing Without Using Trusted Third Party.Zhiguo Wan, Robert H. Deng, David Lee
2013IMDetecting job interference in large distributed multi-agent systems - A formal approach.Wenjie Lin, Michael A. McGrath, Ingy Ramzy, Ten-Hwang Lai, David Lee
2012UISTPhantomPen: virtualization of pen head for digital drawing free from pen occlusion & visual parallax.David Lee, KyoungHee Son, Joon Hyub Lee, Seok-Hyung Bae
2011CogSciGender, Spatial Ability, and High-Stakes Testing.Teomara Rutherford, David Lee, Michael E. Martinez
2011ICNPMachine learning for implanted malicious code detection with incompletely specified system implementations.Yating Hsu, David Lee
2010ICNPAuthentication and authorization protocol security property analysis with trace inclusion transformation and online minimization.Yating Hsu, David Lee
2010LRECTechnical Infrastructure at Linguistic Data Consortium: Software and Hardware Resources for Linguistic Data Creation.Kazuaki Maeda, Haejoong Lee, Stephen Grimes, Jonathan Wright, Robert Parker, David Lee, Andrea Mazzucchi
2009CHIMontage: a platform for physically navigating multiple pages of web content.David Lee, Sean A. Munson, Ben Congleton, Mark W. Newman, Mark S. Ackerman, Erik C. Hofer, Thomas A. Finholt
2008AIMSAA Hybrid Approach to Distributed Constraint Satisfaction.David Lee, Ins Arana, Hatem Ahriz, Kit-Ying Hui
2008FORTEDetecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.Guoqiang Shu, Yating Hsu, David Lee
2008ICNPA model-based approach to security flaw detection of network protocol implementations.Yating Hsu, Guoqiang Shu, David Lee
2007ICDCSTesting Security Properties of Protocol Implementations - a Machine Learning Based Approach.Guoqiang Shu, David Lee
2007ICNPNetwork Court Protocol and Malicious Node Conviction.Na Li, David Lee
2007LANMANCoping with Instant Messaging Worms - Statistical Modeling and Analysis.Zhijun Liu, David Lee
2006GLOBECOMDefending against Instant Messaging Worms.Zhijun Liu, Guoqiang Shu, Na Li, David Lee
2006HRIThe art of designing robot faces: dimensions for human-robot interaction.Mike Blow, Kerstin Dautenhahn, Andrew Appleby, Chrystopher L. Nehaniv, David Lee
2006INFOCOMNetwork Protocol System Fingerprinting - A Formal Approach.Guoqiang Shu, David Lee
2006RO-MANPerception of Robot Smiles and Dimensions for Human-Robot Interaction Design.Mike Blow, Kerstin Dautenhahn, Andrew Appleby, Chrystopher L. Nehaniv, David Lee
2006RO-MANReinforcement Learning for a Human-Following Robot.Yang Wang, David Lee
2006SecureCommEffective Detection of Active Worms with Varying Scan Rate.Wei Yu, Xun Wang, Dong Xuan, David Lee
2005AAAIContinuous Speech Recognition Using Modified Stack Decoding Algorithm.David Lee
2005CCGRIDScientific grid activities in Cybermedia Center, Osaka University.Toyokazu Akiyama, Kazunori Nozaki, Seiichi Kato, Shinji Shimojo, Steven Peltier, Abel W. Lin, Tomas E. Molina, George Yang, David Lee, Mark H. Ellisman, Kiyokazu Yoshida, Hirotaro Mori
2005DCOSSRAGOBOT: A New Platform for Wireless Mobile Sensor Networks.Jonathan Friedman, David Lee, Ilias Tsigkogiannis, Sophia Wong, Dennis Chao, David Levin, William J. Kaiser, Mani B. Srivastava
2005SIGGRAPHEcce Homology.Ruth West, Jeff Burke, Cheryl Kerfeld, Eitan Mendelowitz, Thomas Holton, John P. Lewis, Ethan Drucker, Weihong Yan, Steve Lamont, Loren McQuade, David Lee
2005RO-MANThe influence of subjects' personality traits on personal spatial zones in a human-robot interaction experiment.Michael L. Walters, Kerstin Dautenhahn, Rene te Boekhorst, Kheng Lee Koay, Christina Kaouri, Sarah N. Woods, Chrystopher L. Nehaniv, David Lee, Iain P. Werry
2005SENSYSHeliomote: enabling long-lived sensor networks through solar energy harvesting.Kris Lin, Jennifer Yu, Jason Hsu, Sadaf Zahedi, David Lee, Jonathan Friedman, Aman Kansal, Vijay Raghunathan, Mani B. Srivastava
2005SENSYSDynamically configurable robotic sensor networks.Ilias Tsigkogiannis, Rahul Balani, James Carwana, Jonathan Friedman, David Lee, Chih-Chieh Han, Roy Shea, Ram Kumar Rengaswamy, Michael Petralia, Laura Corman, Eric Wittenmeier, Eddie Kohler, Mani B. Srivastava
2004ADCSOn the Effectiveness of Relevance Profiling.David J. Harper, David Lee
2004FORTENetwork Protocol System Passive Testing for Fault Management: A Backward Checking Approach.Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee
2004INFOCOMPath Protection and Blocking Probability Minimization in Optical Networks.David Lee, Lavy Libman, Ariel Orda
2004NOMSFault management for networks with link state routing protocols.Ruibing Hao, David Lee, Juntao Ma, Jiahai Yang
2004OPODISProtocol System Integration, Interface and Interoperability.David Lee, Christine Liu, Mihalis Yannakakis
2002ICNPA Formal Approach for Passive Testing of Protocol Data Portions.David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin
2002PIMRCA dynamic power and rate joint allocation algorithm for mobile multimedia DS-CDMA networks based on utility functions.Xiang Duan, Zhisheng Niu, David Huang, David Lee
2001FORTETest Sequence Selection.David Lee, Ruibing Hao
2000FORTEIntegrated System Interoperability Testing with Applications to VOIP.Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
2000FORTETesting IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah
2000GLOBECOMHierarchical networks and the LSA N-squared problem in OSPF routing.Alfred V. Aho, David Lee
2000GLOBECOMInteroperability testing of VoIP systems.Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
2000GLOBECOMSOCRATES on IP router fault detection.Ruibing Hao, David Lee, Rakesh K. Sinha
2000INFOCOMPrevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks.Mark J. Karol, S. Jamaloddin Golestani, David Lee
1999FORTEHit-or-Jump: An algorithm for embedded testing with applications to IN services.Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zadi
1998CSLTesting for Finite State Systems.Mihalis Yannakakis, David Lee
1998FORTEProtocol Feature Interactions.Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis
1997ICNPPassive testing and applications to network management.David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John
1997INFOCOMPerformance and Correctness of the ATM ABR Rate Control Scheme.David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
1996FORTEValidation-Based Test Sequence Generation for Networks of Extended Finite State Machines.Samuel Huang, David Lee, Mark G. Staskauskas
1996ICNPProtocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
1996ICNPOptimization problems from feature testing of communication protocols.David Lee, Mihalis Yannakakis
1996VLSIDCharacteristic polynomial method for verification and test of combinational circuits.Vishwani D. Agrawal, David Lee
1995ICCCNFeature Testing of Communications Protocols.David Lee
1994AAAIQuantitative Evaluation of the Exploration Strategies of a Mobile Robot.David Lee, Michael Recce
1993CAVAn Efficient Algorithm for Minimizing Real-time Transition Systems.Mihalis Yannakakis, David Lee
1993ICNPReverse-engineering of communication protocols.David Lee, Krishan K. Sabnani
1993ICNPModulo-N incarnation numbers for cache-based transport protocols.A. Udaya Shankar, David Lee
1993INFOCOMConformance Testing of Protocols Specified as Communicating FSMs.David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. mit Uyar
1993SPAAThe S3.mp Architecture: A Local Area Multiprocessor.Andreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee
1992STOCOnline Minimization of Transition Systems (Extended Abstract)David Lee, Mihalis Yannakakis
1991CVPRDiscontinuity detection and thresholding-a stochastic approach.David Lee, Grzegorz W. Wasilkowski
1991STOCTesting Finite State Machines (Extended Abstract)Mihalis Yannakakis, David Lee
1991SIGCOMMEfficient Gateway Synthesis from Formal Specifications.David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
1990ICPRSome results on feature detection using residual analysis.Minghua Chen, David Lee, Theo Pavlidis
1989CVPREdge detection, classification, and measurement.David Lee
1989ITCVLSI Package Reliability Risk Due to Accelerated Environmental Testing.David Haupert, Fu-Gin Chen, David Lee
1988CVPRAlgorithms for shape from shading and occluding boundaries.David Lee
1988CVPREdge detection through residual analysis.David Lee, Theo Pavlidis, Kai Huang
1988ICCVCoping With Discontinuities In Computer Vision: Their Detection, Classification, And Measurement.David Lee
1988ICCVComputational Aspects Of Determining Optical Flow.David Lee, Anargyros Papageorgiou, Grzegorz W. Wasilkowski
1986FOCSStoring a Dynamic Sparse TableAlfred V. Aho, David Lee