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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ariel Cohen