David Lee

According to our database1, David Lee
  • authored at least 158 papers between 1985 and 2018.
  • has a "Dijkstra number"2 of four.

Awards

IEEE Fellow

IEEE Fellow 1997, "For contributions to theory and industrial applications of the design and testing of communication protocols.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Extreme-value limit of the convolution of exponential and multivariate normal distributions: Link to the Hüsler-Reiß distribution.
J. Multivariate Analysis, 2018

2017
Improving the Accuracy and Training Speed of Motor Imagery Brain-Computer Interfaces Using Wavelet-Based Combined Feature Vectors and Gaussian Mixture Model-Supervectors.
Sensors, 2017

Distinguishing Posed and Spontaneous Smiles by Facial Dynamics.
CoRR, 2017

Probability Map Viewer: near real-time probability map generator of serial block electron microscopy collections.
Bioinformatics, 2017

Speeding up SVM training in brain-computer interfaces.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

2016
Helio X20: The first tri-gear mobile SoC with CorePilot™ 3.0 technology.
Proceedings of the 2016 IEEE Hot Chips 28 Symposium (HCS), 2016

SEU Mitigation and Validation of the LEON3 Soft Processor Using Triple Modular Redundancy for Space Processing.
Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2016

Distinguishing Posed and Spontaneous Smiles by Facial Dynamics.
Proceedings of the Computer Vision - ACCV 2016 Workshops, 2016

2015
'Isn't it just a way to protect Walt Disney's rights?': Media user perspectives on copyright.
New Media & Society, 2015

Scaling persistent connections for cloud services.
Computer Networks, 2015

Electronic Contract Signing Without Using Trusted Third Party.
Proceedings of the Network and System Security - 9th International Conference, 2015

Dual Aperture Photography: Image and Depth from a Mobile Camera.
Proceedings of the 2015 IEEE International Conference on Computational Photography, 2015

Forager: designing location-aware applications for informal waste recyclers in Brazil.
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

2014
Crowdsourcing for Participatory Democracies: Efficient Elicitation of Social Choice Functions.
CoRR, 2014

Learning from tracking waste: How transparent trash networks affect sustainable attitudes and behavior.
Proceedings of the IEEE World Forum on Internet of Things, 2014

Environmental Information System for Waste Electrical Electronic Equipment (WEEE) Managent: Case Study of Pernambuco (Brazil).
Proceedings of the 28th International Conference on Informatics for Environmental Protection: ICT for Energy Effieciency, 2014

2013
Tracking Trash.
IEEE Pervasive Computing, 2013

Detecting job interference in large distributed multi-agent systems - A formal approach.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

The impact of data quality on spatial analysis of cancer registry data: the example of missing stage at diagnosis and late-stage colorectal cancer.
Proceedings of the Second ACM SIGSPATIAL International Workshop on Use of GIS in Public Health, 2013

2012
Triadic Consensus: A Randomized Algorithm for Voting in a Crowd
CoRR, 2012

Biased Assimilation, Homophily and the Dynamics of Polarization
CoRR, 2012

Triadic Consensus - A Randomized Algorithm for Voting in a Crowd.
Proceedings of the Internet and Network Economics - 8th International Workshop, 2012

Biased Assimilation, Homophily, and the Dynamics of Polarization - (Working Paper).
Proceedings of the Internet and Network Economics - 8th International Workshop, 2012

PhantomPen: virtualization of pen head for digital drawing free from pen occlusion & visual parallax.
Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

Putting the informal on the map: tools for participatory waste management.
Proceedings of the 12th Participatory Design Conference, 2012

Through the looking glass: mirror worlds for augmented awareness & capability.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Modelling techniques for analysis of human activity patterns.
Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

Traceback Attacks in Cloud - Pebbletrace Botnet.
Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Exploring Local Cultural Perspectives in User Interface Development in an Indian Offshoring Context: A View from the UK.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

Addressing colorectal cancer disparities: the identification of geographic targets for screening interventions in Miami-Dade County, Florida.
Proceedings of the HealthGIS 2012, 2012

2011
A Formal Methodology for Network Protocol Fingerprinting.
IEEE Trans. Parallel Distrib. Syst., 2011

Investigation of the waste-removal chain through pervasive computing.
IBM Journal of Research and Development, 2011

Widescope - A social platform for serious conversations on the Web
CoRR, 2011

On detecting active worms with varying scan rate.
Computer Communications, 2011

Nemor: A congestion-aware protocol for anonymous peer-based content distribution.
Proceedings of the 2011 IEEE International Conference on Peer-to-Peer Computing, 2011

Machine learning for implanted malicious code detection with incompletely specified system implementations.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Gender, Spatial Ability, and High-Stakes Testing.
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010
Technical Infrastructure at Linguistic Data Consortium: Software and Hardware Resources for Linguistic Data Creation.
Proceedings of the International Conference on Language Resources and Evaluation, 2010

Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization.
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

Multi-HDCS: Solving DisCSPs with Complex Local Problems Cooperatively.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

2009
Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Montage: a platform for physically navigating multiple pages of web content.
Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

A hybrid approach to solving coarse-grained DisCSPs.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.
Proceedings of the Testing of Software and Communicating Systems, 2008

A model-based approach to security flaw detection of network protocol implementations.
Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008

Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

A Hybrid Approach to Distributed Constraint Satisfaction.
Proceedings of the Artificial Intelligence: Methodology, 2008

Corpus Linguistics with BNCweb - a Practical Guide.
English corpus linguistics 6, Lang, ISBN: 978-3-631-56315-1, 2008

2007
Lazy flooding: a new technique for information dissemination in distributed network systems.
IEEE/ACM Trans. Netw., 2007

Coping with Instant Messaging Worms - Statistical Modeling and Analysis.
Proceedings of the 15th IEEE Workshop on Local & Metropolitan Area Networks, 2007

Network Court Protocol and Malicious Node Conviction.
Proceedings of the IEEE International Conference on Network Protocols, 2007

Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

2006
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw., 2006

Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuter.
Future Generation Comp. Syst., 2006

Exploratory studies on social spaces between humans and a mechanical-looking robot.
Connect. Sci., 2006

Effective Detection of Active Worms with Varying Scan Rate.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Reinforcement Learning for a Human-Following Robot.
Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

Perception of Robot Smiles and Dimensions for Human-Robot Interaction Design.
Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.
Proceedings of the Testing of Communicating Systems, 2006

A note on broadcast encryption key management with applications to large scale emergency alert systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Network Protocol System Fingerprinting - A Formal Approach.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

The art of designing robot faces: dimensions for human-robot interaction.
Proceedings of the 1st ACM SIGCHI/SIGART Conference on Human-Robot Interaction, 2006

Defending against Instant Messaging Worms.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

2005
Ecce Homology.
Proceedings of the 32. International Conference on Computer Graphics and Interactive Techniques, 2005

Dynamically configurable robotic sensor networks.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Heliomote: enabling long-lived sensor networks through solar energy harvesting.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

The influence of subjects' personality traits on personal spatial zones in a human-robot interaction experiment.
Proceedings of the IEEE International Workshop on Robot and Human Interactive Communication, 2005

Coping with Nondeterminism in Network Protocol Testing.
Proceedings of the Testing of Communicating Systems, 2005

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.
Proceedings of the Testing of Communicating Systems, 2005

Close encounters: spatial distances between people and a robot of mechanistic appearance.
Proceedings of the 5th IEEE-RAS International Conference on Humanoid Robots, 2005

RAGOBOT: A New Platform for Wireless Mobile Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2005

Scientific grid activities in Cybermedia Center, Osaka University.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Continuous Speech Recognition Using Modified Stack Decoding Algorithm.
Proceedings of the Proceedings, 2005

2004
Integrated system interoperability testing with applications to VoIP.
IEEE/ACM Trans. Netw., 2004

Protocol System Integration, Interface and Interoperability.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Fault management for networks with link state routing protocols.
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

Path Protection and Blocking Probability Minimization in Optical Networks.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

On the Effectiveness of Relevance Profiling.
Proceedings of the ADCS 2004, 2004

2003
Prevention of deadlocks and livelocks in lossless backpressured packet networks.
IEEE/ACM Trans. Netw., 2003

The Telescience Portal for advanced tomography applications.
J. Parallel Distrib. Comput., 2003

Fault detection in Rule-based Software systems.
Information & Software Technology, 2003

Global Telescience featuring IPv6 at iGrid2002.
Future Generation Comp. Syst., 2003

2002
Closed Partition Lattice and Machine Decomposition.
IEEE Trans. Computers, 2002

A dynamic power and rate joint allocation algorithm for mobile multimedia DS-CDMA networks based on utility functions.
Proceedings of the 13th IEEE International Symposium on Personal, 2002

A Formal Approach for Passive Testing of Protocol Data Portions.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001
Approximate evaluations of characteristic polynomials of Boolean functions.
Theor. Comput. Sci., 2001

A Probabilistic Analysis of Linear Operator Testing.
J. Complexity, 2001

Correctness and performance of the ATM ABR rate control scheme.
Computer Networks, 2001

Test Sequence Selection.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

SOCRATES on IP router fault detection.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Interoperability testing of VoIP systems.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Hierarchical networks and the LSA N-squared problem in OSPF routing.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Integrated System Interoperability Testing with Applications to VOIP.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
Robotic sensing for the partially sighted.
Robotics and Autonomous Systems, 1999

An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Hit-or-Jump: An algorithm for embedded testing with applications to IN services.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998
Numerical computation of characteristic polynomials of Boolean functions and its applications.
Numerical Algorithms, 1998

Editorial - Protocols and Software Paradigms of Mobile Networks.
MONET, 1998

A low-cost system using sparse vision for navigation in the urban environment.
Image Vision Comput., 1998

A stereo vision-based aid for the visually impaired.
Image Vision Comput., 1998

A Formal Specification of the ATM ABR Rate Control Scheme.
Computer Networks, 1998

Protocol Feature Interactions.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Testing for Finite State Systems.
Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997
Learned Publishing: The Bell Years.
Learned Publishing, 1997

Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
I. J. Robotics Res., 1997

An Efficient Algorithm for Minimizing Real-Time Transition Systems.
Formal Methods in System Design, 1997

Performance and Correctness of the ATM ABR Rate Control Scheme.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

Passive testing and applications to network management.
Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997

1996
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.
IEEE Trans. Communications, 1996

Characteristic polynomial method for verification and test of combinational circuits.
Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Audio Signal Restoration Using Higher-order Spectra.
Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996

Optimization problems from feature testing of communication protocols.
Proceedings of the 1996 International Conference on Network Protocols, 1996

Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.
Proceedings of the 1996 International Conference on Network Protocols, 1996

Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Minimum-latency transport protocols with modulo-N incarnation numbers.
IEEE/ACM Trans. Netw., 1995

Testing nonlinear operators.
Numerical Algorithms, 1995

Testing Finite State Machines: Fault Detection.
J. Comput. Syst. Sci., 1995

Feature Testing of Communications Protocols.
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994
Testing Finite-State Machines: State Identification and Verification.
IEEE Trans. Computers, 1994

Thin Plate Splines with Discontinuities and Fast Algorithms for Their Computation.
SIAM J. Scientific Computing, 1994

The S3mp Scalable Shared Memory Multiprocessor.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

The PowerPC 603 Microprocessor: Performance Analysis and Design Trade-offs.
Proceedings of the Spring COMPCON 94, Digest of Papers, San Francisco, California, USA, February 28, 1994

Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
A polynomial algorithm for gateway generation from formal specifications.
IEEE/ACM Trans. Netw., 1993

A new zero-crossing-based discontinuity detector.
IEEE Trans. Image Processing, 1993

Discontinuity Detection and Thresholding-A Stochastic Approach.
J. Complexity, 1993

The S3.mp Architecture: A Local Area Multiprocessor.
SPAA, 1993

Conformance Testing of Protocols Specified as Communicating FSMs.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Modulo-N incarnation numbers for cache-based transport protocols.
Proceedings of the 1993 International Conference on Network Protocols, 1993

Reverse-engineering of communication protocols.
Proceedings of the 1993 International Conference on Network Protocols, 1993

An Efficient Algorithm for Minimizing Real-time Transition Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Online Minimization of Transition Systems (Extended Abstract)
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration.
Proceedings of the Conference on Human Factors in Computing Systems, 1992

1991
Message Posting Protocol (MPP).
RFC, February, 1991

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours.
IEEE Trans. Communications, 1991

Detection, Classification, and Measurement of Discontinuities.
SIAM J. Scientific Computing, 1991

Residual Analysis for Feature Detection.
IEEE Trans. Pattern Anal. Mach. Intell., 1991

Testing Finite State Machines (Extended Abstract)
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Efficient Gateway Synthesis from Formal Specifications.
Proceedings of the SIGCOMM '91, 1991

Discontinuity detection and thresholding-a stochastic approach.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1991

1990
Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement.
IEEE Trans. Pattern Anal. Mach. Intell., 1990

Discontinuity detection from band-limited signals.
J. Complexity, 1990

1989
VLSI Package Reliability Risk Due to Accelerated Environmental Testing.
Proceedings of the Proceedings International Test Conference 1989, 1989

Edge detection, classification, and measurement.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989

1988
One-Dimensional Regularization with Discontinuities.
IEEE Trans. Pattern Anal. Mach. Intell., 1988

Computational Aspects Of Determining Optical Flow.
Proceedings of the Second International Conference on Computer Vision, 1988

Coping With Discontinuities In Computer Vision: Their Detection, Classification, And Measurement.
Proceedings of the Second International Conference on Computer Vision, 1988

Edge detection through residual analysis.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

Algorithms for shape from shading and occluding boundaries.
Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1987
A note on the trade-off between sampling and quantization in signal processing.
J. Complexity, 1987

1986
Approximation of linear functionals on a banach space with a Gaussian measure.
J. Complexity, 1986

Fast multiplication of a recursive block Toeplitz matrix by a vector and its application.
J. Complexity, 1986

Storing a Dynamic Sparse Table
Proceedings of the 27th Annual Symposium on Foundations of Computer Science, 1986

1985
Comparator with Completion Signal.
IEEE Trans. Computers, 1985

Optimal algorithms for image understanding: Current status and future plans.
J. Complexity, 1985


  Loading...