David Lee

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 40

Top Venues

Publications

Kieran Ricardo, David Lee, Kenneth Duru
Entropy and energy conservation for thermal atmospheric dynamics using mixed compatible finite elements. J. Comput. Phys. 496 (2024)
David Lee, Alberto F. Martín, Kieran Ricardo
Helmholtz preconditioning for the compressible Euler equations using mixed finite elements with Lorenz staggering. CoRR (2024)
David Lee, Alberto F. Martín, Christopher Bladwell, Santiago Badia
A comparison of variational upwinding schemes for geophysical fluids, and their application to potential enstrophy conserving discretisations. Comput. Math. Appl. 165 (2024)
Hayat Malik, Sonali Bhandari, Elizabeth L. Fonseca, Chiara Bonaccorsi, David Lee
Towards integrated learning experiences on social media: An exploration of #DayInTheLife videos for career exploration. Conference on Designing Interactive Systems (2024)
Kieran Ricardo, David Lee, Kenneth Duru
Conservation and stability in a discontinuous Galerkin method for the vector invariant spherical shallow water equations. CoRR (2023)
Kieran Ricardo, Kenneth Duru, David Lee
An entropy stable discontinuous Galerkin method for the spherical thermal shallow water equations. CoRR (2023)
Kieran Ricardo, David Lee, Kenneth Duru
Entropy and energy conservation for thermal atmospheric dynamics using mixed compatible finite elements. CoRR (2023)
David Lee
Rosenbrock-Wanner Time Integration in Atmospheric Modelling. CoRR (2023)
Arun Raghuramu, Lianjie Cao, Puneet Sharma, Mario Sánchez, Joon-Myung Kang, Chen-Nee Chuah, David Lee, Vinay Saxena
Metered Boot: Trusted Framework for Application Usage Rights Management in Virtualized Ecosystems. IEEE Trans. Netw. Serv. Manag. 19 (3) (2022)
David Lee, Alberto F. Martín, Christopher Bladwell, Santiago Badia
A comparison of variational upwinding schemes for geophysical fluids, and their application to potential enstrophy conserving discretisations in space and time. CoRR (2022)
Tasbolat Taunyazov, Luar Shui Song, Eugene Lim, Hian-Hian See, David Lee, Benjamin C. K. Tee, Harold Soh
Extended Tactile Perception: Vibration Sensing through Tools and Grasped Objects. CoRR (2021)
David Lee
Petrov-Galerkin flux upwinding for mixed mimetic spectral elements, and its application to geophysical flow problems. Comput. Math. Appl. 89 (2021)
David Lee, Brandon Steed, Yi Liu, Onyeka Ezenwoye
Tutorial: A Lightweight Web Application for Software Vulnerability Demonstration. SecDev (2021)
Tasbolat Taunyazov, Luar Shui Song, Eugene Lim, Hian-Hian See, David Lee, Benjamin C. K. Tee, Harold Soh
Extended Tactile Perception: Vibration Sensing through Tools and Grasped Objects. IROS (2021)
Yichao Zhou, Wei-Ting Chen, Bowen Zhang, David Lee, J. Harry Caufield, Kai-Wei Chang, Yizhou Sun, Peipei Ping, Wei Wang
CREATe: Clinical Report Extraction and Annotation Technology. ICDE (2021)
Byeongjoon Noh, Dongho Ka, David Lee, Hwasoo Yeo
Vision based Pedestrian Potential Risk Analysis based on Automated Behavior Feature Extraction for Smart and Safe City. CoRR (2021)
David Lee
An energetically balanced, quasi-Newton integrator for non-hydrostatic vertical atmospheric dynamics. J. Comput. Phys. 429 (2021)
David Lee, Artur Palha
Exact spatial and temporal balance of energy exchanges within a horizontally explicit/vertically implicit non-hydrostatic atmosphere. J. Comput. Phys. 440 (2021)
Yichao Zhou, Wei-Ting Chen, Bowen Zhang, David Lee, J. Harry Caufield, Kai-Wei Chang, Yizhou Sun, Peipei Ping, Wei Wang
CREATe: Clinical Report Extraction and Annotation Technology. CoRR (2021)
Byeongjoon Noh, Wonjun No, David Lee, Hwasoo Yeo
Automated Object Behavioral Feature Extraction for Potential Risk Analysis based on Video Sensor. CoRR (2021)
Wonjun No, Junyong Choi, Sangjoon Park, David Lee
Balancing Hazard Exposure and Walking Distance in Evacuation Route Planning during Earthquake Disasters. ISPRS Int. J. Geo Inf. 9 (7) (2020)
David Lee, Artur Palha
Exact spatial and temporal balance of energy exchanges within a horiztonally explicit/vertically implicit non-hydrostatic atmosphere. CoRR (2020)
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
MLPerf Inference Benchmark. ISCA (2020)
David Lee
An energetically balanced, quasi-Newton integrator for non-hydrostatic vertical atmospheric dynamics. CoRR (2020)
David Lee
Petrov-Galerkin flux upwinding for mixed mimetic spectral elements, and its application to vorticity stabilisation in shallow water. CoRR (2020)
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 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
NTIRE 2020 Challenge on NonHomogeneous Dehazing. CVPR Workshops (2020)
Pablo Munguia, Amelia Brennan, Sarah Taylor, David Lee
A learning analytics journey: Bridging the gap between technology services and the academic need. Internet High. Educ. 46 (2020)
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 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
NTIRE 2020 Challenge on NonHomogeneous Dehazing. CoRR (2020)
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
MLPerf Inference Benchmark. CoRR (2019)
Zhiguo Wan, Robert H. Deng, David Lee, Ying Li
MicroBTC: Efficient, Flexible and Fair Micropayment for Bitcoin Using Hash Chains. J. Comput. Sci. Technol. 34 (2) (2019)
David Lee, Seolha Lee
Inferring the character of urban commercial areas from age-biased online search results: how place recommendation data can reveal dynamic seoul neighborhoods. UbiComp/ISWC Adjunct (2019)
Pavel Krupskii, Harry Joe, David Lee, Marc G. Genton
Extreme-value limit of the convolution of exponential and multivariate normal distributions: Link to the Hüsler-Reiß distribution. J. Multivar. Anal. 163 (2018)
David Lee, William Muir, Samuel Beeston, Samuel Bates, Sam D. Schofield, Matthew J. Edwards, Richard D. Green
Analysing Forests Using Dense Point Clouds. IVCNZ (2018)
Puneet Sharma, David Lee, Vinay Saxena, Arun Raghuramu, Chen-Nee Chuah
We don't need no licensing server. HotNets (2018)
David Lee, Harry Joe
Efficient computation of multivariate empirical distribution functions at the observed values. Comput. Stat. 33 (3) (2018)
Byeongjoon Noh, Wonjun No, David Lee
Vision-based Overhead Front Point Recognition of Vehicles for Traffic Safety Analysis. UbiComp/ISWC Adjunct (2018)
Bappaditya Mandal, David Lee, Nizar Ouarti
Distinguishing Posed and Spontaneous Smiles by Facial Dynamics. CoRR (2017)
Chris Churas, Alex J. Perez, Hiroyuki Hakozaki, Willy Wong, David Lee, Steven Peltier, Mark H. Ellisman
Probability Map Viewer: near real-time probability map generator of serial block electron microscopy collections. Bioinform. 33 (19) (2017)
Bappaditya Mandal, David Lee, Nizar Ouarti
Distinguishing Posed and Spontaneous Smiles by Facial Dynamics. ACCV Workshops (1) (2016)
Tsung-Yao Lin, Ming-Hsien Lee, Loda Chou, Clavin Peng, Jih-Ming Hsu, Jia-Ming Chen, John-CC Chen, Alex Chiou, Artis Chiu, David Lee, Carrie Huang, Kenny Lee, TzuHeng Wang, Wei-Ting Wang, Yenchi Lee, Chi-Hui Wang, Pao-Ching Tseng, Ryan Chen, Kevin Jou
Helio X20: The first tri-gear mobile SoC with CorePilot™ 3.0 technology. Hot Chips Symposium (2016)
Wenjie Lin, Puneet Sharma, Sarbajit Chatterjee, Deepti Sharma, David Lee, Subu Iyer, Ajay Gupta
Scaling persistent connections for cloud services. Comput. Networks 93 (2015)
Zhiguo Wan, Robert H. Deng, David Lee
Electronic Contract Signing Without Using Trusted Third Party. NSS (2015)
David Lee, Dietmar Offenhuber, Lucia Helena Xavier, Carlo Ratti
Forager: designing location-aware applications for informal waste recyclers in Brazil. UbiComp/ISWC Adjunct (2015)
Manuel Martinello, Andrew Wajs, Shuxue Quan, Hank Lee, Chien Lim, Taekun Woo, Wonho Lee, Sang-Sik Kim, David Lee
Dual Aperture Photography: Image and Depth from a Mobile Camera. ICCP (2015)
Lee Edwards, Bethany Klein, David Lee, Giles Moss, Fiona Philip
'Isn't it just a way to protect Walt Disney's rights?': Media user perspectives on copyright. New Media Soc. 17 (5) (2015)
Lucia Helena Xavier, David Lee, Dietmar Offenhuber, Carlo Ratti, Alexsandro Diniz, Rodrigo Medeiros
Environmental Information System for Waste Electrical Electronic Equipment (WEEE) Managent: Case Study of Pernambuco (Brazil). EnviroInfo (2014)
David Lee, Dietmar Offenhuber, Assaf Biderman, Carlo Ratti
Learning from tracking waste: How transparent trash networks affect sustainable attitudes and behavior. WF-IoT (2014)
Santi Phithakkitnukoon, Malima I. Wolf, Dietmar Offenhuber, David Lee, Assaf Biderman, Carlo Ratti
Tracking Trash. IEEE Pervasive Comput. 12 (2) (2013)
Wenjie Lin, Michael A. McGrath, Ingy Ramzy, Ten-Hwang Lai, David Lee
Detecting job interference in large distributed multi-agent systems - A formal approach. IM (2013)
Recinda Sherman, Kevin A. Henry, David Lee
The impact of data quality on spatial analysis of cancer registry data: the example of missing stage at diagnosis and late-stage colorectal cancer. HealthGIS (2013)
Don Kimber, Jun Shingu, Jim Vaughan, David Arendash, David Lee, Maribeth Back
Through the looking glass: mirror worlds for augmented awareness & capability. ACM Multimedia (2012)
Dietmar Offenhuber, David Lee
Putting the informal on the map: tools for participatory waste management. PDC (2) (2012)
Wenjie Lin, David Lee
Traceback Attacks in Cloud - Pebbletrace Botnet. ICDCS Workshops (2012)
David Lee, KyoungHee Son, Joon Hyub Lee, Seok-Hyung Bae
PhantomPen: virtualization of pen head for digital drawing free from pen occlusion & visual parallax. UIST (2012)
Philip Holloway, Alan St. Clair Gibson, David Lee, Estelle Lambert, Maia Angelova, Sara Lombardo, Jason Ellis, Laurie Rauch
Modelling techniques for analysis of human activity patterns. IEEE Conf. of Intelligent Systems (2012)
Malte Ressin, Cecilia Oyugi, José L. Abdelnour-Nocera, David Lee, Dharam Panesar
Exploring Local Cultural Perspectives in User Interface Development in an Indian Offshoring Context: A View from the UK. HCSE (2012)
Recinda Sherman, Kevin A. Henry, David Lee
Addressing colorectal cancer disparities: the identification of geographic targets for screening interventions in Miami-Dade County, Florida. HealthGIS (2012)
Wei Yu, Xun Wang, Adam C. Champion, Dong Xuan, David Lee
On detecting active worms with varying scan rate. Comput. Commun. 34 (11) (2011)
Teomara Rutherford, David Lee, Michael E. Martinez
Gender, Spatial Ability, and High-Stakes Testing. CogSci (2011)
Yating Hsu, David Lee
Machine learning for implanted malicious code detection with incompletely specified system implementations. ICNP (2011)
Avid Boustani, Lewis Girod, Dietmar Offenhuber, Rex Britter, Malima I. Wolf, David Lee, Stephen Miles, Assaf Biderman, Carlo Ratti
Investigation of the waste-removal chain through pervasive computing. IBM J. Res. Dev. 55 (1) (2011)
David Lee, Andy Smith, Mike Mortimer
Cultural differences affecting quality and productivity in Western/Asian offshore software development. IndiaHCI (2011)
Fang Yu, Vijay Gopalakrishnan, David Lee, K. K. Ramakrishnan
Nemor: A congestion-aware protocol for anonymous peer-based content distribution. Peer-to-Peer Computing (2011)
David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui
Multi-HDCS: Solving DisCSPs with Complex Local Problems Cooperatively. IAT (2010)
Yating Hsu, David Lee
Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization. ICNP (2010)
Kazuaki Maeda, Haejoong Lee, Stephen Grimes, Jonathan Wright, Robert Parker, David Lee, Andrea Mazzucchi
Technical Infrastructure at Linguistic Data Consortium: Software and Hardware Resources for Linguistic Data Creation. LREC (2010)
David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui
Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems. IAT (2009)
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)
David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui
A hybrid approach to solving coarse-grained DisCSPs. AAMAS (2) (2009)
David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui
A Hybrid Approach to Distributed Constraint Satisfaction. AIMSA (2008)
Na Li, David Lee
Network Court Protocol and Malicious Node Conviction. ICNP (2007)
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) (2007)
Zhijun Liu, David Lee
Coping with Instant Messaging Worms - Statistical Modeling and Analysis. LANMAN (2007)
Yang Wang, David Lee
Reinforcement Learning for a Human-Following Robot. RO-MAN (2006)
Wei Yu, Xun Wang, Dong Xuan, David Lee
Effective Detection of Active Worms with Varying Scan Rate. SecureComm (2006)
Mike Blow, Kerstin Dautenhahn, Andrew Appleby, Chrystopher L. Nehaniv, David Lee
The art of designing robot faces: dimensions for human-robot interaction. HRI (2006)
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) (2006)
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) (2006)
Mike Blow, Kerstin Dautenhahn, Andrew Appleby, Chrystopher L. Nehaniv, David Lee
Perception of Robot Smiles and Dimensions for Human-Robot Interaction Design. RO-MAN (2006)
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 Gener. Comput. Syst. 22 (8) (2006)
Michael L. Walters, Kerstin Dautenhahn, Kheng Lee Koay, Christina Kaouri, Rene te Boekhorst, Chrystopher L. Nehaniv, Iain Werry, David Lee
Close encounters: spatial distances between people and a robot of mechanistic appearance. Humanoids (2005)
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)
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)
Ruth West, Jeff Burke, Cheryl Kerfeld, Eitan Mendelowitz, Thomas Holton, John P. Lewis, Ethan Drucker, Weihong Yan, Steve Lamont, Loren McQuade, David Lee
Ecce Homology. SIGGRAPH Emerging Technologies (2005)
Michael L. Walters, Kerstin Dautenhahn, Rene te Boekhorst, Kheng Lee Koay, Christina Kaouri, Sarah N. Woods, Chrystopher L. Nehaniv, David Lee, Iain P. Werry
The influence of subjects' personality traits on personal spatial zones in a human-robot interaction experiment. RO-MAN (2005)
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)
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)
Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
Coping with Nondeterminism in Network Protocol Testing. TestCom (2005)
David Lee
Continuous Speech Recognition Using Modified Stack Decoding Algorithm. AAAI (2005)
Keqin Li, David Lee
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. TestCom (2005)
David Lee, Lavy Libman, Ariel Orda
Path Protection and Blocking Probability Minimization in Optical Networks. INFOCOM (2004)
Ruibing Hao, David Lee, Juntao Ma, Jiahai Yang
Fault management for networks with link state routing protocols. NOMS (1) (2004)
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)
David J. Harper, David Lee
On the Effectiveness of Relevance Profiling. ADCS (2004)
Ruibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth
Integrated system interoperability testing with applications to VoIP. IEEE/ACM Trans. Netw. 12 (5) (2004)
Dong Wang, Ruibing Hao, David Lee
Fault detection in Rule-based Software systems. Inf. Softw. Technol. 45 (12) (2003)
Steven Peltier, Abel W. Lin, David Lee, Stephen A. 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 Distributed Comput. 63 (5) (2003)
Mark J. Karol, S. Jamaloddin Golestani, David Lee
Prevention of deadlocks and livelocks in lossless backpressured packet networks. IEEE/ACM Trans. Netw. 11 (6) (2003)
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 Gener. Comput. Syst. 19 (6) (2003)
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)

David Lee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Lee