Ariel Cohen

Available identifiers

zbMath Open cohen.arielMaRDI QIDQ792194

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3106873	2011-12-30	Paper
https://portal.mardi4nfdi.de/entity/Q3007253	2011-06-21	Paper
Parallelizing a Symbolic Compositional Model-Checking Algorithm	2011-04-06	Paper
Local proofs for global safety properties	2009-11-23	Paper
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning	2009-06-17	Paper
Indiscriminability as indiscernibility by default	2009-03-17	Paper
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses	2008-07-15	Paper
Local Proofs for Linear-Time Properties of Concurrent Programs	2008-07-15	Paper
Local Proofs for Global Safety Properties	2007-11-29	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
A proof of the optimality of the MIN paging algorithm using linear programming duality	1996-10-20	Paper
Expected frequency and mean size of the paradox of new members	1984-01-01	Paper

Research outcomes over time

This page was built for person: Ariel Cohen