| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Zohar Manna Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006 : 537-551 Sriram Sankaranarayanan , Michael Colón , Henny B. Sipma , Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006 : 111-125 Aaron R. Bradley , Zohar Manna, Henny B. Sipma : What's Decidable About Arrays? VMCAI 2006 : 427-442 Aaron R. Bradley , Zohar Manna: Termination and Invariance Analysis of Loops. ATVA 2005 : 2 Ting Zhang , Henny B. Sipma , Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005 : 131-148 César Sánchez , Henny B. Sipma , Matteo Slanina , Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005 : 364-378 Aaron R. Bradley , Zohar Manna, Henny B. Sipma : Linear Ranking with Reachability. CAV 2005 : 491-504 Aaron R. Bradley , Zohar Manna, Henny B. Sipma : Termination Analysis of Integer Linear Loops. CONCUR 2005 : 488-502 César Sánchez , Henny B. Sipma , Venkita Subramonian , Christopher D. Gill , Zohar Manna: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005 : 159-173 César Sánchez , Matteo Slanina , Henny B. Sipma , Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005 : 529-532 Ting Zhang , Henny B. Sipma , Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005 : 225-237 Aaron R. Bradley , Zohar Manna, Henny B. Sipma : The Polyranking Principle. ICALP 2005 : 1349-1361 Ben D'Angelo , Sriram Sankaranarayanan , César Sánchez , Will Robinson , Bernd Finkbeiner , Henny B. Sipma , Sandeep Mehrotra , Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005 : 166-174 Aaron R. Bradley , Zohar Manna, Henny B. Sipma : Termination of Polynomial Programs. VMCAI 2005 : 113-129 Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005 : 25-41 Sriram Sankaranarayanan , Henny Sipma , Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004 : 539-554 Ting Zhang , Henny B. Sipma , Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004 : 152-167 Sriram Sankaranarayanan , Henny Sipma , Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004 : 318-329 Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004 : 53-68 Ting Zhang , Henny B. Sipma , Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004 : 321-336 César Sánchez , Sriram Sankaranarayanan , Henny Sipma , Ting Zhang , David L. Dill , Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003 : 323-339 Sriram Sankaranarayanan , Henny Sipma , Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003 : 682-701 Zohar Manna, Calogero G. Zarba : Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002 : 381-422 Nikolaj Bjørner , Zohar Manna, Henny Sipma , Tomás E. Uribe : Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253 (1): 27-60 (2001) Zohar Manna, Henny Sipma : Alternating the Temporal Picture for Safety. ICALP 2000 : 429-450 Yonit Kesten , Zohar Manna, Amir Pnueli : Verification of Clocked and Hybrid Systems. Acta Inf. 36 (11): 837-912 (2000) Anca Browne , Bernd Finkbeiner , Zohar Manna, Henny Sipma : The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12 (4): 218-219 (2000) Nikolaj Bjørner , Anca Browne , Michael Colón , Bernd Finkbeiner , Zohar Manna, Henny Sipma , Tomás E. Uribe : Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16 (3): 227-270 (2000) Zohar Manna, Henny Sipma : Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999 : 25-41 Zohar Manna: Visual Verification of Temporal Properties. TIME 1999 : 6 Henny Sipma , Tomás E. Uribe , Zohar Manna: Deductive Model Checking. Formal Methods in System Design 15 (1): 49-74 (1999) Zohar Manna, Anca Browne , Henny Sipma , Tomás E. Uribe : Visual Abstractions for Temporal Verification. AMAST 1998 : 28-41 Zohar Manna, Henny Sipma : Deductive Verification of Hybrid Systems Using STeP. HSCC 1998 : 305-318 Zohar Manna: Verification of Progress Properties. APPIA-GULP-PRODE 1997 : 345-346 Nikolaj Bjørner , Zohar Manna, Henny Sipma , Tomás E. Uribe : Deductive Verification of Real-Time Systems Using STeP. ARTS 1997 : 22-43 Bernd Finkbeiner , Zohar Manna, Henny Sipma : Deductive Verification of Modular Systems. COMPOS 1997 : 239-275 Zohar Manna, Michael Colón , Bernd Finkbeiner , Henny Sipma , Tomás E. Uribe : Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997 : 273-292 Luca de Alfaro , Arjun Kapur , Zohar Manna: Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997 : 153-164 Luca de Alfaro , Zohar Manna: Visual Verification of Reactive Systems. TACAS 1997 : 334-350 Nikolaj Bjørner , Anca Browne , Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173 (1): 49-87 (1997) Anca Browne , Zohar Manna, Henny Sipma : Hierarchical Verification Using Verification Diagrams. ASIAN 1996 : 276-286 Henny Sipma , Tomás E. Uribe , Zohar Manna: Deductive Model Checking. CAV 1996 : 208-219 Luca de Alfaro , Zohar Manna: Temporal Verification by Diagram Transformations. CAV 1996 : 288-299 Nikolaj Bjørner , Anca Browne , Edward Y. Chang , Michael Colón , Arjun Kapur , Zohar Manna, Henny Sipma , Tomás E. Uribe : STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996 : 415-418 Yonit Kesten , Zohar Manna, Amir Pnueli : Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996 : 4-73 Luca de Alfaro , Zohar Manna: Verification in Continuous Time by Discrete Reasoning. AMAST 1995 : 292-306 Nikolaj Bjørner , Anca Browne , Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995 : 589-623 Anca Browne , Zohar Manna, Henny Sipma : Generalized Temporal Verification Diagrams. FSTTCS 1995 : 484-498 Yonit Kesten , Zohar Manna, Amir Pnueli : Verifying Clocked Transition Systems. Hybrid Systems 1995 : 13-40 Zohar Manna, Nikolaj Bjørner , Anca Browne , Edward Y. Chang , Michael Colón , Luca de Alfaro , Harish Devarajan , Arjun Kapur , Jaejin Lee , Henny Sipma , Tomás E. Uribe : STeP: The Stanford Temporal Prover. TAPSOFT 1995 : 793-794 Zohar Manna, Massimo Paltrinieri , Richard J. Waldinger : A Temporal Plan Theory. WOCFAI 1995 : 253-261 Anuchit Anuchitanukul , Zohar Manna, Tomás E. Uribe : Differential BDDs. Computer Science Today 1995 : 218-233 Anuchit Anuchitanukul , Zohar Manna: Realizability and Synthesis of Reactive Modules. CAV 1994 : 156-168 Zohar Manna: Beyond Model Checking. CAV 1994 : 220-221 Arjun Kapur , Thomas A. Henzinger , Zohar Manna, Amir Pnueli : Prooving Safety Properties of Hybrid Systems. FTRTFT 1994 : 431-454 Henny Sipma , Zohar Manna: Specification and Verification of Controlled Systems. FTRTFT 1994 : 641-659 Hugh McGuire , Zohar Manna, Richard J. Waldinger : Annotation-Based Deduction in Temporal Logic. ICTL 1994 : 430-444 Edward Y. Chang , Zohar Manna, Amir Pnueli : Compositional Verification of Real-Time Systems LICS 1994 : 458-465 Zohar Manna, Amir Pnueli : Temporal Verification Diagrams. TACS 1994 : 726-765 Thomas A. Henzinger , Zohar Manna, Amir Pnueli : Temporal Proof Methodologies for Timed Transition Systems Inf. Comput. 112 (2): 273-337 (1994) Yonit Kesten , Zohar Manna, Hugh McGuire , Amir Pnueli : A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993 : 97-109 Yonit Kesten , Zohar Manna, Amir Pnueli : Temporal Verification of Simulation and Refinement. REX School/Symposium 1993 : 273-346 Zohar Manna, Amir Pnueli : Models for Reactivity. Acta Inf. 30 (7): 609-678 (1993) Zohar Manna, Amir Pnueli : Time for Concurrency. 25th Anniversary of INRIA 1992 : 129-153 Zohar Manna, Richard J. Waldinger : The Special-Relation Rules are Incomplete. CADE 1992 : 492-506 Zohar Manna, Amir Pnueli : Verifying Hybrid Systems. Hybrid Systems 1992 : 4-35 Thomas A. Henzinger , Zohar Manna, Amir Pnueli : Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992 : 60-76 Edward Y. Chang , Zohar Manna, Amir Pnueli : Characterization of Temporal Property Classes. ICALP 1992 : 474-486 Thomas A. Henzinger , Zohar Manna, Amir Pnueli : What Good Are Digital Clocks? ICALP 1992 : 545-558 Zohar Manna, Richard J. Waldinger : Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18 (8): 674-704 (1992) Zohar Manna, Amir Pnueli : On the Faithfulness of Formal Models. MFCS 1991 : 28-42 Thomas A. Henzinger , Zohar Manna, Amir Pnueli : Temporal Proof Methodologies for Real-time Systems. POPL 1991 : 353-366 Thomas A. Henzinger , Zohar Manna, Amir Pnueli : Timed Transition Systems. REX Workshop 1991 : 226-251 Oded Maler , Zohar Manna, Amir Pnueli : From Timed to Hybrid Systems. REX Workshop 1991 : 447-484 Zohar Manna, Amir Pnueli : Completing the Temporal Picture. Theor. Comput. Sci. 83 (1): 91-130 (1991) Zohar Manna, Amir Pnueli : A Hierarchy of Temporal Properties. PODC 1990 : 377-410 Martín Abadi , Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic J. ACM 37 (2): 279-317 (1990) Zohar Manna, Amir Pnueli : Completing the Temporal Picture. ICALP 1989 : 534-558 Martín Abadi , Zohar Manna: Temporal Logic Programming. J. Symb. Comput. 8 (3): 277-295 (1989) Zohar Manna, Amir Pnueli : The anchored version of the temporal framework. REX Workshop 1988 : 201-284 Zohar Manna, Richard J. Waldinger : The Deductive Synthesis of Imperative LISP Programs. AAAI 1987 : 155-160 Zohar Manna, Amir Pnueli : A Hierarchy of Temporal Properties (Abstract). PODC 1987 : 205 Zohar Manna, Amir Pnueli : Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987 : 1-12 Martín Abadi , Zohar Manna: Temporal Logic Programming. SLP 1987 : 4-16 Zohar Manna, Amir Pnueli : Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification 1987 : 124-164 Zohar Manna, Richard J. Waldinger : How to Clear a Block: A Theory of Plans. J. Autom. Reasoning 3 (4): 343-377 (1987) Zohar Manna, Richard J. Waldinger : The Origin of a Binary-Search Paradigm. Sci. Comput. Program. 9 (1): 37-83 (1987) Martín Abadi , Zohar Manna: Modal Theorem Proving. CADE 1986 : 172-189 Zohar Manna, Richard J. Waldinger : How to Clear a Block: Plan Formation in Situational Logic. CADE 1986 : 622-640 Martín Abadi , Zohar Manna: A Timely Resolution LICS 1986 : 176-186 Bengt Jonsson , Zohar Manna, Richard J. Waldinger : Towards Deductive Synthesis of Dataflow Networks LICS 1986 : 26-37 Yonathan Malachi , Zohar Manna, Richard J. Waldinger : TABLOG: A New Approach To Logic Programming. Logic Programming: Functions, Relations, and Equations 1986 : 365-394 Yonathan Malachi , Zohar Manna, Richard J. Waldinger : Tablog: Functional and Relational Programming in One Framework. IEEE Software 3 (1): 75-76 (1986) Zohar Manna, Richard J. Waldinger : Special relations in automated deduction. J. ACM 33 (1): 1-59 (1986) Zohar Manna, Richard J. Waldinger : Deduction with Relation Matching. FSTTCS 1985 : 212-224 Zohar Manna, Richard J. Waldinger : Special Relations in Automated Deduction. ICALP 1985 : 413-423 Zohar Manna, Richard J. Waldinger : The Origin of the Binary-Search Paradigm. IJCAI 1985 : 222-224 Martín Abadi , Zohar Manna: Nonclausal Temporal Deduction. Logic of Programs 1985 : 1-15 Yonathan Malachi , Zohar Manna, Richard J. Waldinger : TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming 1984 : 323-330 Zohar Manna, Pierre Wolper : Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6 (1): 68-93 (1984) Zohar Manna, Amir Pnueli : Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. Sci. Comput. Program. 4 (3): 257-289 (1984) Joseph Y. Halpern , Zohar Manna, Ben C. Moszkowski : A Hardware Semantics Based on Temporal Intervals. ICALP 1983 : 278-291 Zohar Manna, Amir Pnueli : Proving Precedence Properties: The Temporal Way. ICALP 1983 : 491-512 Ben Maszkowski , Zohar Manna: Reasoning in Interval Temporal Logic. Logic of Programs 1983 : 371-382 Zohar Manna, Amir Pnueli : How to Cook a Temporal Proof System for Your Pet Language. POPL 1983 : 141-154 Mordechai Ben-Ari , Amir Pnueli , Zohar Manna: The Temporal Logic of Branching Time. Acta Inf. 20 : 207-226 (1983) Zohar Manna, Amir Pnueli : Verification of Concurrent Programs: Temporal Proof Principles. Logic of Programs 1981 : 200-252 Zohar Manna, Pierre Wolper : Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs 1981 : 253-281 Mordechai Ben-Ari , Zohar Manna, Amir Pnueli : The Temporal Logic of Branching Time. POPL 1981 : 164-176 Zohar Manna, Richard J. Waldinger : Problematic Features of Programming Languages: A Situational-Calculus Approach. Acta Inf. 16 : 371-426 (1981) Nachum Dershowitz , Zohar Manna: Inference Rules for Program Annotation. IEEE Trans. Software Eng. 7 (2): 207-222 (1981) Zohar Manna: Deductive Synthesis of the Unification Algorithm. Sci. Comput. Program. 1 (1-2): 5-48 (1981) Zohar Manna: Logics of Programs. IFIP Congress 1980 : 41-51 Zohar Manna, Amir Pnueli : Synchronous Schemes and Their Decision Problems. POPL 1980 : 62-67 Zohar Manna, Richard J. Waldinger : A Deductive Approach to Program Synthesis. ACM Trans. Program. Lang. Syst. 2 (1): 90-121 (1980) Nachum Dershowitz , Zohar Manna: Proving termination with Multiset Orderings. ICALP 1979 : 188-202 Zohar Manna, Amir Pnueli : The Modal Logic of Programs. ICALP 1979 : 385-409 Nachum Dershowitz , Zohar Manna: Proving Termination with Multiset Orderings. Commun. ACM 22 (8): 465-476 (1979) Zohar Manna, Richard J. Waldinger : Synthesis: Dreams - Programs. IEEE Trans. Software Eng. 5 (4): 294-328 (1979) Nachum Dershowitz , Zohar Manna: Inference Rules for Program Annotation. ICSE 1978 : 158-167 Zohar Manna, Richard J. Waldinger : The Synthesis of Structure Changing Programs. ICSE 1978 : 175-187 Zohar Manna, Richard J. Waldinger : Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness). Commun. ACM 21 (2): 159-172 (1978) Zohar Manna, Richard J. Waldinger : The Logic of Computer Programming. IEEE Trans. Software Eng. 4 (3): 199-229 (1978) Zohar Manna, Adi Shamir : The Convergence of Functions to Fixedpoints of Recursive Definitions. Theor. Comput. Sci. 6 : 109-141 (1978) Zohar Manna, Richard J. Waldinger : The Automatic Synthesis of Systems of Recursive Programs. IJCAI 1977 : 405-411 Nachum Dershowitz , Zohar Manna: The Evolution of Programs: A System for Automatic Program Modification. POPL 1977 : 144-154 Zohar Manna, Adi Shamir : The Optimal Approach to Recursive Programs. Commun. ACM 20 (11): 824-831 (1977) Nachum Dershowitz , Zohar Manna: The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. 3 (6): 377-385 (1977) Zohar Manna, Richard J. Waldinger : Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. ICSE 1976 : 32-39 Shmuel Katz , Zohar Manna: Logical Analysis of Programs. Commun. ACM 19 (4): 188-206 (1976) Ashok K. Chandra , Zohar Manna: On the Power of Programming Features. Comput. Lang. 1 (3): 219-232 (1976) Zohar Manna, Adi Shamir : The Theoretical Aspects of the Optimal Fixed Point. SIAM J. Comput. 5 (3): 414-426 (1976) Richard J. Waldinger , Zohar Manna: Knowledge and Reasoning in Program Synthesis. IJCAI 1975 : 288-295 Zohar Manna, Adi Shamir : The Optimal Fixedpoint of Recursive Programs STOC 1975 : 194-206 Shmuel Katz , Zohar Manna: A Closer Look at Termination Acta Inf. 5 : 333-352 (1975) Zohar Manna, Richard J. Waldinger : Knowledge and Reasoning in Program Synthesis. Artif. Intell. 6 (2): 175-208 (1975) Edward A. Ashcroft , Zohar Manna: Translating Program Schemas to While-Schemes. SIAM J. Comput. 4 (2): 125-146 (1975) Zohar Manna: Knowledge and Reasoning in Program Synthesis. Programming Methodology 1974 : 236-277 Zohar Manna, Amir Pnueli : Axiomatic Approach to Total Correctness of Programs Acta Inf. 3 : 243-263 (1974) Shmuel Katz , Zohar Manna: A Heuristic Approach to Program Verification. IJCAI 1973 : 500-512 Zohar Manna, Stephen Nes , Jean Vuillemin : Inductive Methods for Proving Properties of Programs. Commun. ACM 16 (8): 491-502 (1973) Edward A. Ashcroft , Zohar Manna, Amir Pnueli : Decidable Properties of Monadic Functional Schemas. J. ACM 20 (3): 489-499 (1973) Zohar Manna, Jean Vuillemin : Fixpoint Approach to the Theory of Computation. ICALP 1972 : 273-291 Ashok K. Chandra , Zohar Manna: Program Schemas with Equality STOC 1972 : 52-64 Zohar Manna, Jean Vuillemin : Fix Point Approach to the Theory of Computation. Commun. ACM 15 (7): 528-536 (1972) Edward A. Ashcroft , Zohar Manna: The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) 1971 : 250-255 Zohar Manna, Richard J. Waldinger : Toward Automatic Program Synthesis. Commun. ACM 14 (3): 151-165 (1971) Zohar Manna: Mathematical Theory of Partial Correctness. J. Comput. Syst. Sci. 5 (3): 239-253 (1971) Zohar Manna: Second-Order Mathematical Theory of Computation STOC 1970 : 158-168 Zohar Manna: The Correctness of Nondeterministic Programs. Artif. Intell. 1 (1/2): 1-26 (1970) Zohar Manna, Amir Pnueli : Formalization of Properties of Functional Programs. J. ACM 17 (3): 555-569 (1970) Zohar Manna, Amir Pnueli : Formalization of Properties of Recursively Defined Functions STOC 1969 : 201-210 Zohar Manna: Properties of Programs and the First-Order Predicate Calculus. J. ACM 16 (2): 244-255 (1969) Zohar Manna: The Correctness of Programs. J. Comput. Syst. Sci. 3 (2): 119-127 (1969) 1 [ 57 ] [ 65 ] [ 67 ] [ 71 ] [ 76 ] [ 78 ] 2 [ 105 ] [ 109 ] [ 112 ] [ 116 ] [ 117 ] 3 [ 102 ] [ 103 ] 4 [ 9 ] [ 13 ] [ 18 ] 5 [ 46 ] [ 49 ] 6 [ 105 ] [ 108 ] [ 111 ] [ 115 ] [ 120 ] [ 127 ] [ 131 ] 7 [ 141 ] [ 143 ] [ 147 ] [ 148 ] [ 151 ] [ 152 ] 8 [ 105 ] [ 107 ] [ 108 ] [ 111 ] [ 114 ] [ 115 ] [ 123 ] [ 127 ] [ 128 ] 9 [ 11 ] [ 24 ] 10 [ 87 ] [ 97 ] [ 105 ] [ 111 ] 11 [ 105 ] [ 111 ] [ 118 ] [ 127 ] [ 153 ] 12 [ 142 ] 13 [ 27 ] [ 29 ] [ 35 ] [ 37 ] [ 39 ] [ 44 ] 14 [ 105 ] 15 [ 134 ] 16 [ 118 ] [ 119 ] [ 127 ] [ 128 ] [ 142 ] 17 [ 146 ] 18 [ 53 ] 19 [ 82 ] [ 83 ] [ 86 ] [ 88 ] [ 95 ] [ 100 ] 20 [ 64 ] 21 [ 100 ] [ 105 ] [ 111 ] [ 117 ] 22 [ 15 ] [ 20 ] [ 25 ] 23 [ 93 ] [ 94 ] [ 106 ] [ 110 ] [ 129 ] 24 [ 105 ] 25 [ 56 ] [ 62 ] [ 63 ] 26 [ 81 ] 27 [ 51 ] 28 [ 94 ] [ 98 ] 29 [ 142 ] 30 [ 53 ] 31 [ 14 ] 32 [ 104 ] 33 [ 3 ] [ 4 ] [ 13 ] [ 16 ] [ 38 ] [ 41 ] [ 46 ] [ 48 ] [ 49 ] [ 50 ] [ 52 ] [ 54 ] [ 70 ] [ 72 ] [ 73 ] [ 75 ] [ 77 ] [ 79 ] [ 80 ] [ 81 ] [ 82 ] [ 83 ] [ 84 ] [ 86 ] [ 87 ] [ 88 ] [ 89 ] [ 91 ] [ 92 ] [ 93 ] [ 94 ] [ 95 ] [ 96 ] [ 97 ] [ 100 ] [ 106 ] [ 110 ] [ 129 ] 34 [ 142 ] 35 [ 134 ] [ 142 ] [ 145 ] [ 146 ] [ 149 ] 36 [ 133 ] [ 134 ] [ 136 ] [ 137 ] [ 139 ] [ 140 ] [ 142 ] [ 153 ] [ 154 ] 37 [ 21 ] [ 23 ] [ 28 ] [ 31 ] 38 [ 99 ] [ 105 ] [ 107 ] [ 111 ] [ 113 ] [ 114 ] [ 118 ] [ 119 ] [ 120 ] [ 122 ] [ 123 ] [ 124 ] [ 126 ] [ 127 ] [ 128 ] [ 130 ] [ 131 ] [ 133 ] [ 134 ] [ 135 ] [ 136 ] [ 137 ] [ 138 ] [ 139 ] [ 140 ] [ 141 ] [ 142 ] [ 143 ] [ 144 ] [ 145 ] [ 146 ] [ 147 ] [ 148 ] [ 149 ] [ 150 ] [ 152 ] [ 153 ] [ 154 ] 39 [ 145 ] [ 149 ] 40 [ 146 ] 41 [ 103 ] [ 105 ] [ 111 ] [ 113 ] [ 118 ] [ 120 ] [ 123 ] [ 124 ] [ 127 ] [ 131 ] 42 [ 10 ] [ 12 ] [ 14 ] 43 [ 8 ] [ 19 ] [ 22 ] [ 26 ] [ 30 ] [ 32 ] [ 33 ] [ 34 ] [ 36 ] [ 40 ] [ 45 ] [ 56 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] [ 64 ] [ 66 ] [ 68 ] [ 69 ] [ 74 ] [ 85 ] [ 90 ] [ 98 ] [ 104 ] 44 [ 47 ] [ 55 ] 45 [ 132 ] 46 [ 134 ] [ 135 ] [ 138 ] [ 144 ] [ 150 ]  ©2006 Association for Computing Machinery |
