Follow
Gadi Taubenfeld
Gadi Taubenfeld
IDC, Israel
Verified email at idc.ac.il - Homepage
Title
Cited by
Cited by
Year
Synchronization algorithms and concurrent programming
G Taubenfeld
Pearson Education, 2006
2542006
Computing with infinitely many processes: Under assumptions on concurrency and participation
M Merritt, G Taubenfeld
Distributed Computing: 14th International Conference, DISC 2000 Toledo …, 2002
1082002
Script: A communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
107*1986
Disentangling multi-object operations
Y Afek, M Merritt, G Taubenfeld, D Touitou
Proceedings of the sixteenth annual ACM symposium on Principles of …, 1997
951997
The concurrency hierarchy, and algorithms for unbounded concurrency
E Gafni, M Merritt, G Taubenfeld
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
712001
Results about fast mutual exclusion
R Alur, G Taubenfeld
Proceedings Real-Time Systems Symposium, 12, 13, 14, 15, 16, 17, 18, 19, 20 …, 1992
651992
The black-white bakery algorithm and related bounded-space, adaptive, local-spinning and FIFO algorithms
G Taubenfeld
Distributed Computing: 18th International Conference, DISC 2004, Amsterdam …, 2004
612004
Computing with faulty shared memory
Y Afek, DS Greenberg, M Merritt, G Taubenfeld
Proceedings of the eleventh annual ACM symposium on Principles of …, 1992
541992
Contention-sensitive data structures and algorithms
G Taubenfeld
Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain …, 2009
48*2009
Computing with faulty shared objects
Y Afek, DS Greenberg, M Merritt, G Taubenfeld
Journal of the ACM (JACM) 42 (6), 1231-1274, 1995
471995
Time-adaptive algorithms for synchronization
R Alur, H Attiya, G Taubenfeld
Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing …, 1994
471994
Automatic Discovery of Mutual Exclusion Algorithms: (Preliminary Version)
Y Bar-David, G Taubenfeld
Distributed Computing: 17th International Conference, DISC 2003, Sorrento …, 2003
452003
Speeding Lamport's fast mutual exclusion algorithm
M Merritt, G Taubenfeld
Information Processing Letters 45 (3), 137-142, 1993
451993
Possibility and impossibility results in a shared memory environment
G Taubenfeld, S Moran
Acta Informatica 33 (1), 1-20, 1996
341996
On asymmetric progress conditions
D Imbs, M Raynal, G Taubenfeld
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
312010
Objects shared by Byzantine processes
D Malkhi, M Merritt, MK Reiter, G Taubenfeld
Distributed Computing 16, 37-48, 2003
312003
The computational structure of progress conditions
G Taubenfeld
Distributed Computing: 24th International Symposium, DISC 2010, Cambridge …, 2010
282010
The wakeup problem
MJ Fischer, S Moran, S Rudich, G Taubenfeld
SIAM Journal on Computing 25 (6), 1332-1357, 1996
271996
Coordination without prior agreement
G Taubenfeld
Proceedings of the ACM Symposium on Principles of Distributed Computing, 325-334, 2017
242017
The computability of relaxed data structures: queues and stacks as examples
N Shavit, G Taubenfeld
Distributed Computing 29, 395-407, 2016
242016
The system can't perform the operation now. Try again later.
Articles 1–20