2008 |
11 | EE | Reiko Ann Miura-Ko,
Benjamin Yolken,
John Mitchell,
Nicholas Bambos:
Security Decision-Making among Interdependent Organizations.
CSF 2008: 66-80 |
2006 |
10 | | Nilanjan Chakraborty,
Jufeng Peng,
Srinivas Akella,
John Mitchell:
Proximity Queries between Convex Objects: an Interior Point Approach for Implicit Surfaces.
ICRA 2006: 1910-1916 |
2001 |
9 | EE | Hubert Comon,
Véronique Cortier,
John Mitchell:
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.
ICALP 2001: 682-693 |
2000 |
8 | EE | John Mitchell:
Topological obstructions to blending algorithms.
Computer Aided Geometric Design 17(7): 673-694 (2000) |
1993 |
7 | | Samit Chaudhuri,
Robert A. Walker,
John Mitchell:
The Structure of Assignment, Precedence, and Resource Constraints in the ILP Approach to the Scheduling Problem.
ICCD 1993: 25-29 |
6 | | Colin Latchem,
John Mitchell,
Roger Atkinson:
Videoconferencing networks and applications in Australian higher education.
Teleteaching 1993: 547-556 |
5 | | John Mitchell:
Preface
Inf. Comput. 104(1): 1 (1993) |
1992 |
4 | | John Mitchell:
Theoretical Basis of Object-Oriented Methods.
TOOLS (8) 1992: 272 |
3 | | John Mitchell:
Preface
Inf. Comput. 98(2): 141 (1992) |
1984 |
2 | | John Mitchell:
Type Inference and Type Containment.
Semantics of Data Types 1984: 257-277 |
1983 |
1 | | Joe Celko,
John S. Davis,
John Mitchell:
A Demonstration of Three Requirements Language Systems.
SIGPLAN Notices 18(1): 9-14 (1983) |