Ehud Shapiro

Available identifiers

zbMath Open shapiro.ehud-yMaRDI QIDQ933427

List of research outcomes

Publication	Date of Publication	Type
In the beginning there were \(n\) agents: founding and amending a constitution	2023-03-31	Paper
Democratic forking: choosing sides with social choice	2023-03-31	Paper
Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation	2021-05-25	Paper
Sybil-resilient conductance-based community growth	2019-10-22	Paper
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs	2015-06-19	Paper
Towards molecular computers that operate in a biological environment	2008-07-21	Paper
Static Analysis	2005-08-24	Paper
BioAmbients: an abstraction for biological compartments	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4410154	2003-07-02	Paper
Application of a stochastic name-passing calculus to representation and simulation of molecular processes	2002-07-25	Paper
On the structural simplicity of machines and languages	1996-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4844167	1995-08-21	Paper
A type system for logic programs	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3212265	1989-01-01	Paper
OR-parallel PROLOG in flat concurrent PROLOG	1989-01-01	Paper
Specialisation of Prolog and FCP programs using abstract interpretation	1988-01-01	Paper
Compiling OR-parallelism into AND-parallelism	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727368	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742689	1986-01-01	Paper
Implementing parallel algorithms in concurrent prolog: The Maxflow experience	1986-01-01	Paper
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog	1984-01-01	Paper
Alternation and the computational complexity of logic programs	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718124	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: Ehud Shapiro