Ehud Shapiro

153 papers A* 12A 8B 18C 5Misc 3Journal 75Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Grassroots Bonds: A Grassroots Foundation for Market Liquidity.
CoRR
Ehud Shapiro
2026 Misc conf
Grassroots Platforms with Atomic Transactions: Social Graphs, Cryptocurrencies, and Democratic Federations.
ICDCN
Ehud Shapiro
2026 J jnl
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI.
CoRR
Ehud Shapiro
2026 J jnl
Types for Grassroots Logic Programs.
CoRR
Ehud Shapiro
2025 J jnl
AI-Generated Compromises for Coalition Formation.
CoRR
Eyal Briman, Ehud Shapiro, Nimrod Talmon
2025 B conf
AI-Generated Compromises for Coalition Formation: Modeling, Simulation, and a Textual Case Study.
TARK
Eyal Briman, Ehud Shapiro, Nimrod Talmon
2025 J jnl
Characterising Global Platforms: Centralised, Decentralised, Federated, and Grassroots.
CoRR
Ehud Shapiro
2025 A* conf
Federated Assemblies.
AAAI
Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro, Nimrod Talmon
2025 J jnl
Grassroots Consensus.
CoRR
Idit Keidar, Andrew Lewis-Pye, Ehud Shapiro
2025 J jnl
Grassroots Federation: Fair Governance of Large-Scale, Decentralized, Sovereign Digital Communities.
CoRR
Ehud Shapiro, Nimrod Talmon
2025 J jnl
Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language.
CoRR
Ehud Shapiro
2025 J jnl
Grassroots Platforms with Atomic Transactions: Social Networks, Cryptocurrencies, and Democratic Federations.
CoRR
Ehud Shapiro
2025 B conf
Morpheus Consensus: Excelling on Trails and Autobahns.
OPODIS
Andrew Lewis-Pye, Ehud Shapiro
2025 J jnl
Morpheus Consensus: Excelling on trails and autobahns.
CoRR
Andrew Lewis-Pye, Ehud Shapiro
2024 J jnl
A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy.
CoRR
Ehud Shapiro
2024 J jnl
Enabling the Digital Democratic Revival: A Research Program for Digital Democracy.
CoRR
Davide Grossi, Ulrike Hahn, Michael Mäs, Andreas Nitsche, Jan Behrens, Niclas Boehmer, Markus Brill, Ulle Endriss, Umberto Grandi, Adrian Haret, Jobst Heitzig, Nicolien Janssens, Catholijn M. Jonker, Marijn A. Keijzer, Axel Kistner, Martin Lackner, Alexandra Lieben, Anna Mikhaylovskaya, Pradeep K. Murukannaiah, Carlo Proietti, Manon Revel, Élise Rouméas, Ehud Shapiro, Gogulapati Sreedurga, Björn Swierczek, Nimrod Talmon, Paolo Turrini, Zoi Terzopoulou, Frederik Van De Putte
2024 J jnl
Federated Assemblies.
CoRR
Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro, Nimrod Talmon
2024 J jnl
The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type.
CoRR
Paulo Sérgio Almeida, Ehud Shapiro
2024 J jnl
United for change: deliberative coalition formation to change the status quo.
Soc. Choice Welf.
Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
2023 A conf
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications.
DISC
Ehud Shapiro
2023 A conf
Cordial Miners: Fast and Efficient Consensus for Every Eventuality.
DISC
Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro
2023 J jnl
Flash: An Asynchronous Payment System with Good-Case Linear Communication Complexity.
CoRR
Andrew Lewis-Pye, Oded Naor, Ehud Shapiro
2023 J jnl
Grassroots Distributed Systems: Concept, Examples, Implementation and Applications.
CoRR
Ehud Shapiro
2023 J jnl
Grassroots Flash: A Payment System for Grassroots Cryptocurrencies.
CoRR
Andrew Lewis-Pye, Oded Naor, Ehud Shapiro
2023 — conf
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp.
OASIS@HT
Ehud Shapiro
2023 J jnl
Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp.
CoRR
Ehud Shapiro
2022 J jnl
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality.
CoRR
Idit Keidar, Oded Naor, Ehud Shapiro
2022 A conf
Foundations for Grassroots Democratic Metaverse.
AAMAS
Ehud Shapiro, Nimrod Talmon
2022 J jnl
Foundations for Grassroots Democratic Metaverse.
CoRR
Nimrod Talmon, Ehud Shapiro
2022 J jnl
Proportional Ranking in Primary Elections: A Case Study.
CoRR
Ariel Rosenfeld, Ehud Shapiro, Nimrod Talmon
2022 A conf
Self-Sovereign Digital Agents for a Grassroots Digital Society.
ICDCS
Ouri Poupko, Ehud Shapiro, Nimrod Talmon
2022 J jnl
Self-Sovereign Personal Cryptocurrencies: Foundations for Grassroots Cryptoeconomy.
CoRR
Ehud Shapiro
2022 C conf
Sybil-Resilient Social Choice with Low Voter Turnout.
EUMAS
Reshef Meir, Nimrod Talmon, Gal Shahaf, Ehud Shapiro
2021 J jnl
Aggregation over Metric Spaces: Proposing and Voting in Elections, Budgeting, and Legislation.
J. Artif. Intell. Res.
Laurent Bulteau, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2021 J jnl
Building a Sybil-Resilient Digital Community Utilizing Trust-Graph Connectivity.
IEEE/ACM Trans. Netw.
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2021 — conf
Democratic Forking: Choosing Sides with Social Choice.
ADT
Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
2021 J jnl
Democratic Forking: Choosing Sides with Social Choice.
CoRR
Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
2021 A conf
Egalitarian and Just Digital Currency Networks.
AAMAS
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2021 A conf
How to Amend a Constitution? Model, Axioms, and Supermajority Rules.
AAMAS
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
2021 — conf
In the Beginning There Were n Agents: Founding and Amending a Constitution.
ADT
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
2021 J jnl
Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing.
CoRR
Ehud Shapiro
2021 A* conf
United for Change: Deliberative Coalition Formation to Change the Status Quo.
AAAI
Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
2020 — conf
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society.
IFDaD
Nimrod Talmon, Ehud Shapiro, Gal Shahaf, Luca Cardelli, Liav Orgad
2020 J jnl
Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society.
CoRR
Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2020 J jnl
Egalitarian Deliberative Decision Making.
CoRR
Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon
2020 J jnl
Egalitarian and Just Digital Currency Networks.
CoRR
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2020 J jnl
Electing the Executive Branch.
CoRR
Ehud Shapiro, Nimrod Talmon
2020 — conf
Genuine Personal Identifiers and Mutual Sureties for Sybil-Resilient Community Growth.
SocInfo
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2020 J jnl
How to Amend a Constitution? Model, Axioms, and Supermajority Rules.
CoRR
Ben Abramowitz, Ehud Shapiro, Nimrod Talmon
2020 J jnl
Sybil-Resilient Social Choice with Partial Participation.
CoRR
Reshef Meir, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2019 J jnl
Foundation for Genuine Global Identities.
CoRR
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2019 Misc conf
Sybil-Resilient Conductance-Based Community Growth.
CSR
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2019 J jnl
Sybil-Resilient Conductance-Based Community Growth.
CoRR
Ouri Poupko, Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2019 A* conf
Sybil-Resilient Reality-Aware Social Choice.
IJCAI
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2018 J jnl
Global Cryptodemocracy is Possible and Desirable.
CoRR
Ehud Shapiro
2018 A conf
Incorporating Reality into Social Choice.
AAMAS
Ehud Shapiro, Nimrod Talmon
2018 J jnl
Integrating Deliberation and Voting in Participatory Drafting of Legislation.
CoRR
Ehud Shapiro, Nimrod Talmon
2018 J jnl
Point: foundations of e-democracy.
Commun. ACM
Ehud Shapiro
2018 J jnl
Reality-aware Sybil-Resilient Voting.
CoRR
Gal Shahaf, Ehud Shapiro, Nimrod Talmon
2017 J jnl
A Democratically-Optimal Budgeting Algorithm.
CoRR
Ehud Shapiro, Nimrod Talmon
2017 J jnl
Foundations of Internet-enabled Democracy.
CoRR
Ehud Shapiro
2017 J jnl
Incorporating Reality into Social Choice.
CoRR
Ehud Shapiro, Nimrod Talmon
2016 J jnl
Accuracy of Answers to Cell Lineage Questions Depends on Single-Cell Genomics Data Quality and Quantity.
PLoS Comput. Biol.
Adam Spiro, Ehud Shapiro
2016 J jnl
Erratum to: eSTGt: a programming and simulation environment for population dynamics.
BMC Bioinform.
Adam Spiro, Ehud Shapiro
2016 J jnl
eSTGt: a programming and simulation environment for population dynamics.
BMC Bioinform.
Adam Spiro, Ehud Shapiro
2014 J jnl
Lineage grammars: describing, simulating and analyzing population dynamics.
BMC Bioinform.
Adam Spiro, Luca Cardelli, Ehud Shapiro
2013 J jnl
Comparing Algorithms That Reconstruct Cell Lineage Trees Utilizing Information on Microsatellite Mutations.
PLoS Comput. Biol.
Noa Chapal-Ilani, Yosef E. Maruvka, Adam Spiro, Yitzhak Reizel, Rivka Adar, Liran I. Shlush, Ehud Shapiro
2010 C conf
'Doctor in a Cell' - Vision and Accomplishments.
ALIFE
Benny Gil, Maya Kahan-Hanum, Natalia Skirtenko, Rivka Adar, Ehud Shapiro
2008 J jnl
Estimating Cell Depth from Somatic Mutations.
PLoS Comput. Biol.
Adam Wasserstrom, Dan Frumkin, Rivka Adar, Shalev Itzkovitz, Tomer Stern, Shai Kaplan, Gabi Shefer, Irena Shur, Lior Zangi, Yitzhak Reizel, Alon Harmelin, Yuval Dor, Nava Dekel, Yair Reisner, Dafna Benayahu, Eldad Tzahor, Eran Segal, Ehud Shapiro
2008 J jnl
Using Expression Profiles of
PLoS Comput. Biol.
Leehod Baruch, Shalev Itzkovitz, Michal Golan-Mashiach, Ehud Shapiro, Eran Segal
2007 J jnl
A Universal Mechanism Ties Genotype to Phenotype in Trinucleotide Diseases.
PLoS Comput. Biol.
Shai Kaplan, Shalev Itzkovitz, Ehud Shapiro
2006 B conf
Injecting Life with Computers.
ILP
Ehud Shapiro
2005 J jnl
Genomic Variability within an Organism Exposes Its Cell Lineage Tree.
PLoS Comput. Biol.
Dan Frumkin, Adam Wasserstrom, Shai Kaplan, Uriel Feige, Ehud Shapiro
2004 J jnl
BioAmbients: an abstraction for biological compartments.
Theor. Comput. Sci.
Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro
2004 B conf
Injecting Life with Computers.
SAS
Ehud Shapiro
2004 C conf
Invited talk: injecting life with computers.
PEPM
Ehud Shapiro
2004 C conf
Invited talk: injecting life with computers.
PPDP
Ehud Shapiro
2004 J jnl
Stochastic computing with biomolecular automata.
Proc. Natl. Acad. Sci. USA
Rivka Adar, Yaakov Benenson, Gregory Linshiz, Amit Rosner, Naftali Tishby, Ehud Shapiro
2003 — conf
Cells as Computation.
CMSB
Amitai Regev, Ehud Shapiro
2003 J jnl
DNA molecule provides a computing machine with both data and fuel.
Proc. Natl. Acad. Sci. USA
Yaakov Benenson, Rivka Adar, Tamar Paz-Elizur, Zvi Livneh, Ehud Shapiro
2002 C conf
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems.
WABI
Ehud Shapiro
2001 J jnl
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett.
Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman
2001 Misc conf
Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra.
Pacific Symposium on Biocomputing
Aviv Regev, William Silverman, Ehud Shapiro
1998 B conf
Abstract data types as a project development organiser.
ITiCSE
Bruria Haberman, Zahava Scherz, Ehud Shapiro
1998 B conf
Development, implementation and evaluation of a course in expert systems for high-school students (poster).
ITiCSE
Noa Ragonis, Ehud Shapiro, Mordechai Ben-Ari, Zahava Scherz
1995 J jnl
On the Structural Simplicity of Machines and Languages.
Ann. Math. Artif. Intell.
Yael Moscowitz, Ehud Shapiro
1994 — book
The Art of Prolog - Advanced Programming Techniques, 2nd Ed.
Leon Sterling, Ehud Shapiro
1993 J jnl
The Fifth Generation Project: Personal Perspectives.
Commun. ACM
Ehud Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
1992 A conf
Active Mail - A Framework for Implementing Groupware.
CSCW
Yaron Goldberg, Marilyn Safran, Ehud Shapiro
1992 B conf
Embeddings Among Concurrent Programming Languages (Preliminary Version).
CONCUR
Ehud Shapiro
1992 — conf
Logic Programs with Inheritance.
FGCS
Yaron Goldberg, William Silverman, Ehud Shapiro
1992 — conf
On the Structural Simplicity of Machines and Languages.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Yael Moscowitz, Ehud Shapiro
1992 — ch.
Polymorphically Typed Logic Programs.
Types in Logic Programming
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
1992 J jnl
Spatial Machines: A More Realistic Approach to Parallel Computation.
Commun. ACM
Yosee Feldman, Ehud Shapiro
1991 J jnl
A Type System for Logic Programs.
J. Log. Program.
Eyal Yardeni, Ehud Shapiro
1991 A* conf
Communication with Directed Logic Variables.
POPL
Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Shapiro
1991 — conf
Embeddings Among Concurrent Programming Languages (Abstract).
PARLE (2)
Ehud Shapiro
1991 — conf
Inductive Inference of Theories from Facts.
Computational Logic - Essays in Honor of Alan Robinson
Ehud Shapiro
1991 B conf
Lexical Logic Programs.
ICLP
Yael Moscowitz, Ehud Shapiro
1991 A* conf
Logic Programs as Types for Logic Programs
LICS
Thom W. Frühwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni
1991 B conf
Polymorphically Typed Logic Programs.
ICLP
Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro
1991 A* conf
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
PODC
Haim Gaifman, Michael J. Maher, Ehud Shapiro
1991 A* conf
Separating Concurrent Languages with Categories of Language Embeddings (Extended Abstract)
STOC
Ehud Shapiro
1991 — conf
Temporal Debugging and its Visual Animation.
ISLP
Yosee Feldman, Ehud Shapiro
1990 A* conf
Distributed Variable Server for Atomic Unification.
PODC
Alon Kleinman, Yoram Moses, Ehud Shapiro
1990 — conf
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload.
NACLP
Leon Alkalaj, Tomás Lang, Ehud Shapiro
1990 — conf
From Decision Trees to Decision Graphs.
NACLP
Shmuel Kliger, Ehud Shapiro
1990 J jnl
Guest editors' preface.
New Gener. Comput.
Koichi Furukawa, Makoto Amamiya, Ehud Shapiro, David H. D. Warren
1990 J jnl
The languages FCP(: ) and FCP(: , ?).
New Gener. Comput.
Eyal Yardeni, Shmuel Kliger, Ehud Shapiro
1989 — conf
A Distributed Locking Algorithm for A Transactions System in Flat Concurrent Prolog.
FODO
Ehud Reches, Ehud Gudes, Ehud Shapiro
1989 J jnl
A Sequential Abstract Machine for Flat Concurrent Prolog.
J. Log. Program.
Avshalom Houri, Ehud Shapiro
1989 A* conf
Fully Abstract Compositional Semantics for Logic Programs.
POPL
Haim Gaifman, Ehud Shapiro
1989 J jnl
Or-Parallel Prolog in Flat Concurrent Prolog.
J. Log. Program.
Ehud Shapiro
1989 A* conf
Proof Theory and Semantics of Logic Programs
LICS
Haim Gaifman, Ehud Shapiro
1989 — conf
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
NACLP
Haim Gaifman, Michael J. Maher, Ehud Shapiro
1989 J jnl
The Family of Concurrent Logic Programming Languages.
ACM Comput. Surv.
Ehud Shapiro
1988 — conf
A Decision Tree Compilation Algorithm for FCP(!, : , ?).
ICLP/SLP
Shmuel Kliger, Ehud Shapiro
1988 — conf
Abstract Algorithmic Debugging.
ICLP/SLP
Yossi Lichtenstein, Ehud Shapiro
1988 — conf
An Architectural Model for a Flat Concurrent Prolog Processor.
ICLP/SLP
Leon Alkalaj, Ehud Shapiro
1988 — conf
Concurrent Algorithmic Debugging.
Workshop on Parallel and Distributed Debugging
Yossi Lichtenstein, Ehud Shapiro
1988 — conf
FCP: a summary of performance results.
C³P
Stephen Taylor, R. Shapiro, Ehud Shapiro
1988 A* conf
Fully Abstract Denotational Semantics for Flat Concurrent Prolog
LICS
Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro
1988 — book
Prolog - fortgeschrittene Programmiertechniken.
Leon Sterling, Ehud Shapiro
1988 J jnl
Specialisation of Prolog and FCP Programs Using Abstract Interpretation.
New Gener. Comput.
John P. Gallagher, Michael Codish, Ehud Shapiro
1988 — conf
The Language FCP(: , ?).
FGCS
Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro
1988 — conf
The Panel on Theory and Practice of Concurrent Systems.
FGCS
Ehud Shapiro
1988 — conf
Using Safe Approximations of Fixed Points for Analysis of Logic Programs.
META
Michael Codish, John P. Gallagher, Ehud Shapiro
1987 B conf
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation.
ICLP
Ehud Shapiro
1987 B conf
Channels: A Generalization of Streams.
ICLP
Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro
1987 J jnl
Compiling OR-parallelism into AND-parallelism.
New Gener. Comput.
Michael Codish, Ehud Shapiro
1987 J jnl
Notes on the Complexity of Systolic Programs.
J. Parallel Distributed Comput.
Stephen Taylor, Lisa Hellerstein, Shmuel Safra, Ehud Shapiro
1986 B conf
A New Approach for Intruducing Prolog to Naive Users.
ICLP
Oded Maler, Zahava Scherz, Ehud Shapiro
1986 J jnl
A parallel implementation of Flat Concurrent Prolog.
Int. J. Parallel Program.
Stephen Taylor, Shmuel Safra, Ehud Shapiro
1986 B conf
Compiling OR-parallelism into AND-parallelism.
ICLP
Michael Codish, Ehud Shapiro
1986 J jnl
Concurrent Prolog: A Progress Report.
Computer
Ehud Shapiro
1986 J jnl
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.
J. Log. Program.
Lisa Hellerstein, Ehud Shapiro
1986 — conf
Meta Interpreters For Real (Invited Paper).
IFIP Congress
Shmuel Safra, Ehud Shapiro
1986 J jnl
Multiway Merge with Constant Delay in Concurrent Prolog.
New Gener. Comput.
Ehud Shapiro, Shmuel Safra
1986 — book
The Art of Prolog - Advanced Programming Techniques
Leon Sterling, Ehud Shapiro
1986 B ed.
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings
ICLP
Ehud Shapiro
1985 — conf
Concurrent Prolog: A Progress Report.
Advanced Course: Fundamentals of Artificial Intelligence
Ehud Shapiro
1985 B conf
Fast Multiway Merge Using Destructive Operation.
ICPP
Ehud Shapiro, Shmuel Safra
1985 B conf
Polymorphic Arrays: An Architecture for a Programmable Systolic Machine.
ICPP
Amos Fiat, Adi Shamir, Ehud Shapiro
1985 B conf
Quadtrees in Concurrent PROLOG.
ICPP
Shimon Edelman, Ehud Shapiro
1984 — conf
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
SLP
Ehud Shapiro, Colin Mierowsky
1984 J jnl
Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.
New Gener. Comput.
Ehud Shapiro, Colin Mierowsky
1984 J jnl
Guest Editor's Preface.
New Gener. Comput.
Ehud Shapiro
1984 — conf
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience.
SLP
Lisa Hellerstein, Ehud Shapiro
1984 A* conf
Systems Programming in Concurrent Prolog.
POPL
Ehud Shapiro
1984 — conf
Systolic Programming: A Paradigm of Parallel Processing.
FGCS
Ehud Shapiro
1983 B conf
Methodology of Logic Programming.
Logic Programming Workshop
Ehud Shapiro
1983 J jnl
Object Oriented Programming in Concurrent Prolog.
New Gener. Comput.
Ehud Shapiro, Akikazu Takeuchi
1981 J jnl
PASES: a programming environment for PASCAL.
ACM SIGPLAN Notices
Ehud Shapiro, Gregg Collins, Lewis Johnson, John Ruttenberg