John Field

From MaRDI portal
Person:1004059

Available identifiers

zbMath Open field.john-everettMaRDI QIDQ1004059

List of research outcomes





PublicationDate of PublicationType
A graph reduction approach to incremental term rewriting2022-12-09Paper
Ensemble simulations of inertial confinement fusion implosions2020-10-14Paper
Transactors2017-07-14Paper
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications2009-03-02Paper
Abstract Counterexample-Based Refinement for Powerset Domains2007-09-24Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Typestate verification: abstraction techniques and complexity results2005-10-10Paper
Static Analysis2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q48134152004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q44119592003-07-13Paper

Research outcomes over time

This page was built for person: John Field

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1004059&oldid=11031897"
Powered by MediaWiki