×

zbMATH — the first resource for mathematics

Mitchell, John C.

Compute Distance To:
Author ID: mitchell.john-c Recent zbMATH articles by "Mitchell, John C."
Published as: Mitchell, John C.; Mitchell, John; Mitchell, J.; Mitchell, J. C.
Homepage: http://theory.stanford.edu/people/jcm/
Documents Indexed: 76 Publications since 1983, including 6 Books
Reviewing Activity: 3 Reviews

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 502 times in 398 Documents Cited by Year
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
51
1992
A comparison between strand spaces and multiset rewriting for security protocol analysis. Zbl 1033.94513
Cervesato, I.; Durgin, N.; Lincoln, P.; Mitchell, J.; Scedrov, A.
44
2003
Polymorphic type inference and containment. Zbl 0656.68023
Mitchell, John C.
36
1988
Theoretical aspects of object-oriented programming. Types, semantics, and language design. Zbl 0828.68036
Gunter, Carl A. (ed.); Mitchell, John C. (ed.)
30
1994
On the sequential nature of unification. Zbl 0588.68045
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C.
23
1984
An extension of system \(F\) with subtyping. Zbl 0805.03008
Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre
23
1994
Type systems for programming languages. Zbl 0900.68122
Mitchell, John C.
20
1990
Kripke-style models for typed lambda calculus. Zbl 0728.03011
Mitchell, John C.; Moggi, Eugenio
19
1991
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
The implication problem for functional and inclusion dependencies. Zbl 0539.68090
Mitchell, John C.
14
1983
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
14
1991
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Zbl 1088.68126
Mitchell, John C.; Ramanathan, Ajith; Scedrov, Andre; Teague, Vanessa
12
2006
Notes on sconing and relators. Zbl 0795.03100
Mitchell, John C.; Scedrov, Andre
11
1993
Probabilistic polynomial-time equivalence and security analysis. Zbl 0976.94029
Lincoln, P.; Mitchell, J.; Mitchell, M.; Scedrov, A.
10
1999
Tree automata with one memory, set constraints, and ping-pong protocols. Zbl 0986.68047
Comon, Hubert; Cortier, Véronique; Mitchell, John
10
2001
A lambda calculus of objects and method specialization. Zbl 0886.03010
Fisher, Kathleen; Honsell, Furio; Mitchell, John C.
10
1994
Type inference with simple subtypes. Zbl 0941.68541
Mitchell, John C.
9
1991
Probabilistic polynomial-time semantics for a protocol security logic. Zbl 1082.68571
Datta, Anupam; Derek, Ante; Mitchell, John C.; Shmatikov, Vitaly; Turuani, Mathieu
8
2005
DATALOG with constraints: A foundation for trust management languages. Zbl 1026.68793
Li, Ninghui; Mitchell, John C.
8
2002
A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report). Zbl 1260.68109
Mitchell, J.; Ramanathan, A.; Scedrov, A.; Teague, V.
8
2001
Probabilistic bisimulation and equivalence for security analysis of network protocols. Zbl 1126.68510
Ramanathan, Ajith; Mitchell, John; Scedrov, Andre; Teague, Vanessa
7
2004
Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. Zbl 1274.94097
Mateus, P.; Mitchell, J.; Scedrov, A.
7
2003
Contract signing, optimism, and advantage. Zbl 1274.94132
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
7
2003
Finite-state analysis of two contract signing protocols. Zbl 0997.68007
Shmatikov, Vitaly; Mitchell, John C.
6
2002
On the relationships between notions of simulation-based security. Zbl 1079.94543
Datta, Anupam; Küsters, Ralf; Mitchell, John C.; Ramanathan, Ajith
6
2005
Protocol composition logic (PCL). Zbl 1277.68033
Datta, Anupam; Derek, Ante; Mitchell, John C.; Roy, Arnab
6
2007
Beyond proof-of-compliance: security analysis in trust management. Zbl 1323.68035
Li, Ninghui; Mitchell, John C.; Winsborough, William H.
5
2005
Concepts in programming languages. Zbl 1058.68029
Mitchell, John C.
5
2002
Secure protocol composition. Zbl 1337.68065
Datta, Anupam; Derek, Ante; Mitchell, John C.; Pavlovic, Dusko
5
2003
Typed lambda models and Cartesian closed categories. Zbl 0674.03004
Mitchell, John C.; Scott, Philip J.
4
1989
Parametricity and variants of Girard’s \(J\) operator. Zbl 1002.68024
Harper, Robert; Mitchell, John C.
4
1999
Type inference with extended pattern matching and subtypes. Zbl 0801.68017
Jategaonkar, Lalita A.; Mitchell, John C.
4
1993
On abstraction and the expressive power of programming languages. Zbl 0809.68049
Mitchell, John C.
4
1993
A type system for the Java bytecode language and verifier. Zbl 1031.68039
Freund, Stephen N.; Mitchell, John C.
4
2003
Automated analysis of cryptographic assumptions in generic group models. Zbl 1343.94040
Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt
4
2014
A type system for object initialization in the Java bytecode language. Zbl 0925.68079
Freund, Steve; Mitchell, John
3
1997
Compositional analysis of contract-signing protocols. Zbl 1153.94447
Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu
3
2006
On the relationships between notions of simulation-based security. Zbl 1182.68084
Küsters, Ralf; Datta, Anupam; Mitchell, John C.; Ramanathan, Ajith
3
2008
Analysis of security protocols. Zbl 0945.68004
Durgin, Nancy A.; Mitchell, John C.
3
1999
On the relationship between classes, objects and data abstraction. Zbl 0884.68012
Fisher, Kathleen; Mitchell, John C.
2
1997
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
On the equivalence of data representations. Zbl 0800.68542
Mitchell, John C.
2
1991
Analysis of abuse-free contract signing. Zbl 0999.68569
Shmatikov, Vitaly; Mitchell, John C.
2
2001
Games and the impossibility of realizable ideal functionality. Zbl 1112.94008
Datta, Anupam; Derek, Ante; Mitchell, John C.; Ramanathan, Ajith; Scedrov, Andre
2
2006
Notes on typed object-oriented programming. Zbl 0942.68535
Fisher, Kathleen; Mitchell, John C.
2
1994
Operations on records. Zbl 0837.68069
Cardelli, Luca; Mitchell, John C.
2
1994
Toward a typed foundation for method specialization and inheritance. Zbl 0836.68010
Mitchell, John C.
2
1994
A core calculus of classes and objects. Zbl 0924.68028
Bono, V.; Mitchell, J.; Patel, A.; Shmatikov, V.
2
1999
Labelling techniques and typed fixed-point operators. Zbl 0969.03023
Mitchell, J. C.; Hoang, M.; Howard, B. T.
2
1998
Autonomous nodes and distributed mechanisms. Zbl 1033.68543
Mitchell, John C.; Teague, Vanessa
2
2003
Addressing covert termination and timing channels in concurrent information flow systems. Zbl 1291.68057
Stefan, Deian; Russo, Alejandro; Buiras, Pablo; Levy, Amit; Mitchell, John C.; Maziéres, David
2
2012
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
1
1985
Optimization complexity of linear logic proof games. Zbl 0951.03056
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1999
Probabilistic polynomial-time process calculus and security protocol analysis. Zbl 0977.68522
Mitchell, John C.
1
2001
Stochastic interaction and linear logic. Zbl 0829.03032
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1995
Standard ML-NJ weak polymorphism and imperative constructs. Zbl 0856.68036
Mitchell, John; Viswanathan, Ramesh
1
1996
Linear logic proof games and optimization. Zbl 0862.03023
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1996
Multiset rewriting and security protocol analysis. Zbl 1045.68582
Mitchell, John C.
1
2002
Contract signing, optimism, and advantage. Zbl 1078.68029
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
1
2005
Connecting formal semantics to constructive intuitions. Zbl 1434.03138
Kurtz, Stuart A.; Mitchell, John C.; O’Donnell, Michael J.
1
1992
Data-oblivious data structures. Zbl 1359.68052
Mitchell, John C.; Zimmerman, Joe
1
2014
Automated analysis of cryptographic assumptions in generic group models. Zbl 1343.94040
Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt
4
2014
Data-oblivious data structures. Zbl 1359.68052
Mitchell, John C.; Zimmerman, Joe
1
2014
Addressing covert termination and timing channels in concurrent information flow systems. Zbl 1291.68057
Stefan, Deian; Russo, Alejandro; Buiras, Pablo; Levy, Amit; Mitchell, John C.; Maziéres, David
2
2012
On the relationships between notions of simulation-based security. Zbl 1182.68084
Küsters, Ralf; Datta, Anupam; Mitchell, John C.; Ramanathan, Ajith
3
2008
Protocol composition logic (PCL). Zbl 1277.68033
Datta, Anupam; Derek, Ante; Mitchell, John C.; Roy, Arnab
6
2007
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Zbl 1088.68126
Mitchell, John C.; Ramanathan, Ajith; Scedrov, Andre; Teague, Vanessa
12
2006
Compositional analysis of contract-signing protocols. Zbl 1153.94447
Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, Mathieu
3
2006
Games and the impossibility of realizable ideal functionality. Zbl 1112.94008
Datta, Anupam; Derek, Ante; Mitchell, John C.; Ramanathan, Ajith; Scedrov, Andre
2
2006
Probabilistic polynomial-time semantics for a protocol security logic. Zbl 1082.68571
Datta, Anupam; Derek, Ante; Mitchell, John C.; Shmatikov, Vitaly; Turuani, Mathieu
8
2005
On the relationships between notions of simulation-based security. Zbl 1079.94543
Datta, Anupam; Küsters, Ralf; Mitchell, John C.; Ramanathan, Ajith
6
2005
Beyond proof-of-compliance: security analysis in trust management. Zbl 1323.68035
Li, Ninghui; Mitchell, John C.; Winsborough, William H.
5
2005
Contract signing, optimism, and advantage. Zbl 1078.68029
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
1
2005
Probabilistic bisimulation and equivalence for security analysis of network protocols. Zbl 1126.68510
Ramanathan, Ajith; Mitchell, John; Scedrov, Andre; Teague, Vanessa
7
2004
A comparison between strand spaces and multiset rewriting for security protocol analysis. Zbl 1033.94513
Cervesato, I.; Durgin, N.; Lincoln, P.; Mitchell, J.; Scedrov, A.
44
2003
Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. Zbl 1274.94097
Mateus, P.; Mitchell, J.; Scedrov, A.
7
2003
Contract signing, optimism, and advantage. Zbl 1274.94132
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
7
2003
Secure protocol composition. Zbl 1337.68065
Datta, Anupam; Derek, Ante; Mitchell, John C.; Pavlovic, Dusko
5
2003
A type system for the Java bytecode language and verifier. Zbl 1031.68039
Freund, Stephen N.; Mitchell, John C.
4
2003
Autonomous nodes and distributed mechanisms. Zbl 1033.68543
Mitchell, John C.; Teague, Vanessa
2
2003
DATALOG with constraints: A foundation for trust management languages. Zbl 1026.68793
Li, Ninghui; Mitchell, John C.
8
2002
Finite-state analysis of two contract signing protocols. Zbl 0997.68007
Shmatikov, Vitaly; Mitchell, John C.
6
2002
Concepts in programming languages. Zbl 1058.68029
Mitchell, John C.
5
2002
Multiset rewriting and security protocol analysis. Zbl 1045.68582
Mitchell, John C.
1
2002
Tree automata with one memory, set constraints, and ping-pong protocols. Zbl 0986.68047
Comon, Hubert; Cortier, Véronique; Mitchell, John
10
2001
A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report). Zbl 1260.68109
Mitchell, J.; Ramanathan, A.; Scedrov, A.; Teague, V.
8
2001
Analysis of abuse-free contract signing. Zbl 0999.68569
Shmatikov, Vitaly; Mitchell, John C.
2
2001
Probabilistic polynomial-time process calculus and security protocol analysis. Zbl 0977.68522
Mitchell, John C.
1
2001
Probabilistic polynomial-time equivalence and security analysis. Zbl 0976.94029
Lincoln, P.; Mitchell, J.; Mitchell, M.; Scedrov, A.
10
1999
Parametricity and variants of Girard’s \(J\) operator. Zbl 1002.68024
Harper, Robert; Mitchell, John C.
4
1999
Analysis of security protocols. Zbl 0945.68004
Durgin, Nancy A.; Mitchell, John C.
3
1999
A core calculus of classes and objects. Zbl 0924.68028
Bono, V.; Mitchell, J.; Patel, A.; Shmatikov, V.
2
1999
Optimization complexity of linear logic proof games. Zbl 0951.03056
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1999
Labelling techniques and typed fixed-point operators. Zbl 0969.03023
Mitchell, J. C.; Hoang, M.; Howard, B. T.
2
1998
A type system for object initialization in the Java bytecode language. Zbl 0925.68079
Freund, Steve; Mitchell, John
3
1997
On the relationship between classes, objects and data abstraction. Zbl 0884.68012
Fisher, Kathleen; Mitchell, John C.
2
1997
Standard ML-NJ weak polymorphism and imperative constructs. Zbl 0856.68036
Mitchell, John; Viswanathan, Ramesh
1
1996
Linear logic proof games and optimization. Zbl 0862.03023
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1996
Stochastic interaction and linear logic. Zbl 0829.03032
Lincoln, Patrick D.; Mitchell, John C.; Scedrov, Andre
1
1995
Theoretical aspects of object-oriented programming. Types, semantics, and language design. Zbl 0828.68036
Gunter, Carl A.; Mitchell, John C.
30
1994
An extension of system \(F\) with subtyping. Zbl 0805.03008
Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre
23
1994
A lambda calculus of objects and method specialization. Zbl 0886.03010
Fisher, Kathleen; Honsell, Furio; Mitchell, John C.
10
1994
Notes on typed object-oriented programming. Zbl 0942.68535
Fisher, Kathleen; Mitchell, John C.
2
1994
Operations on records. Zbl 0837.68069
Cardelli, Luca; Mitchell, John C.
2
1994
Toward a typed foundation for method specialization and inheritance. Zbl 0836.68010
Mitchell, John C.
2
1994
Notes on sconing and relators. Zbl 0795.03100
Mitchell, John C.; Scedrov, Andre
11
1993
Type inference with extended pattern matching and subtypes. Zbl 0801.68017
Jategaonkar, Lalita A.; Mitchell, John C.
4
1993
On abstraction and the expressive power of programming languages. Zbl 0809.68049
Mitchell, John C.
4
1993
Decision problems for propositional linear logic. Zbl 0768.03003
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan
51
1992
Connecting formal semantics to constructive intuitions. Zbl 1434.03138
Kurtz, Stuart A.; Mitchell, John C.; O’Donnell, Michael J.
1
1992
Kripke-style models for typed lambda calculus. Zbl 0728.03011
Mitchell, John C.; Moggi, Eugenio
19
1991
Operations on records. Zbl 0727.68020
Cardelli, Luca; Mitchell, John C.
14
1991
Type inference with simple subtypes. Zbl 0941.68541
Mitchell, John C.
9
1991
On the equivalence of data representations. Zbl 0800.68542
Mitchell, John C.
2
1991
Type systems for programming languages. Zbl 0900.68122
Mitchell, John C.
20
1990
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
18
1990
Typed lambda models and Cartesian closed categories. Zbl 0674.03004
Mitchell, John C.; Scott, Philip J.
4
1989
Polymorphic type inference and containment. Zbl 0656.68023
Mitchell, John C.
36
1988
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
1
1985
On the sequential nature of unification. Zbl 0588.68045
Dwork, Cynthia; Kanellakis, Paris C.; Mitchell, John C.
23
1984
The implication problem for functional and inclusion dependencies. Zbl 0539.68090
Mitchell, John C.
14
1983
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
all top 5

Cited by 604 Authors

14 Scedrov, Andre
12 Mitchell, John C.
7 Kanovich, Max Iosifovich
7 Pierce, Benjamin C.
6 Abadi, Martín
6 Cortier, Véronique
6 Ghelli, Giorgio
5 Delaune, Stéphanie
5 Küsters, Ralf
5 Zhang, Yu
4 Backes, Michael
4 Bono, Viviana
4 Datta, Anupam
4 Harper, Robert
4 Kuznetsov, Stepan L’vovich
4 Lincoln, Patrick D.
3 Abel, Andreas M.
3 Barthe, Gilles
3 Blanchet, Bruno
3 Bruce, Kim B.
3 Canetti, Ran
3 Cardelli, Luca
3 Cervesato, Iliano
3 Compagnoni, Adriana B.
3 Coquand, Thierry
3 Cremers, Cas J. F.
3 Fages, François
3 Goubault-Larrecq, Jean
3 Hofmann, Martin
3 Kamide, Norihiro
3 Kaynar, Dilsun Kırlı
3 Kremer, Steve
3 Liquori, Luigi
3 Longo, Giuseppe
3 Naumann, David A.
3 Pym, David J.
3 Ramanathan, Ajith
3 Sannella, Donald T.
3 Schmitz, Sylvain
3 Tiuryn, Jerzy
3 Turuani, Mathieu
3 van Bakel, Steffen
3 Verma, Kumar Neeraj
3 Viganò, Luca
3 Weirich, Stephanie
2 Adão, Pedro
2 Amadio, Roberto M.
2 Aubert, Clément
2 Bagnol, Marc
2 Basin, David A.
2 Bettini, Lorenzo
2 Bimbó, Katalin
2 Cardone, Felice
2 Carroll, Thomas E.
2 Chadha, Rohit
2 Chatterjee, Krishnendu
2 Chaudhuri, Kaustuv
2 Cheung, Ling
2 Ciobanu, Gabriel
2 Collinson, Matthew
2 Coppo, Mario
2 Crary, Karl
2 Curien, Pierre-Louis
2 Derek, Ante
2 Dezani-Ciancaglini, Mariangiola
2 Dougherty, Daniel J.
2 Dreyer, Derek R.
2 Galmiche, Didier
2 Gil, Joseph
2 Grosu, Daniel
2 Guttman, Joshua D.
2 Hannula, Miika
2 Hasegawa, Ryu
2 Herzog, Jonathan C.
2 Horčík, Rostislav
2 Horne, Ross
2 Jacobs, Bart
2 Johann, Patricia
2 Kanellakis, Paris Christos
2 Katsumata, Shin-ya
2 Kfoury, Assaf J.
2 Klein, Gerwin
2 Kontinen, Juha
2 Lafont, Yves
2 Lafourcade, Pascal
2 Lazić, Ranko
2 Levene, Mark
2 Link, Sebastian
2 Lipton, James B.
2 Liskov, Moses D.
2 Loizou, George
2 Lugiez, Denis
2 Luo, Zhaohui
2 Lynch, Nancy Ann
2 Ma, Jianfeng
2 Mairson, Harry George
2 Margaria, Ines
2 Mateus, Paulo C.
2 Meadows, Catherine A.
2 Millen, Jonathan K.
...and 504 more Authors
all top 5

Cited in 63 Serials

80 Theoretical Computer Science
47 Information and Computation
17 Journal of Automated Reasoning
16 MSCS. Mathematical Structures in Computer Science
16 Journal of Functional Programming
14 Annals of Pure and Applied Logic
10 Journal of Computer and System Sciences
9 The Journal of Symbolic Logic
7 Journal of Cryptology
7 Formal Aspects of Computing
6 Journal of Symbolic Computation
5 Information Processing Letters
5 Journal of Applied Non-Classical Logics
5 The Journal of Logic and Algebraic Programming
5 Logical Methods in Computer Science
4 Acta Informatica
4 Studia Logica
3 Journal of Logic, Language and Information
2 Journal of Philosophical Logic
2 Science of Computer Programming
2 Journal of Computer Science and Technology
2 Journal of Parallel and Distributed Computing
2 RAIRO. Informatique Théorique et Applications
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 Higher-Order and Symbolic Computation
2 RAIRO. Theoretical Informatics and Applications
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 Bulletin of the Polish Academy of Sciences. Technical Sciences
1 Algebra Universalis
1 BIT
1 Information Sciences
1 Journal of Pure and Applied Algebra
1 Notre Dame Journal of Formal Logic
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Synthese
1 Cybernetics
1 Order
1 New Generation Computing
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 Designs, Codes and Cryptography
1 Archive for Mathematical Logic
1 Computational Complexity
1 Formal Methods in System Design
1 Diagrammes
1 Theory of Computing Systems
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Concurrency and Computation: Practice & Experience
1 Theory and Practice of Logic Programming
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Journal of Multiple-Valued Logic and Soft Computing
1 Journal of Applied Logic
1 Science in China. Series F
1 Mathematics in Computer Science
1 Sankhyā. Series A
1 Journal of Logical and Algebraic Methods in Programming
1 Prikladnaya Diskretnaya Matematika

Citations by Year