 | 2009 |
|---|
| 96 |       | David Lee,
Antónia Lopes,
Arnd Poetzsch-Heffter:
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Springer 2009 |
| 95 | | David Lee,
Inés Arana,
Hatem Ahriz,
Kit-Ying Hui:
A hybrid approach to solving coarse-grained DisCSPs.
AAMAS (2) 2009: 1235-1236 |
| 94 | | David Lee,
Sean A. Munson,
Ben Congleton,
Mark W. Newman,
Mark S. Ackerman,
Erik C. Hofer,
Thomas A. Finholt:
Montage: a platform for physically navigating multiple pages of web content.
CHI Extended Abstracts 2009: 4477-4482 |
| 93 | | David Lee,
Inés Arana,
Hatem Ahriz,
Kit-Ying Hui:
Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems.
IAT 2009: 379-382 |
| 2008 |
|---|
| 92 | | David Lee,
Inés Arana,
Hatem Ahriz,
Kit-Ying Hui:
A Hybrid Approach to Distributed Constraint Satisfaction.
AIMSA 2008: 375-379 |
| 91 | | Guoqiang Shu,
Yating Hsu,
David Lee:
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.
FORTE 2008: 299-304 |
| 90 | | Guoqiang Shu,
Dongluo Chen,
Zhijun Liu,
Na Li,
Lifeng Sang,
David Lee:
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.
TestCom/FATES 2008: 119-134 |
| 2007 |
|---|
| 89 | | Guoqiang Shu,
David Lee:
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.
ICDCS 2007: 25 |
| 88 | | Na Li,
David Lee:
Network Court Protocol and Malicious Node Conviction.
ICNP 2007: 336-337 |
| 87 | | Caixia Chi,
Dawei Huang,
David Lee,
XiaoRong Sun:
Lazy flooding: a new technique for information dissemination in distributed network systems.
IEEE/ACM Trans. Netw. 15(1): 80-92 (2007) |
| 2006 |
|---|
| 86 | | Zhijun Liu,
Guoqiang Shu,
Na Li,
David Lee:
Defending against Instant Messaging Worms.
GLOBECOM 2006 |
| 85 | | Mike Blow,
Kerstin Dautenhahn,
Andrew Appleby,
Chrystopher L. Nehaniv,
David Lee:
The art of designing robot faces: dimensions for human-robot interaction.
HRI 2006: 331-332 |
| 84 | | Guoqiang Shu,
David Lee:
Network Protocol System Fingerprinting - A Formal Approach.
INFOCOM 2006 |
| 83 | | Guoqiang Shu,
David Lee,
Mihalis Yannakakis:
A note on broadcast encryption key management with applications to large scale emergency alert systems.
IPDPS 2006 |
| 82 | | Guoqiang Shu,
David Lee:
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.
TestCom 2006: 357-372 |
| 81 | | Michael L. Walters,
Kerstin Dautenhahn,
Sarah N. Woods,
Kheng Lee Koay,
I. René J. A. te Boekhorst,
David Lee:
Exploratory studies on social spaces between humans and a mechanical-looking robot.
Connect. Sci. 18(4): 429-439 (2006) |
| 80 | | Rajvikram 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:
Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuter.
Future Generation Comp. Syst. 22(8): 1032-1039 (2006) |
| 79 | | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw. 14(2): 424-437 (2006) |
| 78 | | Corin Yeats,
Michael Maibaum,
Russell L. Marsden,
Mark Dibley,
David Lee,
Sarah Addou,
Christine A. Orengo:
Gene3D: modelling protein structure, function and evolution.
Nucleic Acids Research 34(Database-Issue): 281-284 (2006) |
| 2005 |
|---|
| 77 |  | David Lee:
Continuous Speech Recognition Using Modified Stack Decoding Algorithm.
AAAI 2005: 1614-1615 |
| 76 | | 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:
Scientific grid activities in Cybermedia Center, Osaka University.
CCGRID 2005: 463-470 |
| 75 | | Jonathan Friedman,
David Lee,
Ilias Tsigkogiannis,
Sophia Wong,
Dennis Chao,
David Levin,
William J. Kaiser,
Mani B. Srivastava:
RAGOBOT: A New Platform for Wireless Mobile Sensor Networks.
DCOSS 2005: 412-412 |
| 74 | | Kris Lin,
Jennifer Yu,
Jason Hsu,
Sadaf Zahedi,
David Lee,
Jonathan Friedman,
Aman Kansal,
Vijay Raghunathan,
Mani B. Srivastava:
Heliomote: enabling long-lived sensor networks through solar energy harvesting.
SenSys 2005: 309 |
| 73 | | 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:
Dynamically configurable robotic sensor networks.
SenSys 2005: 321 |
| 72 | | Raymond E. Miller,
Dongluo Chen,
David Lee,
Ruibing Hao:
Coping with Nondeterminism in Network Protocol Testing.
TestCom 2005: 129-145 |
| 71 | | Keqin Li,
David Lee:
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.
TestCom 2005: 258-274 |
| 70 | | Frances M. G. Pearl,
Annabel E. Todd,
Ian Sillitoe,
Mark Dibley,
Oliver Redfern,
Tony E. Lewis,
Christopher Bennett,
Russell L. Marsden,
Alastair Grant,
David Lee,
Adrian Akpor,
Michael Maibaum,
Andrew P. Harrison,
Timothy Dallman,
Gabrielle A. Reeves,
Ilhem Diboun,
Sarah Addou,
Stefano Lise,
Caroline E. Johnston,
Antonio Sillero,
Janet M. Thornton,
Christine A. Orengo:
The CATH Domain Structure Database and related resources Gene3D and DHS provide comprehensive domain family information for genome analysis.
Nucleic Acids Research 33(Database-Issue): 247-251 (2005) |
| 2004 |
|---|
| 69 | | David J. Harper,
David Lee:
On the Effectiveness of Relevance Profiling.
ADCS 2004: 10-16 |
| 68 | | Baptiste Alcalde,
Ana R. Cavalli,
Dongluo Chen,
Davy Khuu,
David Lee:
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
FORTE 2004: 150-166 |
| 67 | | David Lee,
Lavy Libman,
Ariel Orda:
Path Protection and Blocking Probability Minimization in Optical Networks.
INFOCOM 2004 |
| 66 | | Ruibing Hao,
David Lee,
Juntao Ma,
Jiahai Yang:
Fault management for networks with link state routing protocols.
NOMS (1) 2004: 103-116 |
| 65 | | David Lee,
Christine Liu,
Mihalis Yannakakis:
Protocol System Integration, Interface and Interoperability.
OPODIS 2004: 1-19 |
| 64 | | David Lee,
Alastair Grant,
Ian Sillitoe,
Mark Dibley,
Juan Garcia Ranea,
Christine A. Orengo:
A structural perspective on genome evolution.
RECOMB 2004: 336 |
| 63 | | Ruibing Hao,
David Lee,
Rakesh K. Sinha,
Nancy D. Griffeth:
Integrated system interoperability testing with applications to VoIP.
IEEE/ACM Trans. Netw. 12(5): 823-836 (2004) |
| 2003 |
|---|
| 62 | | David Lee,
Abel W. Lin,
Thomas Hutton,
Toyokazu Akiyama,
Shinji Shimojo,
Fang-Pang Lin,
Steven Peltier,
Mark H. Ellisman:
Global Telescience featuring IPv6 at iGrid2002.
Future Generation Comp. Syst. 19(6): 1031-1039 (2003) |
| 61 | | Mark J. Karol,
S. Jamaloddin Golestani,
David Lee:
Prevention of deadlocks and livelocks in lossless backpressured packet networks.
IEEE/ACM Trans. Netw. 11(6): 923-934 (2003) |
| 60 | | Dong Wang,
Ruibing Hao,
David Lee:
Fault detection in Rule-based Software systems.
Information & Software Technology 45(12): 865-871 (2003) |
| 59 | | Steven Peltier,
Abel W. Lin,
David Lee,
Stephen Mock,
Stephan Lamont,
Tomas E. Molina,
Mona Wong,
Lu Dai,
Maryann E. Martone,
Mark H. Ellisman:
The Telescience Portal for advanced tomography applications.
J. Parallel Distrib. Comput. 63(5): 539-550 (2003) |
| 58 | | Daniel W. A. Buchan,
Stuart C. G. Rison,
James E. Bray,
David Lee,
Frances M. G. Pearl,
Janet M. Thornton,
Christine A. Orengo:
Gene3D: structural assignments for the biologist and bioinformaticist alike.
Nucleic Acids Research 31(1): 469-473 (2003) |
| 2002 |
|---|
| 57 | | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
A Formal Approach for Passive Testing of Protocol Data Portions.
ICNP 2002: 122-131 |
| 56 | | David Lee,
Mihalis Yannakakis:
Closed Partition Lattice and Machine Decomposition.
IEEE Trans. Computers 51(2): 216-228 (2002) |
| 2001 |
|---|
| 55 | | David Lee,
Ruibing Hao:
Test Sequence Selection.
FORTE 2001: 269-284 |
| 54 | | David Lee,
K. K. Ramakrishnan,
W. Melody Moh:
Correctness and performance of the ATM ABR rate control scheme.
Computer Networks 35(2-3): 237-261 (2001) |
| 53 | | David Lee,
Henryk Wozniakowski:
A Probabilistic Analysis of Linear Operator Testing.
J. Complexity 17(3): 516-540 (2001) |
| 52 | | M. Mar Albà,
David Lee,
Frances M. G. Pearl,
Adrian J. Shepherd,
Nigel J. Martin,
Christine A. Orengo,
Paul Kellam:
VIDA: a virus database system for the organization of animal virus genome open reading frames.
Nucleic Acids Research 29(1): 133-136 (2001) |
| 51 | | Frances 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:
A rapid classification protocol for the CATH Domain Database to support structural genomics.
Nucleic Acids Research 29(1): 223-227 (2001) |
| 50 | | David Lee,
Henryk Wozniakowski:
Approximate evaluations of characteristic polynomials of Boolean functions.
Theor. Comput. Sci. 262(1): 37-68 (2001) |
| 2000 |
|---|
| 49 | | Ruibing Hao,
David Lee,
Rakesh K. Sinha,
Dario Vlah:
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.
FORTE 2000: 249-264 |
| 48 | | Nancy D. Griffeth,
Ruibing Hao,
David Lee,
Rakesh K. Sinha:
Integrated System Interoperability Testing with Applications to VOIP.
FORTE 2000: 69-84 |
| 47 | | Mark J. Karol,
S. Jamaloddin Golestani,
David Lee:
Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks.
INFOCOM 2000: 1333-1342 |
| 46 | | Frances M. G. Pearl,
David Lee,
James E. Bray,
Ian Sillitoe,
Annabel E. Todd,
Andrew P. Harrison,
Janet M. Thornton,
Christine A. Orengo:
Assigning genomic sequences to CATH.
Nucleic Acids Research 28(1): 277-282 (2000) |
| 1999 |
|---|
| 45 | | Cédric Besse,
Ana R. Cavalli,
David Lee:
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.
ASE 1999: 73-80 |
| 44 | | Ana R. Cavalli,
David Lee,
Christian Rinderknecht,
Fatiha Zaïdi:
Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
FORTE 1999: 41-56 |
| 43 | | Nicholas Molton,
Stephen Se,
Michael Brady,
David Lee,
Penny Probert:
Robotic sensing for the partially sighted.
Robotics and Autonomous Systems 26(2-3): 185-201 (1999) |
| 1998 |
|---|
| 42 | | Mihalis Yannakakis,
David Lee:
Testing for Finite State Systems.
CSL 1998: 29-44 |
| 41 | | Thomas F. La Porta,
David Lee,
Yow-Jian Lin,
Mihalis Yannakakis:
Protocol Feature Interactions.
FORTE 1998: 59-74 |
| 40 | | David Lee,
K. K. Ramakrishnan,
W. Melody Moh:
A Formal Specification of the ATM ABR Rate Control Scheme.
Computer Networks 30(19): 1735-1748 (1998) |
| 39 | | Martin Snaith,
David Lee,
Penny Probert:
A low-cost system using sparse vision for navigation in the urban environment.
Image Vision Comput. 16(4): 225-233 (1998) |
| 38 | | Nicholas Molton,
Stephen Se,
Michael Brady,
David Lee,
Penny Probert:
A stereo vision-based aid for the visually impaired.
Image Vision Comput. 16(4): 251-263 (1998) |
| 37 | | Imrich Chlamtac,
David Lee,
Mischa Schwartz:
Editorial - Protocols and Software Paradigms of Mobile Networks.
MONET 3(2): 121-122 (1998) |
| 1997 |
|---|
| 36 | | David Lee,
Arun N. Netravali,
Krishan K. Sabnani,
Binay Sugla,
Ajita John:
Passive testing and applications to network management.
ICNP 1997: 113- |
| 35 | | David Lee,
K. K. Ramakrishnan,
W. Melody Moh,
A. Udaya Shankar:
Performance and Correctness of the ATM ABR Rate Control Scheme.
INFOCOM 1997: 785-794 |
| 34 | | Mihalis Yannakakis,
David Lee:
An Efficient Algorithm for Minimizing Real-Time Transition Systems.
Formal Methods in System Design 11(2): 113-136 (1997) |
| 33 | | David Lee,
Michael Recce:
Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
I. J. Robotic Res. 16(4): 413-447 (1997) |
| 1996 |
|---|
| 32 | | Samuel Huang,
David Lee,
Mark G. Staskauskas:
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.
FORTE 1996: 403-418 |
| 31 | | David Lee,
K. K. Ramakrishnan,
W. Melody Moh,
A. Udaya Shankar:
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.
ICNP 1996: 208-217 |
| 30 | | David Lee,
Mihalis Yannakakis:
Optimization problems from feature testing of communication protocols.
ICNP 1996: 66-75 |
| 29 | | Vishwani D. Agrawal,
David Lee:
Characteristic polynomial method for verification and test of combinational circuits.
VLSI Design 1996: 341-342 |
| 1995 |
|---|
| 28 | | David Lee:
Feature Testing of Communications Protocols.
ICCCN 1995 |
| 27 | | A. Udaya Shankar,
David Lee:
Minimum-latency transport protocols with modulo-N incarnation numbers.
IEEE/ACM Trans. Netw. 3(3): 255-268 (1995) |
| 26 | | Mihalis Yannakakis,
David Lee:
Testing Finite State Machines: Fault Detection.
J. Comput. Syst. Sci. 50(2): 209-227 (1995) |
| 1994 |
|---|
| 25 | | David Lee,
Michael Recce:
Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
AAAI 1994: 1470 |
| 24 | | Ali Poursepanj,
Deene Ogden,
Brad Burgess,
Sonya Gary,
Carl Dietz,
David Lee,
S. Surya,
Mike Peters:
The PowerPC 603 Microprocessor: Performance Analysis and Design Trade-offs.
COMPCON 1994: 316-323 |
| 23 | | Andreas Nowatzyk,
Gunes Aybay,
Michael C. Browne,
Edmund J. Kelly,
David Lee,
Michael Parkin:
The S3mp Scalable Shared Memory Multiprocessor.
HICSS (1) 1994: 144-153 |
| 22 | | David Lee,
Mihalis Yannakakis:
Testing Finite-State Machines: State Identification and Verification.
IEEE Trans. Computers 43(3): 306-320 (1994) |
| 1993 |
|---|
| 21 | | Mihalis Yannakakis,
David Lee:
An Efficient Algorithm for Minimizing Real-time Transition Systems.
CAV 1993: 210-224 |
| 20 | | David Lee,
Krishan K. Sabnani,
David M. Kristol,
Sanjoy Paul,
M. Ümit Uyar:
Conformance Testing of Protocols Specified as Communicating FSMs.
INFOCOM 1993: 115-127 |
| 19 | | Andreas Nowatzyk,
M. Monger,
Michael Parkin,
Edmund J. Kelly,
Michael C. Browne,
Gunes Aybay,
David Lee:
The S3.mp Architecture: A Local Area Multiprocessor.
SPAA 1993: 140-141 |
| 18 | | David Lee,
Grzegorz W. Wasilkowski,
Rajiv Mehrotra:
A new zero-crossing-based discontinuity detector.
IEEE Transactions on Image Processing 2(2): 265-268 (1993) |
| 17 | | David M. Kristol,
David Lee,
Arun N. Netravali,
Krishan K. Sabnani:
A polynomial algorithm for gateway generation from formal specifications.
IEEE/ACM Trans. Netw. 1(2): 217-229 (1993) |
| 16 | | David Lee,
Grzegorz W. Wasilkowski:
Discontinuity Detection and Thresholding-A Stochastic Approach.
J. Complexity 9(1): 76-96 (1993) |
| 1992 |
|---|
| 15 | | Scott 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:
Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration.
CHI 1992: 599-607 |
| 14 | | David Lee,
Mihalis Yannakakis:
Online Minimization of Transition Systems (Extended Abstract)
STOC 1992: 264-274 |
| 1991 |
|---|
| 13 | | David M. Kristol,
David Lee,
Arun N. Netravali,
Krishan K. Sabnani:
Efficient Gateway Synthesis from Formal Specifications.
SIGCOMM 1991: 89-97 |
| 12 | | Mihalis Yannakakis,
David Lee:
Testing Finite State Machines (Extended Abstract)
STOC 1991: 476-485 |
| 11 | | Minghua Chen,
David Lee,
Theodosios Pavlidis:
Residual Analysis for Feature Detection.
IEEE Trans. Pattern Anal. Mach. Intell. 13(1): 30-40 (1991) |
| 1990 |
|---|
| 10 | | David Lee:
Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement.
IEEE Trans. Pattern Anal. Mach. Intell. 12(4): 321-344 (1990) |
| 9 | | David Lee:
Discontinuity detection from band-limited signals.
J. Complexity 6(2): 170-191 (1990) |
| 1989 |
|---|
| 8 | | David Haupert,
Fu-Gin Chen,
David Lee:
VLSI Package Reliability Risk Due to Accelerated Environmental Testing.
ITC 1989: 938 |
| 1988 |
|---|
| 7 | | David Lee,
Theodosios Pavlidis:
One-Dimensional Regularization with Discontinuities.
IEEE Trans. Pattern Anal. Mach. Intell. 10(6): 822-829 (1988) |
| 1987 |
|---|
| 6 | | David Lee,
Theodosios Pavlidis,
Grzegorz W. Wasilkowski:
A note on the trade-off between sampling and quantization in signal processing.
J. Complexity 3(4): 359-371 (1987) |
| 1986 |
|---|
| 5 | | Alfred V. Aho,
David Lee:
Storing a Dynamic Sparse Table
FOCS 1986: 55-60 |
| 4 | | David Lee,
Grzegorz W. Wasilkowski:
Approximation of linear functionals on a banach space with a Gaussian measure.
J. Complexity 2(1): 12-43 (1986) |
| 3 | | David Lee:
Fast multiplication of a recursive block Toeplitz matrix by a vector and its application.
J. Complexity 2(4): 295-305 (1986) |
| 1985 |
|---|
| 2 | | David Lee:
Comparator with Completion Signal.
IEEE Trans. Computers 34(9): 855-857 (1985) |
| 1 | | David Lee:
Optimal algorithms for image understanding: Current status and future plans.
J. Complexity 1(1): 138-146 (1985) |
