Nachum Dershowitz

	2012
161		Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich: Towards an Axiomatization of Simple Analog Algorithms. TAMC 2012: 525-536
	2011
160		Moshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz: Unsupervised Decomposition of a Document into Authorial Components. ACL 2011: 1356-1364
159		Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka: Active clustering of document fragments using information derived from both images and catalogs. ICCV 2011: 1661-1667
158		Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, Yaacov Choueka: Computerized paleography: Tools for historical manuscripts. ICIP 2011: 3545-3548
157		Nachum Dershowitz, Alexander Nadel: From Total Assignment Enumeration to Modern SAT Solver CoRR abs/1110.5867: (2011)
156		Lior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, Yaacov Choueka: Identifying Join Candidates in the Cairo Genizah. International Journal of Computer Vision 94(1): 118-135 (2011)
155		José Félix Costa, Nachum Dershowitz: Introduction. Natural Computing 10(4): 1215-1217 (2011)
	2010
154		Andreas Blass, Nachum Dershowitz, Wolfgang Reisig: Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Springer 2010
153		Andreas Blass, Nachum Dershowitz, Yuri Gurevich: Exact Exploration and Hanging Algorithms. CSL 2010: 140-154
152		Andreas Blass, Nachum Dershowitz, Wolfgang Reisig: Yuri, Logic, and Computer Science. Fields of Logic and Computation 2010: 1-48
151		Udi Boker, Nachum Dershowitz: Three Paths to Effectiveness. Fields of Logic and Computation 2010: 135-146
150		Nachum Dershowitz, Iddo Tzameret: Complexity of propositional proofs under a promise. ACM Trans. Comput. Log. 11(3): (2010)
	2009
149		Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings Springer 2009
148		Nachum Dershowitz: On Lazy Commutation. Languages: From Formal to Natural 2009: 59-82
147		Udi Boker, Nachum Dershowitz: The influence of domain interpretations on computational models. Applied Mathematics and Computation 215(4): 1323-1339 (2009)
146		Andreas Blass, Nachum Dershowitz, Yuri Gurevich: When are two algorithms the same? Bulletin of Symbolic Logic 15(2): 145-168 (2009)
145		Nachum Dershowitz, Shmuel Zaks: More Patterns in Trees: Up and Down, Young and Old, Odd and Even. SIAM J. Discrete Math. 23(1): 447-465 (2009)
	2008
144		Nachum Dershowitz, Edward M. Reingold: Calendrical calculations (3. ed.). Cambridge University Press 2008: I-XXIX, 1-479
143		Arnon Avron, Nachum Dershowitz, Alexander Rabinovich: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Springer 2008
142		Nachum Dershowitz, Claude Kirchner: SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Concurrency, Graphs and Models 2008: 194-208
141		Nachum Dershowitz: Canonicity! IJCAR 2008: 327-331
140		Maria Paola Bonacina, Nachum Dershowitz: Canonical Inference for Implicational Systems. IJCAR 2008: 380-395
139		Nachum Dershowitz: Bit Inference. PAAR/ESHOL 2008
138		Udi Boker, Nachum Dershowitz: The Church-Turing Thesis over Arbitrary Domains. Pillars of Computer Science 2008: 199-229
137		Arnon Avron, Nachum Dershowitz, Alexander Rabinovich: Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science 2008: 46-57
136		Nachum Dershowitz, Yuri Gurevich: A Natural Axiomatization of Computability and Proof of Church's Thesis. Bulletin of Symbolic Logic 14(3): 299-350 (2008)
135		Andreas Blass, Nachum Dershowitz, Yuri Gurevich: When are two algorithms the same? CoRR abs/0811.0811: (2008)
	2007
134		Nachum Dershowitz, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Springer 2007
133		Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs Under a Promise. ICALP 2007: 291-302
132		Nachum Dershowitz, Georg Moser: The Hydra Battle Revisited. Rewriting, Computation and Proof 2007: 1-27
131		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. SAT 2007: 287-293
130		Maria Paola Bonacina, Nachum Dershowitz: Abstract canonical inference. ACM Trans. Comput. Log. 8(1): (2007)
129		Nachum Dershowitz, Iddo Tzameret: Complexity of Propositional Proofs under a Promise CoRR abs/0707.4255: (2007)
128		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking CoRR abs/0710.4629: (2007)
127		Nachum Dershowitz, E. Castedo Ellerman: Leanest quasi-orderings. Inf. Comput. 205(4): 535-556 (2007)
	2006
126		Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Rings for Intersection-Based Satisfiability. LPAR 2006: 482-496
125		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. SAT 2006: 36-41
124		Udi Boker, Nachum Dershowitz: A hypercomputational alien. Applied Mathematics and Computation 178(1): 44-57 (2006)
123		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Scalable Algorithm for Minimal Unsatisfiable Core Extraction CoRR abs/cs/0605085: (2006)
122		Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang: Enumeration Problems Related to Ground Horn Theories CoRR abs/cs/0610054: (2006)
121		Udi Boker, Nachum Dershowitz: Abstract Effective Models. Electr. Notes Theor. Comput. Sci. 135(3): 15-23 (2006)
120		Udi Boker, Nachum Dershowitz: Comparing Computational Power. Logic Journal of the IGPL 14(5): 633-647 (2006)
119		Nachum Dershowitz, Claude Kirchner: Abstract canonical presentations. Theor. Comput. Sci. 357(1-3): 53-69 (2006)
	2005
118		Udi Boker, Nachum Dershowitz: How to Compare the Power of Computational Models. CiE 2005: 54-64
117		Jacob Katz, Ziyad Hanna, Nachum Dershowitz: Space-Efficient Bounded Model Checking. DATE 2005: 686-687
116		Nachum Dershowitz: The Four Sons of Penrose. LPAR 2005: 125-138
115		Nachum Dershowitz: Primitive Rewriting. Processes, Terms and Cycles 2005: 127-147
114		Nachum Dershowitz, E. Castedo Ellerman: Leanest Quasi-orderings. RTA 2005: 32-45
113		Nachum Dershowitz: Open. Closed. Open. RTA 2005: 376-393
112		Nachum Dershowitz, Ziyad Hanna, Jacob Katz: Bounded Model Checking with QBF. SAT 2005: 408-414
111		Nachum Dershowitz, Ziyad Hanna, Alexander Nadel: A Clause-Based Heuristic for SAT Solvers. SAT 2005: 46-60
110		Udi Boker, Nachum Dershowitz: Comparing Computational Power CoRR abs/cs/0510069: (2005)
109		Yulik Feldman, Nachum Dershowitz, Ziyad Hanna: Parallel Multithreaded Satisfiability Solver: Design and Implementation. Electr. Notes Theor. Comput. Sci. 128(3): 75-90 (2005)
108		Nachum Dershowitz: Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. TPLP 5(3): 395-399 (2005)
	2004
107		Nachum Dershowitz: Termination by Abstraction. ICLP 2004: 1-18
106		Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss: Boolean Ring Satisfiability. SAT 2004
105		Maria Paola Bonacina, Nachum Dershowitz: Abstract Canonical Inference CoRR cs.LO/0406030: (2004)
	2003
104		Nachum Dershowitz: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Springer 2003
103		Nachum Dershowitz, Claude Kirchner: Abstract Saturation-Based Inference. LICS 2003: 65-74
102		Nachum Dershowitz: Pæan to Zohar Manna. Verification: Theory and Practice 2003: 1-10
101		Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park: Bounded Fairness. Verification: Theory and Practice 2003: 304-317
100		Nachum Dershowitz: Ground Canonicity CoRR cs.LO/0304017: (2003)
99		Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. Electr. Notes Theor. Comput. Sci. 84: 80-90 (2003)
98		Nachum Dershowitz: Canonicity. Electr. Notes Theor. Comput. Sci. 86(1): 120-132 (2003)
	2002
97		Edward M. Reingold, Nachum Dershowitz: Calendrical calcuations - the millenium edition. Cambridge University Press 2002: I-XXXII, 1-422
	2001
96		Nachum Dershowitz, David A. Plaisted: Rewriting. Handbook of Automated Reasoning 2001: 535-610
95		Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 117-156 (2001)
	2000
94		Nachum Dershowitz: Artificial intelligence: Retrospective/prospective. Ann. Math. Artif. Intell. 28(1-4): 3-5 (2000)
93		Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR cs.PL/0011036: (2000)
92		Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs CoRR cs.PL/0012008: (2000)
91		Naomi Lindenstrauss, Nachum Dershowitz: Abstract and-parallel Machines. Computers and Artificial Intelligence 19(5): (2000)
	1999
90		Nachum Dershowitz, Subrata Mitra: Jeopardy. RTA 1999: 16-29
89		Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): 39-58 (1999)
	1998
88		Nachum Dershowitz, Ralf Treinen: An On-line Problem Database. RTA 1998: 332-342
	1997
87		Nachum Dershowitz, Naomi Lindenstrauss: Abstract And-Parallel Machines. Euro-Par 1997: 1221-1225
86		Nachum Dershowitz: When are Two Rewrite Systems More than None? MFCS 1997: 37-43
85		Nachum Dershowitz: Innocuous Constructor-Sharing Combinations. RTA 1997: 202-216
	1995
84		Nachum Dershowitz, Naomi Lindenstrauss: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings Springer 1995
83		Nachum Dershowitz: Goal Solving as Operational Semantics. ILPS 1995: 3-17
82		Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop: Problems in Rewriting III. RTA 1995: 457-471
81		Nachum Dershowitz, Charles Hoot: Natural Termination. Theor. Comput. Sci. 142(2): 179-207 (1995)
	1994
80		Nachum Dershowitz: From Specifications to Programs: Induction in the Service of Synthesis (Abstract). AII/ALT 1994: 6-7
79		Nachum Dershowitz: Hierachical Termination. CTRS 1994: 89-105
78		Leo Bachmair, Nachum Dershowitz: Equational Inference, Canonical Proofs, and Proof Orderings. J. ACM 41(2): 236-276 (1994)
	1993
77		Yuh-Jeng Lee, Nachum Dershowitz: Debugging Logic Programs Using Specifications. AADEBUG 1993: 75-84
76		Nachum Dershowitz, Subrata Mitra: Higher-Order and Semantic Unification. FSTTCS 1993: 139-150
75		Nachum Dershowitz: A Taste of Rewrite Systems. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 199-228
74		Nachum Dershowitz, Charles Hoot: Topics in Termination. RTA 1993: 198-212
73		Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop: More Problems in Rewriting. RTA 1993: 468-487
72		Nachum Dershowitz: Trees, Ordinals and Termination. TAPSOFT 1993: 243-250
71		Nachum Dershowitz: Examples of Termination. Term Rewriting 1993: 16-26
70		Nachum Dershowitz, Uday S. Reddy: Deductive and Inductive Synthesis of Equational Programs. J. Symb. Comput. 15(5/6): 467-494 (1993)
69		Nachum Dershowitz, Yuh-Jeng Lee: Logical Debugging. J. Symb. Comput. 15(5/6): 745-773 (1993)
68		Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen: Calendrical Calculations, II: Three Historical Calendars. Softw., Pract. Exper. 23(4): 383-404 (1993)
	1992
67		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Decidable Matching for Convergent Systems (Preliminary Version). CADE 1992: 589-602
66		Nachum Dershowitz, Subrata Mitra: Path Orderings for Termination of Associative-Commutative Rewriting. CTRS 1992: 168-174
65		Nachum Dershowitz: Semigroups Satisfying xm+n = xn. CTRS 1992: 307-314
64		Nachum Dershowitz, Edward M. Reingold: Ordinal Arithmetic with List Structures. LFCS 1992: 117-126
	1991
63		Nachum Dershowitz: Cononical Sets of Horn Clauses. ICALP 1991: 267-278
62		Nachum Dershowitz: Ordering-Based Strategies for Horn Clauses. IJCAI 1991: 118-125
61		Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop: Open Problems in Rewriting. RTA 1991: 445-456
60		Nachum Dershowitz, Jean-Pierre Jouannaud: Notations for Rewting. Bulletin of the EATCS 43: 162-174 (1991)
59		Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Theor. Comput. Sci. 83(1): 71-96 (1991)
	1990
58		Nachum Dershowitz, Eli Pinchover: Inductive Synthesis of Equational Programs. AAAI 1990: 234-239
57		Nachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297
56		Nachum Dershowitz, Naomi Lindenstrauss: An Abstract Concurrent Machine for Rewriting. ALP 1990: 318-331
55		Nachum Dershowitz: A Maximal-Literal Unit Strategy for Horn Clauses. CTRS 1990: 14-25
54		Nachum Dershowitz, Jean-Pierre Jouannaud: Rewrite Systems. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 243-320
53		Nachum Dershowitz, Edward M. Reingold: Calendrical Calculations. Softw., Pract. Exper. 20(9): 899-928 (1990)
52		Nachum Dershowitz, Mitsuhiro Okada: A Rationale for Conditional Equational Programming. Theor. Comput. Sci. 75(1&2): 111-138 (1990)
	1989
51		Nachum Dershowitz: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings Springer 1989
50		Nachum Dershowitz, Hon Wai Leong: Fast Exchange Sorts. FODO 1989: 102-113
49		Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted: Infinite Normal Forms (Preliminary Version). ICALP 1989: 249-262
48		Nachum Dershowitz, Naomi Lindenstrauss: Average Time Analyses Related to Logic Programming. ICLP 1989: 369-381
47		Nachum Dershowitz, Stéphane Kaplan: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. POPL 1989: 250-259
46		Nachum Dershowitz, Shmuel Zaks: Patterns in trees. Discrete Applied Mathematics 25(3): 241-255 (1989)
45		N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing. J. Log. Program. 6(1&2): 57-77 (1989)
44		Leo Bachmair, Nachum Dershowitz: Completion for Rewriting Modulo a Congruence. Theor. Comput. Sci. 67(2&3): 173-201 (1989)
	1988
43		Nachum Dershowitz, G. Sivakumar: Goal-Directed Equation Solving. AAAI 1988: 166-170
42		Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Canonical Conditional Rewrite Systems. CADE 1988: 538-549
41		Nachum Dershowitz, Mitsuhiro Okada: Conditional Equational Programming and the Theory of Conditional Term Rewriting. FGCS 1988: 337-346
40		Nachum Dershowitz, Mitsuhiro Okada: Proof-Theoretic Techniques for Term Rewriting Theory LICS 1988: 104-111
39		Leo Bachmair, Nachum Dershowitz: Critical Pair Criteria for Completion. J. Symb. Comput. 6(1): 1-18 (1988)
38		Nachum Dershowitz, Leo Marcus, Andrzej Tarlecki: Existence, Uniqueness, and Construction of Rewrite Systems. SIAM J. Comput. 17(4): 629-639 (1988)
	1987
37		Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar: Confluence of Conditional Rewrite Systems. CTRS 1987: 31-44
36		Nachum Dershowitz, G. Sivakumar: Solving Goals in Equational Languages. CTRS 1987: 45-55
35		Leo Bachmair, Nachum Dershowitz: A critical pair criterion for completion modulo a congruence. EUROCAL 1987: 452-453
34		Leo Bachmair, Nachum Dershowitz: Inference Rules for Rewrite-Based First-Order Theorem Proving LICS 1987: 331-337
33		Leo Bachmair, Nachum Dershowitz: Completion for Rewriting Modulo a Congruence. RTA 1987: 192-203
32		Nachum Dershowitz, Yuh-Jeng Lee: Deductive Debugging. SLP 1987: 298-306
31		Nachum Dershowitz: Termination of Rewriting. J. Symb. Comput. 3(1/2): 69-116 (1987)
	1986
30		Leo Bachmair, Nachum Dershowitz: Commutation, Transformation, and Termination. CADE 1986: 5-20
29		Leo Bachmair, Nachum Dershowitz, Jieh Hsiang: Orderings for Equational Proofs LICS 1986: 346-357
28		N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing: The RITE Way. SLP 1986: 187-197
27		Nachum Dershowitz, Shmuel Zaks: Ordered trees and non-crossing partitions. Discrete Mathematics 62(2): 215-218 (1986)
	1985
26		Nachum Dershowitz: Synthesis by Completion. IJCAI 1985: 208-214
25		Nachum Dershowitz: Termination. RTA 1985: 180-224
24		Nachum Dershowitz, David A. Plaisted: Logic Programming cum Applicative Programming. SLP 1985: 54-66
23		Nachum Dershowitz: Program Abstraction and Instantiation. ACM Trans. Program. Lang. Syst. 7(3): 446-477 (1985)
22		Nachum Dershowitz: Synthetic Programming. Artif. Intell. 25(3): 323-373 (1985)
21		Nachum Dershowitz: Computing with Rewrite Systems Information and Control 65(2/3): 122-157 (1985)
	1984
20		Nachum Dershowitz, Shmuel Zaks: Patterns in Trees. CAAP 1984: 93-102
19		Nachum Dershowitz, N. Alan Josephson: Logic Programming by Completion. ICLP 1984: 313-320
	1983
18		Jieh Hsiang, Nachum Dershowitz: Rewrite Methods for Clausal and Non-Clausal Theorem Proving. ICALP 1983: 331-346
17		Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted: Associative-Commutative Rewriting. IJCAI 1983: 940-944
	1982
16		Nachum Dershowitz: Orderings for Term-Rewriting Systems. Theor. Comput. Sci. 17: 279-301 (1982)
	1981
15		Nachum Dershowitz, Shmuel Zaks: Applied Tree Enumerations. CAAP 1981: 180-193
14		Nachum Dershowitz: Termination of Linear Rewriting Systems (Preliminary Version). ICALP 1981: 448-458
13		Nachum Dershowitz: The Evolution of Programs: Program Abstraction and Instantiation. ICSE 1981: 79-89
12		Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. IEEE Trans. Software Eng. 7(2): 207-222 (1981)
	1980
11		Nachum Dershowitz, Shmuel Zaks: Enumerations of ordered trees. Discrete Mathematics 31(1): 9-28 (1980)
10		Nachum Dershowitz: The Schorr-Waite Marking Algorithm Revisited. Inf. Process. Lett. 11(3): 141-143 (1980)
	1979
9		Nachum Dershowitz: Orderings for Term-Rewriting Systems FOCS 1979: 123-131
8		Nachum Dershowitz, Zohar Manna: Proving termination with Multiset Orderings. ICALP 1979: 188-202
7		Nachum Dershowitz, Zohar Manna: Proving Termination with Multiset Orderings. Commun. ACM 22(8): 465-476 (1979)
6		Nachum Dershowitz: A Note on Simplification Orderings. Inf. Process. Lett. 9(5): 212-215 (1979)
	1978
5		Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. ICSE 1978: 158-167
4		R. Attar, Yaacov Choueka, Nachum Dershowitz, Aviezri S. Fraenkel: KEDMA - Linguistic Tools for Retrieval Systems. J. ACM 25(1): 52-66 (1978)
	1977
3		Nachum Dershowitz: Automatic Program Annotation. IJCAI 1977: 378
2		Nachum Dershowitz, Zohar Manna: The Evolution of Programs: A System for Automatic Program Modification. POPL 1977: 144-154
1		Nachum Dershowitz, Zohar Manna: The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. 3(6): 377-385 (1977)

Coauthor Index

1	Navot Akiva	[160]
2	R. Attar	[4]
3	Arnon Avron	[137] [143]
4	Leo Bachmair	[29] [30] [33] [34] [35] [39] [44] [78]
5	Andreas Blass	[135] [146] [152] [153] [154]
6	Udi Boker	[110] [118] [120] [121] [124] [138] [147] [151]
7	Maria Paola Bonacina	[105] [130] [140]
8	Olivier Bournez	[161]
9	Cristian S. Calude (Cristian Calude)	[149]
10	Yaacov Choueka	[4] [156] [158] [159]
11	Stewart M. Clamen	[68]
12	José Félix Costa	[149] [155]
13	Idan Dershowitz	[160]
14	E. Castedo Ellerman	[114] [127]
15	Evgenia Falkovich	[161]
16	Yulik Feldman	[109]
17	Aviezri S. Fraenkel	[4]
18	Elisabete Freire	[149]
19	Tanya German	[156]
20	Yuri Gurevich	[135] [136] [146] [153]
21	Ziyad Hanna	[109] [111] [112] [117] [123] [125] [128] [131]
22	Mitchell A. Harris	[122]
23	Charles Hoot	[74] [81]
24	Jieh Hsiang	[17] [18] [29] [106] [126]
25	Guan-Shieng Huang	[106] [122] [126]
26	D. N. Jayasimha	[101]
27	N. Alan Josephson	[17] [19] [28] [45]
28	Jean-Pierre Jouannaud	[54] [60] [61] [73] [82]
29	Daher Kaiss	[106] [126]
30	Stéphane Kaplan	[47] [49] [59]
31	Jacob Katz	[112] [117] [128]
32	Claude Kirchner	[103] [119] [142]
33	Jan Willem Klop	[61] [73] [82]
34	Moshe Koppel	[160]
35	Yuh-Jeng Lee	[32] [69] [77]
36	Hon Wai Leong (Hon-Wai Leong)	[50]
37	Naomi Lindenstrauss	[48] [56] [84] [87] [89] [91] [92] [93] [95]
38	Rotem Littman	[156]
39	Lior Litwak	[159]
40	Zohar Manna	[1] [2] [5] [7] [8] [12]
41	Leo Marcus	[38]
42	Naama Mayer	[156]
43	Subrata Mitra	[57] [66] [67] [76] [90]
44	Georg Moser	[132]
45	Alexander Nadel	[111] [123] [125] [131] [157]
46	Mitsuhiro Okada	[37] [40] [41] [42] [52]
47	Seungjoon Park	[101]
48	Eli Pinchover	[58]
49	David A. Plaisted	[17] [24] [49] [59] [96]
50	Liza Potikha	[158]
51	Alexander Moshe Rabinovich (Alexander Rabinovich)	[137] [143]
52	Uday S. Reddy	[70]
53	Edward M. Reingold	[53] [64] [68] [97] [144]
54	Wolfgang Reisig	[152] [154]
55	Grzegorz Rozenberg	[149]
56	Yehoshua Sagiv	[89] [92] [93] [95]
57	Alexander Serebrenik	[89] [92] [93] [95]
58	Roni Shweka	[156] [158] [159]
59	G. Sivakumar	[36] [37] [42] [43] [57] [67]
60	Andrzej Tarlecki	[38]
61	Ralf Treinen	[88]
62	Iddo Tzameret	[99] [129] [133] [150]
63	Andrei Voronkov	[134]
64	Lior Wolf	[156] [158] [159]
65	Shmuel Zaks	[11] [15] [20] [27] [46] [145]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page