Idit Keidar

	2009
90		Idit Keidar: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings Springer 2009
89		Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch: The 2009 Edsger W. Dijkstra Prize in Distributed Computing. DISC 2009: 1-2
88		Maxim Gurevich, Idit Keidar: Correctness of gossip-based membership under message loss. PODC 2009: 151-160
87		Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer: Dynamic atomic storage without consensus. PODC 2009: 17-25
86		Idit Keidar, Dmitri Perelman: On avoiding spare aborts in transactional memory. SPAA 2009: 59-68
85		Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar: Transactifying Apache's cache module. SYSTOR 2009: 2
84		Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer: Brahms: Byzantine resilient random membership sampling. Computer Networks 53(13): 2340-2359 (2009)
83		Idit Keidar, Roie Melamed, Ariel Orda: EquiCast: Scalable multicast with selfish users. Computer Networks 53(13): 2373-2386 (2009)
82		Christian Cachin, Idit Keidar, Alexander Shraer: Fork sequential consistency is blocking. Inf. Process. Lett. 109(7): 360-364 (2009)
81		Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott: Deleting files in the Celeste peer-to-peer storage system. J. Parallel Distrib. Comput. 69(7): 613-622 (2009)
80		Ulrich Schmid, Bettina Weiss, Idit Keidar: Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. 38(5): 1912-1951 (2009)
79		Idit Keidar: ACM SIGACT news distributed computing column 33: teaching concurrency. SIGACT News 40(1): 45-46 (2009)
78		Idit Keidar: ACM SIGACT news distributed computing column 34: distributed computing in the clouds. SIGACT News 40(2): 67 (2009)
77		Christian Cachin, Idit Keidar, Alexander Shraer: Trusting the cloud. SIGACT News 40(2): 81-86 (2009)
76		Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld: Do not crawl in the DUST: Different URLs with similar text. TWEB 3(1): 3 (2009)
	2008
75		Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer: Brahms: byzantine resilient random membership sampling. PODC 2008: 145-154
74		Christian Cachin, Idit Keidar, Alexander Shraer: Principles of untrusted storage: a new look at consistency conditions. PODC 2008: 426
73		Edward Bortnikov, Israel Cidon, Idit Keidar: Dynamic service assignment in mobile networks: the magma approach. PODC 2008: 444
72		Gal Badishi, Idit Keidar: Improving denial of service resistance using dynamic local adaptations. SAC 2008: 2212-2218
71		Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser: Utilizing shared data in chip multiprocessors with the nahalal architecture. SPAA 2008: 1-10
70		Gal Badishi, Amir Herzberg, Idit Keidar, Oleg Romanov, Avital Yachin: An Empirical Study of Denial of Service Mitigation Techniques. SRDS 2008: 115-124
69		Christian Cachin, Idit Keidar, Alexander Shraer: Fork Sequential Consistency is Blocking CoRR abs/0805.2068: (2008)
68		Idit Keidar, Alexander Shraer: How to Choose a Timing Model. IEEE Trans. Parallel Distrib. Syst. 19(10): 1367-1380 (2008)
67		Roie Melamed, Idit Keidar: Araneola: A scalable reliable multicast system for dynamic environments. J. Parallel Distrib. Comput. 68(12): 1539-1560 (2008)
66		Idit Keidar: On distributed computing principles in systems research: introduction. SIGACT News 39(2): 82-83 (2008)
65		Idit Keidar: ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing. SIGACT News 39(3): 66 (2008)
64		Idit Keidar: ACM SIGACT news distributed computing column 32: the year in review. SIGACT News 39(4): 53-54 (2008)
63		Roie Melamed, Idit Keidar, Yoav Barel: Octopus: A fault-tolerant and efficient ad-hoc routing protocol. Wireless Networks 14(6): 777-793 (2008)
	2007
62		Edward Bortnikov, Israel Cidon, Idit Keidar: Scalable real-time gateway assignment in mobile mesh networks. CoNEXT 2007: 20
61		Gregory Chockler, Rachid Guerraoui, Idit Keidar: Amnesic Distributed Storage. DISC 2007: 139-151
60		Edward Bortnikov, Israel Cidon, Idit Keidar: Scalable Load-Distance Balancing. DISC 2007: 77-91
59		Idit Keidar, Alexander Shraer: How to Choose a Timing Model? DSN 2007: 389-398
58		Roman Gindin, Israel Cidon, Idit Keidar: NoC-Based FPGA: Architecture and Routing. NOCS 2007: 253-264
57		Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld: Do not crawl in the dust: different urls with similar text. WWW 2007: 111-120
56		Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser: Nahalal: Cache Organization for Chip Multiprocessors. Computer Architecture Letters 6(1): 21-24 (2007)
55		Partha Dutta, Rachid Guerraoui, Idit Keidar: The overhead of consensus failure recovery. Distributed Computing 19(5-6): 373-386 (2007)
54		Gal Badishi, Amir Herzberg, Idit Keidar: Keeping Denial-of-Service Attackers in the Dark. IEEE Trans. Dependable Sec. Comput. 4(3): 191-204 (2007)
53		Edward Bortnikov, Israel Cidon, Idit Keidar: Nomadic Service Assignment. IEEE Trans. Mob. Comput. 6(8): 915-928 (2007)
52		Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Wait-free regular storage from Byzantine components. Inf. Process. Lett. 101(2): 60-65 (2007)
51		Idit Keidar: Introduction. SIGACT News 38(4): 46-53 (2007)
	2006
50		Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster: Efficient Dynamic Aggregation. DISC 2006: 90-104
49		Gal Badishi, Idit Keidar, Amir Herzberg, Oleg Romanov, Avital Yachin: Denial of Service Protection with Beaver. From Security to Dependability 2006
48		Sivan Bercovici, Idit Keidar, Ayellet Tal: Decentralized Electronic Mail. ICDCS Workshops 2006: 14
47		Edward Bortnikov, Israel Cidon, Idit Keidar: Nomadic Service Points. INFOCOM 2006
46		Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff: Veracity radius: capturing the locality of distributed computations. PODC 2006: 102-111
45		Idit Keidar, Alexander Shraer: Timeliness, failure-detectors, and consensus performance. PODC 2006: 169-178
44		Idit Keidar, Roie Melamed, Ariel Orda: EquiCast: scalable multicast with selfish users. PODC 2006: 63-71
43		Idit Keidar, Roie Melamed: Evaluating unstructured peer-to-peer lookup overlays. SAC 2006: 675-679
42		Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott: Deleting Files in the Celeste Peer-to-Peer Storage System. SRDS 2006: 29-38
41		Uri Schonfeld, Ziv Bar-Yossef, Idit Keidar: Do not crawl in the DUST: different URLs with similar text. WWW 2006: 1015-1016
40		Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Byzantine disk paxos: optimal resilience with byzantine shared memory. Distributed Computing 18(5): 387-408 (2006)
39		Gal Badishi, Idit Keidar, Amir Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. IEEE Trans. Dependable Sec. Comput. 3(1): 45-61 (2006)
38		Idit Keidar, Assaf Schuster: Want scalable computing?: speculate! SIGACT News 37(3): 59-66 (2006)
37		Partha Pratim Pal, Paul Rubel, Michael Atighetchi, Franklin Webber, William H. Sanders, Mouna Seri, HariGovind V. Ramasamy, James Lyons, Tod Courtney, Adnan Agbaria, Michel Cukier, Jeanna M. Gossett, Idit Keidar: An architecture for adaptive intrusion-tolerant applications. Softw., Pract. Exper. 36(11-12): 1331-1354 (2006)
	2005
36		Gal Badishi, Amir Herzberg, Idit Keidar: Keeping Denial-of-Service Attackers in the Dark. DISC 2005: 18-32
35		Marc Shapiro, Idit Keidar, Felix C. Freiling, Luís Rodrigues: Topic 8 - Distributed Systems and Algorithms. Euro-Par 2005: 593
34		Roie Melamed, Idit Keidar, Yoav Barel: Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol. SRDS 2005: 39-49
33		Nadav Lavi, Israel Cidon, Idit Keidar: MaGMA: mobility and group management architecture for real-time collaborative applications. Wireless Communications and Mobile Computing 5: 749-772 (2005)
	2004
32		Gal Badishi, Idit Keidar, Amir Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. DSN 2004: 223-232
31		Carolos Livadas, Idit Keidar: Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253-
30		Nadav Lavi, Israel Cidon, Idit Keidar: Supporting Groupware in Mobile Networks. MWCN 2004: 95-106
29		Roie Melamed, Idit Keidar: Araneola: A Scalable Reliable Multicast System for Dynamic Environments. NCA 2004: 5-14
28		Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Byzantine disk paxos: optimal resilience with byzantine shared memory. PODC 2004: 226-235
27		Gal Badishi, Idit Keidar, Amir Sasson: Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. PODC 2004: 374
26		Idit Keidar, Roie Melamed: Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. PODC 2004: 384
	2003
25		Idit Keidar, Sergio Rajsbaum: Open Questions on Consensus Performance in Well-Behaved Runs. Future Directions in Distributed Computing 2003: 35-39
24		Idit Keidar: Challenges in Evaluating Distributed Algorithms. Future Directions in Distributed Computing 2003: 40-44
23		Idit Keidar, Sergio Rajsbaum: On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. LADC 2003: 366-368
22		Idit Keidar, Sergio Rajsbaum: A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett. 85(1): 47-52 (2003)
	2002
21		Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch: Early-Delivery Dynamic Atomic Broadcast. DISC 2002: 1-16
20		Omar Bakr, Idit Keidar: Evaluating the running time of a communication round over the internet. PODC 2002: 243-252
19		Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev: Moshe: A group membership service for WANs. ACM Trans. Comput. Syst. 20(3): 191-238 (2002)
18		Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman: An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Softw. Eng. Methodol. 11(1): 63-91 (2002)
17		Idit Keidar, Roger Khazan: A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. SIAM J. Comput. 32(1): 78-130 (2002)
	2001
16		Kyle Ingols, Idit Keidar: Availability Study of Dynamic Voting Algorithms. ICDCS 2001: 247-254
15		Alan Fekete, Idit Keidar: A Framework for Highly Available Services Based on Group Communication. ICDCS Workshops 2001: 57-62
14		Gregory Chockler, Idit Keidar, Roman Vitenberg: Group communication specifications: a comprehensive study. ACM Comput. Surv. 33(4): 427-469 (2001)
	2000
13		Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano: On Formal Modeling of Agent Computations. FAABS 2000: 48-62
12		Idit Keidar, Roger Khazan: A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms. ICDCS 2000: 344-355
11		Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev: A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. ICDCS 2000: 356-365
10		Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman: An inheritance-based technique for building simulation proofs incrementally. ICSE 2000: 478-487
9		Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch: Totally Ordered Multicast with Bounded Delays and Variable Rates. OPODIS 2000: 143-162
8		Jeremy B. Sussman, Idit Keidar, Keith Marzullo: Optimistic Virtual Synchrony. SRDS 2000: 42-51
	1999
7		Tal Anker, Danny Dolev, Idit Keidar: Fault Tolerant Video on Demand Services. ICDCS 1999: 244-252
	1998
6		Idit Keidar, Danny Dolev: Increasing the Resilience of Distributed and Replicated Database Systems. J. Comput. Syst. Sci. 57(3): 309-324 (1998)
	1997
5		Tal Anker, Gregory Chockler, Danny Dolev, Idit Keidar: The Caelum Toolkit for CSCW: The Sky is the Limit. NGITS 1997: 0-
4		Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi: Failure Detectors in Omission Failure Environments. PODC 1997: 286
3		Esti Yeger Lotem, Idit Keidar, Danny Dolev: Dynamic Voting for Consistent Primary Components. PODC 1997: 63-71
	1996
2		Idit Keidar, Danny Dolev: Efficient Message Ordering in Dynamic Networks. PODC 1996: 68-76
	1995
1		Idit Keidar, Danny Dolev: Increasing the Resilience of Atomic Commit at No Additional Cost. PODS 1995: 245-254

Coauthor Index

1	Ittai Abraham	[28] [40] [52]
2	Adnan Agbaria	[37]
3	Marcos Kawazoe Aguilera	[87]
4	Lorenzo Alvisi	[89]
5	Tal Anker	[5] [7] [9]
6	Tadashi Araragi	[13]
7	Michael Atighetchi	[37]
8	Paul C. Attie	[13]
9	Gal Badishi	[27] [32] [36] [39] [42] [49] [54] [70] [72] [81]
10	Omar Bakr	[20]
11	Ziv Bar-Joseph	[9] [21]
12	Ziv Bar-Yossef	[41] [57] [76]
13	Yoav Barel	[34] [63]
14	Sivan Bercovici	[48]
15	Yitzhak Birk	[46] [50]
16	Edward Bortnikov	[47] [53] [60] [62] [73] [75] [84]
17	Christian Cachin	[69] [74] [77] [82]
18	Germano Caronni	[42] [81]
19	Gregory Chockler	[5] [14] [28] [40] [52] [61]
20	Israel Cidon	[30] [33] [47] [53] [58] [60] [62] [73]
21	Tod Courtney	[37]
22	Michel Cukier	[37]
23	Danny Dolev	[1] [2] [3] [4] [5] [6] [7] [11] [19]
24	Partha Dutta	[55]
25	Haggai Eran	[85]
26	Alan Fekete (Alan David Fekete, A. D. Fekete)	[15]
27	Felix C. Freiling (Felix C. Gärtner)	[35]
28	Roy Friedman	[4]
29	Roman Gindin	[58]
30	Jeanna M. Gossett	[37]
31	Rachid Guerraoui	[55] [61] [89]
32	Maxim Gurevich	[75] [84] [88]
33	Zvika Guz	[56] [71] [85]
34	Amir Herzberg	[36] [49] [54] [70]
35	Kyle Ingols	[16]
36	Prasad Jayanti	[89]
37	Roger Khazan	[10] [12] [17] [18]
38	Gabriel Kliot	[75] [84]
39	Kiyoshi Kogure	[13]
40	Avinoam Kolodny	[56] [71]
41	Shay Kutten	[89]
42	Nadav Lavi	[30] [33]
43	Liran Liss	[46] [50]
44	Carolos Livadas	[31]
45	Esti Yeger Lotem	[3]
46	Victor Luchangco	[13]
47	Ohad Lutzky	[85]
48	Nancy A. Lynch	[9] [10] [13] [18] [21]
49	James Lyons	[37]
50	Dahlia Malkhi (Dalia Malki)	[4] [28] [40] [52] [87]
51	Ken Mano	[13]
52	Keith Marzullo	[8] [11] [19]
53	Roie Melamed	[26] [29] [34] [43] [44] [63] [67] [83]
54	Ariel Orda	[44] [83]
55	Partha Pratim Pal	[37]
56	Dmitri Perelman	[86]
57	Sergio Rajsbaum	[22] [23] [25]
58	HariGovind V. Ramasamy	[37]
59	Luís Rodrigues	[35]
60	Raphael Rom	[42] [81]
61	Oleg Romanov	[49] [70]
62	Paul Rubel	[37]
63	William H. Sanders	[37]
64	Amir Sasson	[27] [32] [39]
65	Ulrich Schmid	[80]
66	Uri Schonfeld	[41] [57] [76]
67	Assaf Schuster	[38] [46] [50]
68	Glenn Scott	[42] [81]
69	Mouna Seri	[37]
70	Marc Shapiro	[35]
71	Alexander Shraer	[45] [59] [68] [69] [74] [75] [77] [82] [84] [87]
72	Alexander A. Shvartsman	[10] [18]
73	Jeremy B. Sussman	[8] [11] [19]
74	Ayellet Tal	[48]
75	Roman Vitenberg	[14]
76	Franklin Webber	[37]
77	Uri C. Weiser	[56] [71]
78	Bettina Weiss	[80]
79	Jennifer L. Welch	[89]
80	Ran Wolff	[46]
81	Avital Yachin	[49] [70]

Colors in the list of coauthors