Ariel Cohen

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!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 5993495 (Why is no real title available?)	2011-12-30	Paper
Indistinguishability by default	2011-06-21	Paper
Parallelizing a symbolic compositional model-checking algorithm Hardware and Software: Verification and Testing	2011-04-06	Paper
Local proofs for global safety properties Formal Methods in System Design	2009-11-23	Paper
Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning Journal of Logic, Language and Information	2009-06-17	Paper
Indiscriminability as indiscernibility by default Studia Logica	2009-03-17	Paper
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses Computer Aided Verification	2008-07-15	Paper
Local Proofs for Linear-Time Properties of Concurrent Programs Computer Aided Verification	2008-07-15	Paper
Local Proofs for Global Safety Properties Computer Aided Verification	2007-11-29	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
A proof of the optimality of the MIN paging algorithm using linear programming duality Operations Research Letters	1996-10-20	Paper
Expected frequency and mean size of the paradox of new members Theory and Decision	1984-01-01	Paper

Research outcomes over time

This page was built for person: Ariel Cohen