Mark Mitchell

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 1

Top Topics

Investment Strategies

Top Venues

Publications

Davidson Heath, Mark Mitchell
Market Returns and Interim Risk in Mergers. Manag. Sci. 69 (1) (2023)
Jonathan P. Comeau, Matthew A. Morton, Wei-Min Lance Kuo, Tushar K. Thrivikraman, Joel M. Andrews, Curtis M. Grens, John D. Cressler, John Papapolymerou, Mark Mitchell
A Silicon-Germanium Receiver for X-Band Transmit/Receive Radar Modules. IEEE J. Solid State Circuits 43 (9) (2008)
Kristina Toutanova, Mark Mitchell, Christopher D. Manning
Optimizing Local Probability Models for Statistical Parsing. ECML (2003)
Mark Mitchell, Alexander Samuel
GCC 3.0: The State of the Source. Annual Linux Showcase & Conference (2000)
David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
Architectural Support for Copy and Tamper Resistant Software. ASPLOS (2000)
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods (1999)
John C. Mitchell, Mark Mitchell, Andre Scedrov
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. FOCS (1998)
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
A Probabilistic Poly-Time Framework for Protocol Analysis. CCS (1998)
John C. Mitchell, Mark Mitchell, Ulrich Stern
Automated analysis of cryptographic protocols using Mur-phi. IEEE Symposium on Security and Privacy (1997)