Untitled ‭[1]‬

 
search

Search Lecturers

Free text:

School:

Choose degree:



 Prof. Amos Israeli

Room:

 2503

Office Hours:

 -

Phone:

  

Upload CV

  

 

Schools

  • Computer Science
  • Information Sys. Management
  •  
  •  

Practice Areas

  •  
  •  
  •  
 

 Activites

 

 

 

 

 Academic Appointments:

 2004 Dean, School of Computer Science and Mathematics, Netanya Academic College, Netanya, Israel.

2003-present Associate Professor, School of Computer Science and Mathematics, Netanya Academic College, Netanya, Israel.
1998-2004 Associate Dean, School of Computer Science and Mathematics, Netanya Academic College, Netanya, Israel.
1998 Member of the Academic Council, Netanya Academic College, Netanya, Israel.
1997-2003 Senior Lecturer, School of Computer Science and Mathematics, Netanya Academic College, Netanya, Israel.
1992 Visiting Scientist, July-September 1992, Center for Mathematics and Computer Science (CWI), Amsterdam, Holland.
1990-1994 Senior Lecturer, Electrical Engineering Department, Technion, Israel.
1990 Visiting Scientist, July 1990, Waterloo University, Waterloo, Canada.
1989-90 Lecturer, Computer science Department (Secondary Affiliation), Technion, Israel.
1987-1990 Lecturer, Electrical Engineering Department, Technion, Haifa, Israel.
1985-87 Post-Doctoral Fellow, Aiken Computation Lab., Harvard, USA.
1982-85 Instructor, Computer Science Department Technion, Israel.
 

 

 

 Lectures

 
 

 

 
Refereed Conferences:

 

1.       B. Awerbuch, A. Israeli and Y. Shiloach: Finding Euler Circuits in Logarithmic Parallel Time, Proceedings of the 16th Annual ACM Symposium on Theory of Computing, May 1984, pp. 249-257. (This work is a preliminary announcement of results presented in article no. 3 in the list of journal articles).
2.       B. Chor, A. Israeli and M. Li: On Processor Coordination Using Asynchronous Hardware, Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing, August 1987, pp. 86-97. (This work is a preliminary announcement of results presented in article no. 11 in the list of journal articles).
3.       Israeli and M. Li: Bounded Time-Stamps, Proceedings of the 28th Annual IEEE Symposium on Foundations of Computer Science, October 1987, pp. 371-382. (This work is a preliminary announcement of results presented in article no. 8 in the list of journal articles).
4.       S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems, Proceedings of 16th Conference of IEEE in Israel, March 1989.
5.       R. Bar-Yehuda, A. Israeli and A. Itai: Multiple Communication in Multi-Hop Radio-Networks, Proceedings of the 8th Annual ACM Symposium on Principles of Distributed Computing, August 1989, pp. 329-338. (This work is a preliminary announcement of results presented in article no. 9 in the list of journal articles).
6.       D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Proceedings of the Israeli Conference on Instrumentation and Control, March 1990.
7.       S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, August 1990, pp. 103-117. (This work is a preliminary announcement of results presented in article no. 10 in the list of journal articles).
8.       A. Israeli and M. Jalfon: Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, August 1990, pp. 119-131.
(This work is a preliminary announcement of results presented in article no. 20 in the list of journal articles).
9.       A. Israeli and T. Nissim: A Simulation Generator for Multiprocessor Systems, Proceedings of the 5th Jerusalem Conference on Information Technology, October 1990.
10.   A. Israeli and M. Jalfon: Uniform Self-Stabilizing Ring Orientation, in Lecture Notes in Computer Science 486: Distributed Algorithms (Proceedings of the Fourth International Workshop on Distributed Algorithms, Bari, Italy, September 1990), J. Van Leeuwen and N. Santoro, Editors, pp. 1-14, Springer-Verlag, 1991. (This work is a preliminary announcement of results presented in article no. 7 in the list of journal articles).
11.   D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Proceedings of the International Conference on Robotics and Automation, April 1991, pp. 332-337. (This work is a preliminary announcement of results presented in article no. 6 in the list of journal articles).
12.   S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, August 1991, pp. 281-293. (This work is a preliminary announcement of results presented in article no. 15 in the list of journal articles).
13.   S. Dolev, A. Israeli and S. Moran: Uniform Dynamic Self-Stabilizing Leader Election, in Lecture Notes in Computer Science 579: Distributed Algorithms (Proceedings of the Fifth International Workshop on Distributed Algorithms, Delphi, Greece, October 1991), S. Toueg, P.G. Spirakis, L. Kirousis, Editors, pp. 163-180, Springer-Verlag, 1992. (This work is a preliminary announcement of results presented in article no. 12 in the list of journal articles).
14.   A. Israeli and A. Shaham: Optimal Multi-Writer Multi-Reader Atomic Register, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, August 1991, pp. 271-82. (This work is a preliminary announcement of results presented in article no. 21 in the list of journal articles).
15.   A. Israeli and M. Pinhasov, A Concurrent Time-Stamp Scheme which is Linear in Time and Space, in Lecture Notes in Computer Science 649: Distributed Algorithms (Proceedings of the sixth International Workshop on Distributed Algorithms, Haifa, Israel, November 1992), A. Segall and S. Zaks, Editors, pp. 95-109, Springer-Verlag, 1993.
16.   A. Zamsky, A. Israeli and S. Pinter: Optimal Time Byzantine Agreement for t< I> with Linear Messages, in Lecture Notes in Computer Science 649: Distributed Algorithms (Proceedings of the sixth International Workshop on Distributed Algorithms, Haifa, Israel, November 1992), A. Segall and S. Zaks, Editors, pp. 136-152, Springer-Verlag, 1992. (This work is a preliminary announcement of results presented in article no. 14 in the list of journal articles). 
17.   D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: The Cactus Operating System, in Concurrent Engineering Factory with a Future, Proceedings of the 13th Israeli Conference for Advanced Manufacturing Technology, December 1992, Israel. 
18.   D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: Track II: A Multi-Processor Robot Controller, Proceedings of the 7th Annual European Computer Conference, Comp-Euro 1993.
19.   A. Israeli and L. Rappoport: Efficient Wait-Free Implementation of a Concurrent Priority Queue, in Lecture Notes in Computer Science 725: Distributed Algorithms (Proceedings of the seventh International Workshop on Distributed Algorithms, Lausanne, Switzerland, September 1993), A. Schipper, Editor, pp. 1-17, Springer-Verlag, 1993. (This work is a preliminary announcement of results presented in article no. 22 in the list of journal articles).
20.   A. Israeli, A. Shaham and A. Shirazi: Linear Time Snapshot Protocols for Unbalanced Systems, in Lecture Notes in Computer Science 725: Distributed Algorithms (Proceedings of the seventh International Workshop on Distributed Algorithms, Lausanne, Switzerland, September 1993), A. Schipper, Editor, pp. 18-25, Springer-Verlag, 1993. (This work is a preliminary announcement of results presented in article no. 13 in the list of journal articles). 
21.   A Israeli, E. Kranakis, D. Krizanc and N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Proceedings of CIAC94. (This work is a preliminary announcement of results presented in article no. 19   in the list of journal articles). 
22.   A. Israeli and L. Rappoport: Disjoint-Access-Parallel Implementation of Strong Shared Memory Primitives, Proceedings of the 11th Annual ACM Symposium on Principles of Distributed Computing, August 1992, pp. 151-160. (This work is a preliminary announcement of results presented in article no. 22 in the list of journal articles).
23.   A. Israeli and A. Shirazi: The Complexity of Updating Snapshot Objects, Proceedings of ESA94. (This work is a preliminary announcement of results presented in article no. 18 in the list of journal articles).
 
 Journal Articles:
 

 Publications

 
 

 

 
Publications:

 

Theses:
Israeli: On Scheduling the Construction of a Tree, M.Sc. thesis, Applied Mathematics Department, Weizmann Inst., July 1980. Thesis Advisor: Yehoshua Perl.
A. Israeli: Topics in Parallel Computation, D. Sc. Thesis, Computer Science Department, May 1985. Thesis Advisor: Yossi Shiloach.
 
 Journal Articles:
1.       Israeli and Y. Shiloach: An Improved Maximal Matching Parallel Algorithm, Information Processing Let., Vol. 22, Jan. 1986, pp. 57-60.
2.       A. Israeli and A. Itai: A Fast and Simple Randomized Parallel Algorithm for Maximal Matching, Information Processing Let., Vol. 22 Jan. 1986, pp. 77-80.
3.       B. Awerbuch, A. Israeli and Y. Shiloach: Finding Euler Circuits in Logarithmic Parallel Time, Advances in Computing Research, Vol. 4, 1987, pp. 69-78.
4.       Gibbons, A. Israeli and W. Rytter: Parallel O(log n) Time Edge Colouring of Trees and Halin Graphs, Information Processing Let., Vol. 27, Feb. 1988, pp. 43-51.
5.       E. Dahlhaus, A. Israeli and J.A. Makowsky: On the Existence of Polynomial Time Algorithms for Interpolation Problems in Propositional Logic, Notre Dame Journal of Formal Logic, Vol. 29, no. 4, Fall 1988, pp. 497-509.
6.       D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, Robotica (1993), vol. 11, PP. 497-509.
7.       Israeli and M. Jalfon: Uniform Self-Stabilizing Ring Orientation, Information and Computation, 104, pp. 175-196,1993.
8.       Israeli and M. Li: Bounded Time-Stamps, Distributed Computing, Vol. 6,
pp. 205-209, 1993.
9.       R. Bar-Yehuda, A. Israeli and A. Itai: Multiple Communication in Multi-Hop Radio-Networks, SIAM Journal on Computing, Vol. 22, no. 4,  1993, pp. 875-887.
10.   S. Dolev, A. Israeli and S. Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Distributed Computing, Vol. 7, no. 1, 1993 (special issue on Self-Stabilization), pp. 3-16.
11.   B. Chor, A. Israeli and M. Li: Wait-Free Consensus Using Asynchronous Hardware, SIAM Journal on Computing, Vol. 23, no. 4, 1994, pp. 701-712.
12.   S. Dolev, A. Israeli and S. Moran: Analyzing Expected Time by Scheduler-Luck Games: Self-Stabilizing Leader Election as
      an example, IEEE Transactions on Software Engineering, Vol. 21, no. 5, pp. 429-439, May 1995.
13.   A. Israeli, A. Shaham and A. Shirazi: Linear Time Snapshot Protocols for Unbalanced Systems, Mathematical System
      Theory 28, pp. 469-486 (1995).
14.   A. Zamsky, A. Israeli and S. Pinter: Optimal Time Byzantine Agreement for t<> with Linear Messages, Distributed Computing, Vol. 9, pp. 95-108.
15.   S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols, SIAM Journal on Computing, Vol. 28, No.1, pp.273-290, February 1997.
16.   A. Israeli, E. Kranakis, D. Krizzanc and N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Nordic Journal of Computing 4 (4), pp. 317-341, 1997.
17.   S. Dolev, A. Israeli and S. Moran: Uniform Dynamic Self-Stabilizing Leader Election, IEEE Transactions on Parallel and Distributed Systems, 8 (4),
pp. 424-440, 1997.
18.   J. Jehuda and A. Israeli: Automated Meta-Control for Adaptable Real-Time Software, Real Time Systems 14 (2),  pp. 107-134, 1998. 
19.   A. Israeli and A. Shirazi: The Time Complexity of Updating Snapshot Objects,  Information Processing Letters 65 (1), pp 33-40, 1998
 
Accepted:
20. A. Israeli and A. Shaham: Time and Space Optimal Implementation of Atomic Multi-writer Register, to appear in Information and Computation.
 
 
Lecture Notes
A. Israeli: Introduction to Parallel Algorithms (a learning guide), Israel Open University Press, a preliminary version, 1999.
A. Israeli: Introduction to Distributed Computing: Lecture Notes of A UNESCO Summer School, Netanya Academic College, July 2000.
 
Technical Reports:
A. Israeli and Y. Perl: On Scheduling the Construction of a Tree, Technical Report CS81-02, April 1981, Department of Applied Math., The Weizmann Insttitute of Science, Rehovot, Israel.
A. Israeli and Y. Perl: On Scheduling the Construction of an External Star Tree, Tree, Technical Report CS81-19, August 1981, Department of Applied Math., The Weizmann Insttitute of Science, Rehovot, Israel.
A. Israeli and Y. Shiloach: Fast UltraComputer Algorithms for Sparse Matrix Multiplication, Technical Report no. 121, May 1983, IBM Israel Scientific Center, Technion, Haifa, Israel.
B. Awerbuch, A. Israeli and Y. Shiloach: Efficient Simulation of PRAM  by ULTRACOMPUTER ,  T.R. no. 120, May 1983, IBM Scientific Center,  Technion, Haifa, Israel.
A. Israeli and Y. Shiloach: Sparse Matricx Multiplication, A Simple and Efficient Parallel Algorithm, Technical Report no. 339, Octopber 1984, Computer Science Department Technion, Haifa, Israel.
A. Israeli and M. Li: Bounded Time Stemps, TR-01-88, Harvard University Center for Research in Computing Technology.
A. Israeli M. Li and P.M.B. Vitanyi: Simple Multireader Registers Using Time-Stamps Schemes, Report CS-R8758, November 1987, Center for Mathematics and Computer Science, Amsterdam, Holland.
S. Dolev, A. Israeli and S. Moran: Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity, Technical Report No. 500, November 1989, Computer Scienc Department, Technion. Haifa, Israel.
S. Dolev, A. Israeli and S. Moran: Resouce Bounds for Self-Stabilizing Message Driven Protocols, Technical Report no. 641, July 1990, Computer Science Department, Technion, Haifa, Israel.
D. Bar-On, S. Gutman and A. Israeli: The TRACK Technion Robot and Controller Kit, EE Pub no. 768, September 1990, Electrical Engineering Department, Technion, Haifa, Israel.
D. Bar-On, D. Gershon, A. Israeli and G. Zuniga: TRACK II: Amulti-Processor Robot Controller, EE Pub No. 805, October 1991, Ellectrical Engineering Department, Technion, Haifa, Israel.
S. Dolev, A. Israeli and S. Moran: Resource Bounds for Self-Stabilizing Message Driven Protocols (revised version), Technical Report no. 748, July 1992, Computer Science Department, Technion, Haifa, Israel.
A. Israeli and A. Shaham: Optimal Multi-Writer Multi-Reader Atomic Register, Report CS-R9235, September 1992, Center for Mathematics and Computer Science, Amsterdam, Holland.
A. Israeli, A. Shaham and A. Shirazi: Linear-Time Snapshot Protocols for Unbalanced Systems, Report CS-R9236, September 1992, Center for Mathematics and Computer Science, Amsterdam, Holland.
S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election
Part 1:Complete Graph Protocols, Report CS-R9307, February 1993, Center for Mathematics and Computer Science, Amsterdam, Holland.
A. Israeli, E. Kranakis, D. Krizanc, N. Santoro: Time-Message Trade-Offs for the Weak Unison Problem, Technical Report no. 222, Computer Science Department, Carleton University, March 1993.
S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election
Part 1:Complete Graph Protocols, Technical Report no. 807, March 1994, Computer Science Department, Technion, Haifa, Israel.
S. Dolev, A. Israeli and S. Moran: Uniform Self-Stabilizing Leader Election
Part 2: General Graph Protocols, Technical Report 94-039, April 1994, Department of Computer Science, Texas A&M University.
 
 
 
Send to a friend   Print