Itai, Alon; Rodeh, Michael; Shachnai, Hadas The passport control problem or how to keep a dynamic service system load balanced? (English) Zbl 1014.68028 Theor. Comput. Sci. 282, No. 2, 303-318 (2002). MSC: 68M20 PDFBibTeX XMLCite \textit{A. Itai} et al., Theor. Comput. Sci. 282, No. 2, 303--318 (2002; Zbl 1014.68028) Full Text: DOI
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly Cleanness checking of string manipulations in C programs via integer analysis. (English) Zbl 0997.68570 Cousot, Patrick (ed.), Static analysis. 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2126, 194-212 (2001). MSC: 68U99 68N15 68N01 68P05 PDFBibTeX XMLCite \textit{N. Dor} et al., Lect. Notes Comput. Sci. 2126, 194--212 (2001; Zbl 0997.68570) Full Text: Link
Dor, Nurit; Rodeh, Michael; Sagiv, Mooly Checking cleanness in linked lists. (English) Zbl 0966.68558 Palsberg, Jens (ed.), Static analysis. 7th internationales symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1824, 115-134 (2000). MSC: 68U99 68N99 PDFBibTeX XMLCite \textit{N. Dor} et al., Lect. Notes Comput. Sci. 1824, 115--134 (2000; Zbl 0966.68558)
Amir, Amihood; Keselman, Dmitry; Landau, Gad M.; Lewenstein, Moshe; Lewenstein, Noa; Rodeh, Michael Text indexing and dictionary matching with one error. (English) Zbl 0966.68062 J. Algorithms 37, No. 2, 309-325 (2000). MSC: 68P10 PDFBibTeX XMLCite \textit{A. Amir} et al., J. Algorithms 37, No. 2, 309--325 (2000; Zbl 0966.68062) Full Text: DOI
Dinitz, Yefim; Itai, Alon; Rodeh, Michael On an algorithm of Zemlyachenko for subtree isomorphism. (English) Zbl 1339.05383 Inf. Process. Lett. 70, No. 3, 141-146 (1999). MSC: 05C85 05C05 05C60 68P05 PDFBibTeX XMLCite \textit{Y. Dinitz} et al., Inf. Process. Lett. 70, No. 3, 141--146 (1999; Zbl 1339.05383) Full Text: DOI Link
Eiron, N.; Rodeh, M.; Steinwarts, L. Matrix multiplication: a case study of enhanced data cache utilization. (English) Zbl 1073.68566 ACM J. Exp. Algorithm. 4, Spec. Iss., Article 3, 26 p. (1999). MSC: 68N20 PDFBibTeX XMLCite \textit{N. Eiron} et al., ACM J. Exp. Algorithm. 4, Article 3, 26 p. (1999; Zbl 1073.68566) Full Text: DOI Link
Amir, Amihood; Keselman, Dmitry; Landau, Gad M.; Lewenstein, Moshe; Lewenstein, Noa; Rodeh, Michael Indexing and dictionary matching with one error (extended abstract). (English) Zbl 1063.68688 Dehne, Frank (ed.) et al., Algorithms and data structures. 6th international workshop, WADS’99, Vancouver, Canada, August 11–14, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66279-0/pbk). Lecture Notes in Computer Science 1663, 181-192 (1999). MSC: 68U15 68P05 68P20 68W40 PDFBibTeX XMLCite \textit{A. Amir} et al., Lect. Notes Comput. Sci. 1663, 181--192 (1999; Zbl 1063.68688)
Rodeh, Michael; Sagiv, Mooly Finding circular attributes in attribute grammars. (English) Zbl 1065.68577 J. ACM 46, No. 4, 556-575 (1999). MSC: 68Q42 68T50 PDFBibTeX XMLCite \textit{M. Rodeh} and \textit{M. Sagiv}, J. ACM 46, No. 4, 556--575 (1999; Zbl 1065.68577) Full Text: DOI
Sagiv, Mooly; Francez, Nissim; Rodeh, Michael; Wilhelm, Reinhard A logic-based approach to program flow analysis. (English) Zbl 0904.68062 Acta Inf. 35, No. 6, 457-504 (1998). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Sagiv} et al., Acta Inf. 35, No. 6, 457--504 (1998; Zbl 0904.68062) Full Text: DOI
Bernstein, David; Gal, Shmuel; Rodeh, Michael Mathematical analysis of statistical sampling for estimating computer cache performance. (English) Zbl 0960.68525 Commun. Stat., Stochastic Models 12, No. 1, 67-75 (1996). MSC: 68M20 PDFBibTeX XMLCite \textit{D. Bernstein} et al., Commun. Stat., Stochastic Models 12, No. 1, 67--75 (1996; Zbl 0960.68525) Full Text: DOI
Itai, Alon; Rodeh, Michael Symmetry breaking in distributed networks. (English) Zbl 0705.68020 Inf. Comput. 88, No. 1, 60-87 (1990). MSC: 68M10 68W15 PDFBibTeX XMLCite \textit{A. Itai} and \textit{M. Rodeh}, Inf. Comput. 88, No. 1, 60--87 (1990; Zbl 0705.68020) Full Text: DOI
Bernstein, David; Rodeh, Michael; Gertner, Izidor On the complexity of scheduling problems for parallel/pipelined machines. (English) Zbl 1395.90144 IEEE Trans. Comput. 38, No. 9, 1308-1313 (1989). MSC: 90B35 68M20 68Q25 68N25 PDFBibTeX XMLCite \textit{D. Bernstein} et al., IEEE Trans. Comput. 38, No. 9, 1308--1313 (1989; Zbl 1395.90144) Full Text: DOI
Bernstein, David; Jaffe, Jeffrey M.; Rodeh, Michael Scheduling arithmetic and load operations in parallel with no spilling. (English) Zbl 0692.68021 SIAM J. Comput. 18, No. 6, 1098-1127 (1989). MSC: 68N99 68Q25 90C39 68M20 PDFBibTeX XMLCite \textit{D. Bernstein} et al., SIAM J. Comput. 18, No. 6, 1098--1127 (1989; Zbl 0692.68021) Full Text: DOI
Bernstein, David; Rodeh, Michael; Gertner, Izidor Approximation algorithms for scheduling arithmetic expressions on pipelined machines. (English) Zbl 0685.68040 J. Algorithms 10, No. 1, 120-139 (1989). MSC: 68Q25 68M20 68N25 PDFBibTeX XMLCite \textit{D. Bernstein} et al., J. Algorithms 10, No. 1, 120--139 (1989; Zbl 0685.68040) Full Text: DOI
Itai, Alon; Rodeh, Michael The multi-tree approach to reliability in distributed networks. (English) Zbl 0655.68029 Inf. Comput. 79, No. 1, 43-59 (1988). MSC: 68N25 68R10 94C15 90B25 68W99 PDFBibTeX XMLCite \textit{A. Itai} and \textit{M. Rodeh}, Inf. Comput. 79, No. 1, 43--59 (1988; Zbl 0655.68029) Full Text: DOI
Itai, Alon; Rodeh, Michael Scheduling transmissions in a network. (English) Zbl 0576.68021 J. Algorithms 6, 409-429 (1985). MSC: 68M20 90B10 90B35 68Q25 PDFBibTeX XMLCite \textit{A. Itai} and \textit{M. Rodeh}, J. Algorithms 6, 409--429 (1985; Zbl 0576.68021) Full Text: DOI
Hartman, Alan; Rodeh, Michael Optimal parsing of strings. (English) Zbl 0575.68086 Combinatorial algorithms on words, Proc. NATO Adv. Res. Workshop, Maratea/Italy 1984, NATO ASI Ser., Ser. F 12, 155-167 (1985). MSC: 68N20 PDFBibTeX XML
Dolev, Danny; Klawe, Maria; Rodeh, Michael An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. (English) Zbl 0493.68074 J. Algorithms 3, 245-260 (1982). MSC: 68R99 68Q25 68N25 PDFBibTeX XMLCite \textit{D. Dolev} et al., J. Algorithms 3, 245--260 (1982; Zbl 0493.68074) Full Text: DOI
Francez, Nissim; Rodeh, Michael Achieving distributed termination without freezing. (English) Zbl 0478.68024 IEEE Trans. Software Eng. 8, 287-292 (1982). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{N. Francez} and \textit{M. Rodeh}, IEEE Trans. Softw. Eng. 8, 287--292 (1982; Zbl 0478.68024) Full Text: DOI
Itai, Alon; Rodeh, Michael Representation of graphs. (English) Zbl 0471.68042 Acta Inf. 17, 215-219 (1982). MSC: 68R10 68Q25 PDFBibTeX XMLCite \textit{A. Itai} and \textit{M. Rodeh}, Acta Inf. 17, 215--219 (1982; Zbl 0471.68042) Full Text: DOI
Francez, N.; Rodeh, M.; Sintzoff, M. Distributed termination with interval assertions. (English) Zbl 0474.68033 Formalization of programming concepts, Proc. int. Colloq., Peniscola/Spain 1981, Lect. Notes Comput. Sci. 107, 280-291 (1981). MSC: 68N25 PDFBibTeX XML
Steinberg, David; Rodeh, Michael A layout for the shuffle-exchange network with theta(\(N^ 2\) /log N) area. (English) Zbl 0474.68032 Inf. Process. Lett. 12, 83-88 (1981). MSC: 68N25 94C15 PDFBibTeX XMLCite \textit{D. Steinberg} and \textit{M. Rodeh}, Inf. Process. Lett. 12, 83--88 (1981; Zbl 0474.68032) Full Text: DOI
Itai, Alon; Lipton, Richard J.; Papadimitriou, Christos H.; Rodeh, M. Covering graphs by simple circuits. (English) Zbl 0468.68071 SIAM J. Comput. 10, 746-750 (1981). MSC: 68R10 05C40 05C70 05C45 PDFBibTeX XMLCite \textit{A. Itai} et al., SIAM J. Comput. 10, 746--750 (1981; Zbl 0468.68071) Full Text: DOI
Rodeh, Michael; Pratt, Vaughan R.; Even, Shimon Linear algorithm for data compression via string matching. (English) Zbl 0462.94015 J. Assoc. Comput. Mach. 28, 16-24 (1981). MSC: 94A99 68Q25 94-04 PDFBibTeX XMLCite \textit{M. Rodeh} et al., J. Assoc. Comput. Mach. 28, 16--24 (1981; Zbl 0462.94015) Full Text: DOI
Itai, Alon; Rodeh, Michael; Tanimoto, Steven L. Some matching problems for bipartite graphs. (English) Zbl 0388.68059 J. Assoc. Comput. Mach. 25, 517-525 (1978). MSC: 68R10 68Q25 15A15 PDFBibTeX XMLCite \textit{A. Itai} et al., J. Assoc. Comput. Mach. 25, 517--525 (1978; Zbl 0388.68059) Full Text: DOI
Itai, Alon; Rodeh, Michael Finding a minimum circuit in a graph. (English) Zbl 0386.68064 SIAM J. Comput. 7, 413-423 (1978). MSC: 68R10 05C35 05C38 68W99 68Q25 PDFBibTeX XMLCite \textit{A. Itai} and \textit{M. Rodeh}, SIAM J. Comput. 7, 413--423 (1978; Zbl 0386.68064) Full Text: DOI
Itai, Alon; Rodeh, Michael Covering a graph by circuits. (English) Zbl 0386.05047 Automata, languages and programming, 5th Colloq., Udine 1978, Lect. Notes Comput. Sci. 62, 289-299 (1978). MSC: 05C99 05C38 05B40 05-04 PDFBibTeX XML
Even, S.; Rodeh, M. Economical encoding of commas between strings. (English) Zbl 0371.94008 Commun. ACM 21, 315-317 (1978). MSC: 94A05 94B99 94A15 68-00 PDFBibTeX XMLCite \textit{S. Even} and \textit{M. Rodeh}, Commun. ACM 21, 315--317 (1978; Zbl 0371.94008) Full Text: DOI
Itai, Alon; Rodeh, Michael Some matching problems. (English) Zbl 0354.68066 Automata, languages and programming, 4th Colloq., Turku 1977, Lect. Notes Comput Sci. 52, 258-268 (1977). MSC: 68W99 PDFBibTeX XML