John Field

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A concordance index for matched case-control studies with applications in cancer risk
Statistics in Medicine
2025-10-09Paper
A graph reduction approach to incremental term rewriting
Rewriting Techniques and Applications
2022-12-09Paper
Ensemble simulations of inertial confinement fusion implosions
Statistical Analysis and Data Mining: The ASA Data Science Journal
2020-10-14Paper
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2017-07-14Paper
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
2009-03-02Paper
Abstract Counterexample-Based Refinement for Powerset Domains
Program Analysis and Compilation, Theory and Practice
2007-09-24Paper
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
2005-11-10Paper
Typestate verification: abstraction techniques and complexity results
Science of Computer Programming
2005-10-10Paper
Static Analysis
Lecture Notes in Computer Science
2005-08-24Paper
scientific article; zbMATH DE number 2090861 (Why is no real title available?)2004-08-13Paper
scientific article; zbMATH DE number 1948397 (Why is no real title available?)2003-07-13Paper


Research outcomes over time


This page was built for person: John Field