Mordechai Ben-Ari

MaRDI QIDQ213481zbMATH OpenDBLPWikidataFDO

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
Mathematical surprises	2022-09-05	Paper
Elements of robotics	2018-03-26	Paper
Mathematical Logic for Computer Science	2012-06-27	Paper
Principles of the SPIN model checker. Foreword by Gerard J. Holzmann	2008-03-26	Paper
scientific article; zbMATH DE number 2080213 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2079616 (Why is no real title available?)	2004-07-30	Paper
Theory-guided technology in computer science Science & Education	2001-11-11	Paper
scientific article; zbMATH DE number 1615755 (Why is no real title available?)	2001-07-09	Paper
How to solve the Santa Claus problem	1999-03-14	Paper
scientific article; zbMATH DE number 578242 (Why is no real title available?)	1994-05-29	Paper
scientific article; zbMATH DE number 47171 (Why is no real title available?)	1993-01-23	Paper
Algorithms for on-the-fly garbage collection ACM Transactions on Programming Languages and Systems	1984-01-01	Paper
The temporal logic of branching time Acta Informatica	1983-01-01	Paper
scientific article; zbMATH DE number 3848584 (Why is no real title available?)	1982-01-01	Paper
Deterministic propositional dynamic logic: finite models, complexity, and completeness Journal of Computer and System Sciences	1982-01-01	Paper
scientific article; zbMATH DE number 3765111 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3729438 (Why is no real title available?)	1981-01-01	Paper
Cheap concurrent programming Software: Practice and Experience	1981-01-01	Paper
A simplified proof that regular resolution is exponential Information Processing Letters	1980-01-01	Paper
On Transposing Large 2nx 2nMatrices IEEE Transactions on Computers	1979-01-01	Paper

Research outcomes over time

This page was built for person: Mordechai Ben-Ari