Mark Mitchell

According to our database, Mark Mitchell authored at least 9 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Market Returns and Interim Risk in Mergers.

Davidson Heath, Mark Mitchell

Manag. Sci., January, 2023

2008

A Silicon-Germanium Receiver for X-Band Transmit/Receive Radar Modules.

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

IEEE J. Solid State Circuits, 2008

2003

Optimizing Local Probability Models for Statistical Parsing.

Kristina Toutanova, Mark Mitchell, Christopher D. Manning

Proceedings of the Machine Learning: ECML 2003, 2003

2000

Architectural Support for Copy and Tamper Resistant Software.

David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

GCC 3.0: The State of the Source.

Mark Mitchell, Alexander Samuel

Proceedings of the 4th Annual Linux Showcase & Conference 2000, 2000

1999

Probabilistic Polynomial-Time Equivalence and Security Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the FM'99 - Formal Methods, 1999

1998

A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time.

John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

A Probabilistic Poly-Time Framework for Protocol Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the CCS '98, 1998

1997

Automated analysis of cryptographic protocols using Mur-phi.

John C. Mitchell, Mark Mitchell, Ulrich Stern

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997