×

zbMATH — the first resource for mathematics

Shapiro, Ehud Y.

Compute Distance To:
Author ID: shapiro.ehud-y Recent zbMATH articles by "Shapiro, Ehud Y."
Published as: Shapiro, Ehud; Shapiro, E. Y.; Shapiro, Ehud Y.; Shapiro, E.
Documents Indexed: 27 Publications since 1981, including 4 Books

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 322 times in 270 Documents Cited by Year
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
100
2004
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Zbl 0997.92018
Priami, Corrado; Regev, Aviv; Shapiro, Ehud; Silverman, William
72
2001
The art of Prolog. Advanced programming techniques. Zbl 0605.68002
Sterling, Leon; Shapiro, Ehud
55
1986
Algorithmic program debugging. 2nd printing. Zbl 0589.68003
Shapiro, Ehud Y.
31
1984
The art of PROLOG. Advanced programming techniques. 2nd ed. Zbl 0850.68137
Sterling, Leon; Shapiro, Ehud
28
1994
Alternation and the computational complexity of logic programs. Zbl 0579.68030
Shapiro, Ehud Y.
8
1984
A type system for logic programs. Zbl 0717.68016
Yardeni, Eyal; Shapiro, Ehud
8
1991
Compiling OR-parallelism into AND-parallelism. Zbl 0595.68026
Codish, Michael; Shapiro, Ehud
5
1986
A parallel implementation of flat concurrent Prolog. Zbl 0614.68007
Taylor, Stephen; Safra, Shmuel; Shapiro, Ehud
4
1986
Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025
Gallagher, John; Codish, Michael; Shapiro, Ehud
2
1988
Suboptimal constant output feedback and its application to modern flight control system design. Zbl 0456.49005
Shapiro, E. Y.; Fredricks, D. A.; Rooney, R. H.
2
1981
On output feedback decoupling. Zbl 0484.93045
Kim, H. Y.; Shapiro, E. Y.
2
1981
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
1
1989
On the structural simplicity of machines and languages. Zbl 0858.68019
Moscowitz, Yael; Shapiro, Ehud
1
1995
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog. Zbl 0592.68058
Shapiro, Ehud; Mierowsky, Colin
1
1984
Implementing parallel algorithms in Concurrent Prolog: the MAXFLOW experience. Zbl 0613.68015
Hellerstein, Lisa; Shapiro, Ehud
1
1986
A layered method for process and code mapping. Zbl 0624.68031
Taylor, Stephen; Av-Ron, Evyatar; Shapiro, Ehud
1
1987
BioAmbients: an abstraction for biological compartments. Zbl 1069.68569
Regev, Aviv; Panina, Ekaterina M.; Silverman, William; Cardelli, Luca; Shapiro, Ehud
100
2004
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Zbl 0997.92018
Priami, Corrado; Regev, Aviv; Shapiro, Ehud; Silverman, William
72
2001
On the structural simplicity of machines and languages. Zbl 0858.68019
Moscowitz, Yael; Shapiro, Ehud
1
1995
The art of PROLOG. Advanced programming techniques. 2nd ed. Zbl 0850.68137
Sterling, Leon; Shapiro, Ehud
28
1994
A type system for logic programs. Zbl 0717.68016
Yardeni, Eyal; Shapiro, Ehud
8
1991
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
1
1989
Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025
Gallagher, John; Codish, Michael; Shapiro, Ehud
2
1988
A layered method for process and code mapping. Zbl 0624.68031
Taylor, Stephen; Av-Ron, Evyatar; Shapiro, Ehud
1
1987
The art of Prolog. Advanced programming techniques. Zbl 0605.68002
Sterling, Leon; Shapiro, Ehud
55
1986
Compiling OR-parallelism into AND-parallelism. Zbl 0595.68026
Codish, Michael; Shapiro, Ehud
5
1986
A parallel implementation of flat concurrent Prolog. Zbl 0614.68007
Taylor, Stephen; Safra, Shmuel; Shapiro, Ehud
4
1986
Implementing parallel algorithms in Concurrent Prolog: the MAXFLOW experience. Zbl 0613.68015
Hellerstein, Lisa; Shapiro, Ehud
1
1986
Algorithmic program debugging. 2nd printing. Zbl 0589.68003
Shapiro, Ehud Y.
31
1984
Alternation and the computational complexity of logic programs. Zbl 0579.68030
Shapiro, Ehud Y.
8
1984
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog. Zbl 0592.68058
Shapiro, Ehud; Mierowsky, Colin
1
1984
Suboptimal constant output feedback and its application to modern flight control system design. Zbl 0456.49005
Shapiro, E. Y.; Fredricks, D. A.; Rooney, R. H.
2
1981
On output feedback decoupling. Zbl 0484.93045
Kim, H. Y.; Shapiro, E. Y.
2
1981
all top 5

Cited by 401 Authors

10 Hillston, Jane
10 Milazzo, Paolo
9 Cardelli, Luca
8 Barbuti, Roberto
8 Bodei, Chiara
8 Maggiolo-Schettini, Andrea
8 Priami, Corrado
7 Gori, Roberta
6 Ciocchetta, Federica
6 Levi, Francesca
5 Bortolussi, Luca
5 Nielson, Flemming
5 Shapiro, Ehud Y.
5 Troina, Angelo
5 Zavattaro, Gianluigi
4 Brodo, Linda
4 Busi, Nadia
4 Caballero, Rafael E.
4 Calder, Muffy
4 Caravagna, Giulio
4 Galpin, Vashti
4 Hermith, Diana
4 John, Mathias
4 Muggleton, Stephen H.
4 Phillips, Andrew
4 Pilegaard, Henrik
4 Policriti, Alberto
4 Riesco, Adrián
4 Riis Nielson, Hanne
4 Romanel, Alessandro
4 Uhrmacher, Adelinde M.
4 Versari, Cristian
3 Aman, Bogdan
3 Bradley, Elizabeth
3 Chiarugi, Davide
3 Ciobanu, Gabriel
3 Danos, Vincent
3 De Raedt, Luc
3 Degasperi, Andrea
3 Delzanno, Giorgio
3 Drabent, Włodzimierz
3 Fages, François
3 Falaschi, Moreno
3 Gardner, Philippa Anne
3 Hanus, Michael
3 Kahramanoğulları, Ozan
3 Komendantskaya, Ekaterina
3 Krivine, Jean
3 Laneve, Cosimo
3 Lu, Lunjin
3 Martí-Oliet, Narciso
3 Olarte, Carlos
3 Pardini, Giovanni
3 Power, John
3 Sáenz-Pérez, Fernando
3 Sterling, Leon S.
3 Stolle, Reinhard
3 Verdejo, Alberto
2 Bioglio, Livio
2 Bribiesca, Ernesto
2 Bruynooghe, Maurice
2 Caron, Emmanuelle
2 Codish, Michael
2 Cohen, William W.
2 Degano, Pierpaolo
2 Deransart, Pierre
2 Dezani-Ciancaglini, Mariangiola
2 Fu, Yuxi
2 Gadducci, Fabio
2 García-Ruiz, Yolanda
2 Hamano, Masahiro
2 Kwiatkowska, Marta Z.
2 Lakhotia, Arun
2 Lee, Shie-Jue
2 Lhoussaine, Cédric
2 Marriott, Kim
2 McCaig, Chris
2 Monreale, Giacoma Valentina
2 Niehren, Joachim
2 Norman, Gethin
2 Norman, Rachel
2 Numao, Masayuki
2 Palamidessi, Catuscia
2 Paulevé, Loïc
2 Păun, Gheorghe
2 Piazza, Carla
2 Plotkin, Gordon D.
2 Quaglia, Paola
2 Rao, M. R. K. Krishna
2 Rizk, Aurélien
2 Scedrov, Andre
2 Shankland, Carron
2 Strooper, Paul A.
2 Vigliotti, Maria Grazia
2 Zhang, Xiaolong
1 Aasa, Annika
1 Abbott, Russell J.
1 Agrigoroaiei, Oana
1 Amato, Gianluca
1 Amtoft, Torben
...and 301 more Authors
all top 5

Cited in 58 Serials

60 Theoretical Computer Science
16 New Generation Computing
10 Theory and Practice of Logic Programming
8 Machine Learning
7 Artificial Intelligence
6 Information and Computation
6 Natural Computing
5 International Journal of Parallel Programming
5 Annals of Mathematics and Artificial Intelligence
5 The Journal of Logic and Algebraic Programming
4 Formal Aspects of Computing
3 Acta Informatica
3 Journal of Automated Reasoning
3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 MSCS. Mathematical Structures in Computer Science
2 Computers & Mathematics with Applications
2 Information Processing Letters
2 Software. Practice & Experience
2 Journal of Symbolic Computation
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Mathematical and Computer Modelling
2 Constraints
2 Journal of Membrane Computing
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Information Sciences
1 International Journal for Numerical Methods in Engineering
1 Journal of Computer and System Sciences
1 Journal of Soviet Mathematics
1 The Journal of Symbolic Logic
1 Kybernetika
1 Mathematical Systems Theory
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Physica D
1 Algorithmica
1 Discrete Event Dynamic Systems
1 Applied Intelligence
1 Pattern Recognition
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Computational Optimization and Applications
1 Computational Economics
1 ACM Transactions on Modeling and Computer Simulation
1 Parallel Algorithms and Applications
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Statistical Methods in Medical Research
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Theoretical Biology
1 Journal of Logical and Algebraic Methods in Programming
1 Philosophical Transactions A. Royal Society of London

Citations by Year