| Automated analysis of cryptographic protocols using mur/spl phi JC Mitchell, M Mitchell, U Stern Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997 | 785 | 1997 |
| Parallelizing the Murϕ verifier U Stern, DL Dill International Conference on Computer Aided Verification, 256-267, 1997 | 389* | 1997 |
| Parallelizing the Murϕ verifier U Stern, DL Dill International Conference on Computer Aided Verification, 256-267, 1997 | 324 | 1997 |
| Finite-State Analysis of SSL 3.0. JC Mitchell, V Shmatikov, U Stern USENIX Security Symposium, 201-216, 1998 | 275 | 1998 |
| Use of primary and secondary indexes to facilitate aggregation of records of an OLAP data cube U Stern US Patent 7,761,407, 2010 | 183 | 2010 |
| Improved probabilistic verification by hash compaction U Stern, DL Dill Advanced Research Working Conference on Correct Hardware Design and …, 1995 | 156 | 1995 |
| Using magnetic disk instead of main memory in the Mur ϕ verifier U Stern, DL Dill International Conference on Computer Aided Verification, 172-183, 1998 | 122 | 1998 |
| Using magnetic disk instead of main memory in the mur U Stern, DL Dill | 121* | 1998 |
| Automatic verification of the SCI cache coherence protocol U Stern, DL Dill Advanced Research Working Conference on Correct Hardware Design and …, 1995 | 109 | 1995 |
| Java model checking DYW Park, U Stern, JU Skakkebaek, DL Dill Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 104 | 2000 |
| Efficient finite-state analysis for large security protocols V Shmatikov, U Stern Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998 | 101 | 1998 |
| A new scheme for memory-efficient probabilistic verification U Stern, DL Dill Formal description techniques IX, 333-348, 1996 | 89 | 1996 |
| Analyzing animal behavior via classifying each video frame using convolutional neural networks U Stern, R He, CH Yang Scientific reports 5 (1), 1-13, 2015 | 77 | 2015 |
| Mechanosensitive neurons on the internal reproductive tract contribute to egg-laying-induced acetic acid attraction in Drosophila B Gou, Y Liu, AR Guntur, U Stern, CH Yang Cell reports 9 (2), 522-530, 2014 | 74 | 2014 |
| Egg-laying demand induces aversion of UV light in Drosophila females EY Zhu, AR Guntur, R He, U Stern, CH Yang Current Biology 24 (23), 2797-2804, 2014 | 64 | 2014 |
| Behavioral and circuit basis of sucrose rejection by Drosophila females in a simple decision-making task CH Yang, R He, U Stern Journal of Neuroscience 35 (4), 1396-1410, 2015 | 46 | 2015 |
| Combining state space caching and hash compaction U Stern, DL Dill Methoden des Entwurfs und der Verifikation digitaler Systeme 4, 81-90, 1996 | 44 | 1996 |
| H2O2-Sensitive Isoforms of Drosophila melanogaster TRPA1 Act in Bitter-Sensing Gustatory Neurons to Promote Avoidance of UV During Egg-Laying AR Guntur, B Gou, P Gu, R He, U Stern, Y Xiang, CH Yang Genetics 205 (2), 749-759, 2017 | 36 | 2017 |
| Murphi annotated reference manual R Melton, DL Dill, CN Ip, U Stern Release 3.0. Technical report, Stanford University, Palo Alto, California, USA, 1996 | 34 | 1996 |
| Finite-state analysis of SSL 3.0 and related protocols JC Mitchell, V Shmatikov, U Stern Proceedings of the DIMACS Workshop on Design and Formal Verification of …, 1997 | 25 | 1997 |
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
