Mordechai Ben-Ari

Available identifiers

zbMath Open ben-ari.mordechaiWikidataQ6909646 ScholiaQ6909646MaRDI QIDQ213481

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5452300	2008-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4472456	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471633	2004-07-30	Paper
Theory-guided technology in computer science	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2724155	2001-07-09	Paper
How to solve the Santa Claus problem	1999-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4293537	1994-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3997236	1993-01-23	Paper
Algorithms for on-the-fly garbage collection	1984-01-01	Paper
The temporal logic of branching time	1983-01-01	Paper
Deterministic propositional dynamic logic: finite models, complexity, and completeness	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318086	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947098	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3917484	1981-01-01	Paper
Cheap concurrent programming	1981-01-01	Paper
A simplified proof that regular resolution is exponential	1980-01-01	Paper
On Transposing Large 2nx 2nMatrices	1979-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: Mordechai Ben-Ari