David Lee - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On detecting active worms with varying scan rateWei Yu, Xun Wang, Adam C. Champion, Dong Xuan, David Lee. comcom, 34(11):1269-1282, 2011. [doi]

2010

2009

2008

2007

Lazy flooding: a new technique for information dissemination in distributed network systemsCaixia Chi, Dawei Huang, David Lee, Xiaorong Sun. ton, 15(1):80-92, 2007. [doi]

Network Court Protocol and Malicious Node ConvictionNa Li, David Lee. icnp 2007: 336-337 [doi]

Testing Security Properties of Protocol Implementations - a Machine Learning Based ApproachGuoqiang Shu, David Lee. icdcs 2007: 25 [doi]

2006

The art of designing robot faces: dimensions for human-robot interactionMike Blow, Kerstin Dautenhahn, Andrew Appleby, Chrystopher L. Nehaniv, David Lee. hri 2006: 331-332 [doi]

Network protocol system monitoring: a formal approach with passive testingDavid Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. ton, 14(2):424-437, 2006. [doi]

Defending against Instant Messaging WormsZhijun Liu, Guoqiang Shu, Na Li, David Lee. globecom 2006: [doi]

A note on broadcast encryption key management with applications to large scale emergency alert systemsGuoqiang Shu, David Lee, Mihalis Yannakakis. ipps 2006: [doi]

Network Protocol System Fingerprinting - A Formal ApproachGuoqiang Shu, David Lee. infocom 2006: [doi]

Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active CheckingGuoqiang Shu, David Lee. pts 2006: 357-372 [doi]

Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuterRajvikram Singh, Nicholas Schwarz, Nut Taesombut, David Lee, Byungil Jeong, Luc Renambot, Abel W. Lin, Ruth West, Hiromu Otsuka, Sei Naito, Steven Peltier, Maryann E. Martone, Kazunori Nozaki, Jason Leigh, Mark H. Ellisman. fgcs, 22(8):1032-1039, 2006. [doi]

Exploratory studies on social spaces between humans and a mechanical-looking robotMichael L. Walters, Kerstin Dautenhahn, Sarah N. Woods, Kheng Lee Koay, I. René J. A. te Boekhorst, David Lee. connection, 18(4):429-439, 2006. [doi]

Gene3D: modelling protein structure, function and evolutionCorin Yeats, Michael Maibaum, Russell L. Marsden, Mark Dibley, David Lee, Sarah Addou, Christine A. Orengo. nar, 34(Database-Issue):281-284, 2006. [doi]

2005

Scientific grid activities in Cybermedia Center, Osaka UniversityToyokazu 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. ccgrid 2005: 463-470 [doi]

RAGOBOT: A New Platform for Wireless Mobile Sensor NetworksJonathan Friedman, David Lee, Ilias Tsigkogiannis, Sophia Wong, Dennis Chao, David Levin, William J. Kaiser, Mani B. Srivastava. dcoss 2005: 412-412 [doi]

Continuous Speech Recognition Using Modified Stack Decoding AlgorithmDavid Lee. AAAI 2005: 1614-1615

Fault Detection of Hierarchical Networks with Probabilistic Testing AlgorithmsKeqin Li, David Lee. pts 2005: 258-274 [doi]

Heliomote: enabling long-lived sensor networks through solar energy harvestingKris Lin, Jennifer Yu, Jason Hsu, Sadaf Zahedi, David Lee, Jonathan Friedman, Aman Kansal, Vijay Raghunathan, Mani B. Srivastava. sensys 2005: 309 [doi]

Coping with Nondeterminism in Network Protocol TestingRaymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao. pts 2005: 129-145 [doi]

Dynamically configurable robotic sensor networksIlias 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. sensys 2005: 321 [doi]

2004

Network Protocol System Passive Testing for Fault Management: A Backward Checking ApproachBaptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee. forte 2004: 150-166 [doi]

Integrated system interoperability testing with applications to VoIPRuibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth. ton, 12(5):823-836, 2004. [doi]

Fault management for networks with link state routing protocolsRuibing Hao, David Lee, Juntao Ma, Jiahai Yang. apnoms 2004: 103-116 [doi]

On the Effectiveness of Relevance ProfilingDavid J. Harper, David Lee. adcs 2004: 10-16 [doi]

Path Protection and Blocking Probability Minimization in Optical NetworksDavid Lee, Lavy Libman, Ariel Orda. infocom 2004: [doi]

A structural perspective on genome evolutionDavid Lee, Alastair Grant, Ian Sillitoe, Mark Dibley, Juan Garcia Ranea, Christine A. Orengo. recomb 2004: 336 [doi]

Protocol System Integration, Interface and InteroperabilityDavid Lee, Christine Liu, Mihalis Yannakakis. opodis 2005: 1-19 [doi]

2003

Gene3D: structural assignments for the biologist and bioinformaticist alikeDaniel W. A. Buchan, Stuart C. G. Rison, James E. Bray, David Lee, Frances M. G. Pearl, Janet M. Thornton, Christine A. Orengo. nar, 31(1):469-473, 2003.

Prevention of deadlocks and livelocks in lossless backpressured packet networksMark J. Karol, S. Jamaloddin Golestani, David Lee. ton, 11(6):923-934, 2003. [doi]

Global Telescience featuring IPv6 at iGrid2002David Lee, Abel W. Lin, Thomas Hutton, Toyokazu Akiyama, Shinji Shimojo, Fang-Pang Lin, Steven Peltier, Mark H. Ellisman. fgcs, 19(6):1031-1039, 2003. [doi]

The Telescience Portal for advanced tomography applicationsSteven Peltier, Abel W. Lin, David Lee, Stephen Mock, Stephan Lamont, Tomas E. Molina, Mona Wong, Lu Dai, Maryann E. Martone, Mark H. Ellisman. jpdc, 63(5):539-550, 2003. [doi]

Fault detection in Rule-based Software systemsDong Wang, Ruibing Hao, David Lee. INFSOF, 45(12):865-871, 2003. [doi]

2002

Closed Partition Lattice and Machine DecompositionDavid Lee, Mihalis Yannakakis. TC, 51(2):216-228, 2002. [doi]

A Formal Approach for Passive Testing of Protocol Data PortionsDavid Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin. icnp 2002: 122-131 [doi]

2001

VIDA: a virus database system for the organization of animal virus genome open reading framesM. Mar Albà, David Lee, Frances M. G. Pearl, Adrian J. Shepherd, Nigel J. Martin, Christine A. Orengo, Paul Kellam. nar, 29(1):133-136, 2001.

Correctness and performance of the ATM ABR rate control schemeDavid Lee, K. K. Ramakrishnan, W. Melody Moh. cn, 35(2-3):237-261, 2001. [doi]

Approximate evaluations of characteristic polynomials of Boolean functionsDavid Lee, Henryk Wozniakowski. TCS, 262(1):37-68, 2001. [doi]

Test Sequence SelectionDavid Lee, Ruibing Hao. forte 2001: 269-284

A Probabilistic Analysis of Linear Operator TestingDavid Lee, Henryk Wozniakowski. jc, 17(3):516-540, 2001. [doi]

A rapid classification protocol for the CATH Domain Database to support structural genomicsFrances M. G. Pearl, Nigel J. Martin, James E. Bray, Daniel W. A. Buchan, Andrew P. Harrison, David Lee, Gabrielle A. Reeves, Adrian J. Shepherd, Ian Sillitoe, Annabel E. Todd, Janet M. Thornton, Christine A. Orengo. nar, 29(1):223-227, 2001.

2000

1999

1998

1997

1996

1995

Feature Testing of Communications ProtocolsDavid Lee. icccn 1995:

Minimum-latency transport protocols with modulo-::::N:::: incarnation numbersA. Udaya Shankar, David Lee. ton, 3(3):255-268, 1995. [doi]

Testing Finite State Machines: Fault DetectionMihalis Yannakakis, David Lee. jcss, 50(2):209-227, 1995.

1994

1993

A polynomial algorithm for gateway generation from formal specificationsDavid M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani. ton, 1(2):217-229, 1993. [doi]

Discontinuity Detection and Thresholding-A Stochastic ApproachDavid Lee, Grzegorz W. Wasilkowski. jc, 9(1):76-96, 1993. [doi]

Conformance Testing of Protocols Specified as Communicating FSMsDavid Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar. infocom 1993: 115-127

A new zero-crossing-based discontinuity detectorDavid Lee, Grzegorz W. Wasilkowski, Rajiv Mehrotra. TIP, 2(2):265-268, 1993. [doi]

The S3.mp Architecture: A Local Area MultiprocessorAndreas Nowatzyk, M. Monger, Michael Parkin, Edmund J. Kelly, Michael C. Browne, Gunes Aybay, David Lee. spaa 1993: 140-141 [doi]

An Efficient Algorithm for Minimizing Real-time Transition SystemsMihalis Yannakakis, David Lee. cav 1993: 210-224

1992

Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote CollaborationScott Elrod, Richard Bruce, Rich Gold, David Goldberg, Frank G. Halasz, William C. Janssen Jr., David Lee, Kim McCall, Elin Rønby Pedersen, Kenneth A. Pier, John C. Tang, Brent B. Welch. chi 1992: 599-607 [doi]

Online Minimization of Transition Systems (Extended Abstract)David Lee, Mihalis Yannakakis. stoc 1992: 264-274

1991

Residual Analysis for Feature DetectionMinghua Chen, David Lee, Theodosios Pavlidis. pami, 13(1):30-40, 1991. [doi]

Efficient Gateway Synthesis from Formal SpecificationsDavid M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani. sigcomm 1991: 89-97 [doi]

Testing Finite State Machines (Extended Abstract)Mihalis Yannakakis, David Lee. stoc 1991: 476-485

1990

Discontinuity detection from band-limited signalsDavid Lee. jc, 6(2):170-191, 1990. [doi]

Coping with Discontinuities in Computer Vision: Their Detection, Classification, and MeasurementDavid Lee. pami, 12(4):321-344, 1990. [doi]

1989

VLSI Package Reliability Risk Due to Accelerated Environmental TestingDavid Haupert, Fu-Gin Chen, David Lee. itc 1989: 938

1988

One-Dimensional Regularization with DiscontinuitiesDavid Lee, Theodosios Pavlidis. pami, 10(6):822-829, 1988. [doi]

1987

A note on the trade-off between sampling and quantization in signal processingDavid Lee, Theodosios Pavlidis, Grzegorz W. Wasilkowski. jc, 3(4):359-371, 1987. [doi]

1986

Storing a Dynamic Sparse TableAlfred V. Aho, David Lee. focs 1986: 55-60

Fast multiplication of a recursive block Toeplitz matrix by a vector and its applicationDavid Lee. jc, 2(4):295-305, 1986. [doi]

Approximation of linear functionals on a banach space with a Gaussian measureDavid Lee, Grzegorz W. Wasilkowski. jc, 2(1):12-43, 1986. [doi]

1985

Optimal algorithms for image understanding: Current status and future plansDavid Lee. jc, 1(1):138-146, 1985. [doi]

Comparator with Completion SignalDavid Lee. TC, 34(9):855-857, 1985.