| Publication | Date of Publication | Type |
|---|
United for change: deliberative coalition formation to change the status quo
Social Choice and Welfare | 2025-02-07 | Paper |
Democratic forking: choosing sides with social choice
(available as arXiv preprint) | 2023-03-31 | Paper |
In the beginning there were n agents: founding and amending a constitution
(available as arXiv preprint) | 2023-03-31 | Paper |
Aggregation over metric spaces: proposing and voting in elections, budgeting, and legislation
Journal of Artificial Intelligence Research | 2021-05-25 | Paper |
| Sybil-resilient conductance-based community growth | 2019-10-22 | Paper |
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Towards molecular computers that operate in a biological environment
Physica D | 2008-07-21 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1945180 (Why is no real title available?) | 2003-07-02 | Paper |
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
Information Processing Letters | 2002-07-25 | Paper |
On the structural simplicity of machines and languages
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
| scientific article; zbMATH DE number 788036 (Why is no real title available?) | 1995-08-21 | Paper |
A type system for logic programs
The Journal of Logic Programming | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4195154 (Why is no real title available?) | 1989-01-01 | Paper |
OR-parallel PROLOG in flat concurrent PROLOG
The Journal of Logic Programming | 1989-01-01 | Paper |
Specialisation of Prolog and FCP programs using abstract interpretation
New Generation Computing | 1988-01-01 | Paper |
Compiling OR-parallelism into AND-parallelism
New Generation Computing | 1987-01-01 | Paper |
Implementing parallel algorithms in concurrent prolog: The Maxflow experience
The Journal of Logic Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978351 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958714 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3947593 (Why is no real title available?) | 1984-01-01 | Paper |
Alternation and the computational complexity of logic programs
The Journal of Logic Programming | 1984-01-01 | Paper |
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
New Generation Computing | 1984-01-01 | Paper |
