John Mitchell

Orcid: 0000-0002-9949-4244

According to our database1, John Mitchell authored at least 24 papers between 1974 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
DPAdapter: Improving Differentially Private Deep Learning through Noise Tolerance Pre-training.
CoRR, 2024

TrustLLM: Trustworthiness in Large Language Models.
CoRR, 2024

2021
Generative Grading: Near Human-level Accuracy for Automated Feedback on Richly Structured Problems.
Proceedings of the 14th International Conference on Educational Data Mining, 2021

2020
Stitch It Up: Using Progressive Data Storage to Scale Science.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019
Generative Grading: Neural Approximate Parsing for Automated Student Feedback.
CoRR, 2019

2018
Preface.
Optim. Methods Softw., 2018

2015
A Fuzzy-Logic Approach for Evaluating a Cloud Service Provider.
Proceedings of the 1st International Conference on Software Security and Assurance, 2015

Analyzing the Integration of Cognitive Radio and Cloud Computing for Secure Networking.
Proceedings of the Complex Adaptive Systems 2015 Conference, San Jose, 2015

A Semi-distributed Access Control Management Scheme for Securing Cloud Environment.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2010
Small Molecule Immunosensing Using Surface Plasmon Resonance.
Sensors, 2010

A gateway to the European optical network research.
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

2008
Security Decision-Making among Interdependent Organizations.
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Security investment games of interdependent organizations.
Proceedings of the 46th Annual Allerton Conference on Communication, 2008

2007
Towards digital facility modelling for Sydney opera house using IFC and semantic web technology.
J. Inf. Technol. Constr., 2007

2001
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Topological obstructions to blending algorithms.
Comput. Aided Geom. Des., 2000

1993
Preface
Inf. Comput., May, 1993

Videoconferencing networks and applications in Australian higher education.
Proceedings of the Teleteaching, 1993

The Structure of Assignment, Precedence, and Resource Constraints in the ILP Approach to the Scheduling Problem.
Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Worldwide approach to the management of document system and other software problems.
Proceedings of the Device-Independent Color Imaging and Imaging Systems Integration, 1993

1992
Theoretical Basis of Object-Oriented Methods.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1984
Type Inference and Type Containment.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1983
A Demonstration of Three Requirements Language Systems.
ACM SIGPLAN Notices, 1983

1974
Multiprocessor performance analysis.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974


  Loading...