author-photo

Ulrich Stern

Stanford University

23

Papers

1884

Citations

Citation Trend

Filter By

Papers (17) Sort By

Journal Conference Others

Long-duration animal tracking in difficult lighting conditions

2015 Scientific Reports
Show All
- Source
- Cite
- Save
Citations (9)
Analyzing animal behavior via classifying each video frame using convolutional neural networks

2015 Scientific Reports
Show All
- Source
- Cite
- Save
Citations (33)
Behavioral and circuit basis of sucrose rejection by Drosophila females in a simple decision-making task.

2015 The Journal of Neuroscience
Show All
- Source
- Cite
- Save
Citations (29)
Egg-Laying Demand Induces Aversion of UV Light in Drosophila Females

2014 Current Biology
Show All
- Source
- Cite
- Save
Citations (41)
Ctrax extensions for tracking in difficult lighting conditions

2014 arXiv: Quantitative Methods
- Ulrich Stern
- Chung-Hui Yang
Show All
- Source
- Cite
- Save
Citations (6)
Mechanosensitive Neurons on the Internal Reproductive Tract Contribute to Egg-Laying-Induced Acetic Acid Attraction in Drosophila

2014 Cell Reports
Show All
- Source
- Cite
- Save
Citations (44)
Parallelizing the Mur? Verifier

2001 Formal Methods in System Design
- Ulrich Stern
- David L. Dill
Show All
- Source
- Cite
- Save
Citations (103)
Java model checking

2000 ASE | Automated Software Engineering
Show All
- Source
- Cite
- Save
Citations (80)
Efficient finite-state analysis for large security protocols

1998 CSF | IEEE Computer Security Foundations Symposium
- Vitaly Shmatikov
- Ulrich Stern
Show All
- Source
- Cite
- Save
Citations (51)
Using Magnatic Disk Instead of Main Memory in the Murphi Verifier

1998 CAV | Computer Aided Verification
- Ulrich Stern
- David L. Dill
Show All
- Source
- Cite
- Save
Citations (82)