Thomas Ball Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: A brief history of software - from Bell Labs to Microsoft Research. MSR 2009
2008
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Pacheco, Shuvendu K. Lahiri, Thomas Ball: Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu: Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigore Rosu, Feng Chen, Thomas Ball: Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. RV 2008: 51-68
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: Vacuity in Testing. TAP 2008: 4-17
2007
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman, Mooly Sagiv: Leaping Loops in the Presence of Abstraction. CAV 2007: 491-503
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachiappan Nagappan, Thomas Ball: Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study. ESEM 2007: 364-373
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: Better Under-Approximation of Programs by Hiding Variables. VMCAI 2007: 314-328
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. Logical Methods in Computer Science 3(2): (2007)
2006
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael I. Schwartzbach, Thomas Ball: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 ACM 2006
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: Multi-Version Program Analysis, 26. June - 1. July 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Robert B. Jones: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: Automated Abstraction of Software. ATVA 2006: 8
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner: Thorough static analysis of device drivers. EuroSys 2006: 73-85
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachiappan Nagappan, Thomas Ball, Andreas Zeller: Mining metrics to predict component failures. ICSE 2006: 452-461
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball: Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation. ISSRE 2006: 204-212
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachiappan Nagappan, Thomas Ball, Brendan Murphy: Using Historical In-Process and Product Metrics for Early Estimation of Software Failures. ISSRE 2006: 62-74
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreta Yorsh, Thomas Ball, Mooly Sagiv: Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman: An Abstraction-Refinement Framework for Multi-Agent Systems. LICS 2006: 379-388
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures CoRR abs/cs/0612003: (2006)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)
2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Orna Kupferman, Greta Yorsh: Abstraction for Falsification. CAV 2005: 67-81
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachiappan Nagappan, Thomas Ball: Use of relative code churn measures to predict system defect density. ICSE 2005: 284-292
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNachiappan Nagappan, Thomas Ball: Static analysis tools as early indicators of pre-release defect density. ICSE 2005: 580-586
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi: Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Abstracts Collection - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephan Diehl, David Notkin, Andreas Zeller: 05261 Summary - Multi-Version Program Analysis. Multi-Version Program Analysis 2005
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: The Verified Software Challenge: A Call for a Holistic Approach to Reliability. VSTTE 2005: 42-48
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
2004
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: A Theory of Predicate-Complete Test Coverage and Generation. FMCO 2004: 1-22
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy: Righting Software. IEEE Software 21(3): 92-100 (2004)
2003
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings Springer 2003
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
2002
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus: Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version Editor. IEEE Trans. Software Eng. 28(7): 625-637 (2002)
2001
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: The SLAM Toolkit. CAV 2001: 260-264
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Hans-Juergen Boehm: SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. SIGPLAN Notices 36(4): 1-2 (2001)
2000
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Veta Bonnewell, Peter J. Danielsen, Peter Mataga, Kenneth Rehor: Speech-enabled services using TelePortalTM software and VoiceXMLstar. Bell Labs Technical Journal 5(3): 98-111 (2000)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, James R. Larus: Using Paths to Measure, Explain, and Enhance Program Behavior. IEEE Computer 33(7): 57-65 (2000)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White: State Generation and Automated Class Testing. Softw. Test., Verif. Reliab. 10(3): 149-170 (2000)
1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps: Coping with Type Casts in C. ESEC / SIGSOFT FSE 1999: 180-198
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: The Concept of Dynamic Analysis. ESEC / SIGSOFT FSE 1999: 216-234
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid L. Atkins, Thomas Ball, Todd L. Graves, Audris Mockus: Using Version Control Data to Evaluate the Impact of Software Tools. ICSE 1999: 324-333
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid L. Atkins, Thomas Ball, Glenn Bruns, Kenneth C. Cox: Mawl: A Domain-Specific Language for Form-Based Services. IEEE Trans. Software Eng. 25(3): 334-346 (1999)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: Paths between Imperative and Functional Programming. SIGPLAN Notices 34(2): 21-25 (1999)
1998
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: On the Limit of Control Flow Analysis for Regression Test Selection. ISSTA 1998: 134-142
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Peter Mataga, Shmuel Sagiv: Edge Profiling versus Path Profiling: The Showdown. POPL 1998: 134-148
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios: The AT&T Internet Difference Engine: Tracking and Viewing Changes on the Web. World Wide Web 1(1): 27-44 (1998)
1997
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor: Experience with a Domain Specific Language for Form-based Services. DSL 1997: 37-50
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus: The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE 1997: 432-449
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDean F. Jerding, John T. Stasko, Thomas Ball: Visualizing Interactions in Program Executions. ICSE 1997: 360-370
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Ammons, Thomas Ball, James R. Larus: Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling. PLDI 1997: 85-96
1996
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Fred Douglis: An Internet Difference Engine and its Applications. COMPCON 1996: 71-76
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, James R. Larus: Efficient Path Profiling. MICRO 1996: 46-57
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFred Douglis, Thomas Ball: Tracking and Viewing Changes on the Web. USENIX Annual Technical Conference 1996: 165-176
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFred Douglis, Thomas Ball, Yih-Farn Chen, Eleftherios Koutsofios: WebGUIDE: Querying and Navigating Changes in Web Repositories. Computer Networks 28(7-11): 1335-1344 (1996)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephen G. Eick: Software Visualization in the Large. IEEE Computer 29(4): 33-43 (1996)
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrishul M. Chilimbi, Thomas Ball, Stephen G. Eick, James R. Larus: Storm Watch: A Tool for Visualizing Memory System Protocols. SC 1995
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Stephen G. Eick: Visualizing Program Slices. VL 1994: 288-295
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, James R. Larus: Optimally Profiling and Tracing Programs. ACM Trans. Program. Lang. Syst. 16(4): 1319-1360 (1994)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: Efficient Counting Program Events with Support for On-Line Queries. ACM Trans. Program. Lang. Syst. 16(5): 1399-1410 (1994)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Larus, Thomas Ball: Rewriting Executable Files to Measure Program Behavior. Softw., Pract. Exper. 24(2): 197-218 (1994)
1993
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Susan Horwitz: Slicing Programs with Arbitrary Control-flow. AADEBUG 1993: 206-222
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, James R. Larus: Branch Prediction For Free. PLDI 1993: 300-313
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball: What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow. LOPLAS 2(1-4): 1-16 (1993)
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, James R. Larus: Optimally Profiling and Tracing Programs. POPL 1992: 59-70

Coauthor Index

1Stephen Adams [40]
2Benjamin Aminof [48]
3Glenn Ammons [15]
4David L. Atkins [18] [23] [24] [38]
5Gérard Basler [80]
6Bernhard Beckert [61]
7Michael Benedikt [18]
8Hans-Juergen Boehm [31]
9Veta Bonnewell [29]
10Ella Bounimova [68]
11Glenn Bruns [18] [23]
12Sebastian Burckhardt [83]
13Sagar Chaki [33]
14Satish Chandra [26]
15Feng Chen [79]
16Yih-Farn Robin Chen (Yih-Farn Chen) [11] [19]
17Trishul M. Chilimbi [9]
18Byron Cook [47] [49] [51] [60] [62] [68] [73]
19Kenneth C. Cox [18] [23]
20Peter J. Danielsen [29]
21Manuvir Das [17] [40] [45]
22Satyaki Das [47]
23Robert DeLine [45]
24Stephan Diehl [54] [55] [71]
25Fred Douglis [11] [12] [14] [19]
26Stephen G. Eick [8] [9] [10]
27Michael D. Ernst [75]
28Manuel Fähndrich [45]
29Todd L. Graves [24] [38]
30Cordell Green [61]
31Reiner Hähnle [61]
32Jonathan de Halleux [83]
33C. A. R. Hoare (Tony Hoare) [61]
34Daniel Hoffman [27]
35Susan Horwitz [4]
36Dean F. Jerding [16]
37Robert B. Jones [70]
38Eleftherios Koutsofios [11] [19]
39Gunnar Kudrjavets [66]
40Krishna Kunchithapadam [26]
41Orna Kupferman [48] [59] [63] [74] [77] [78]
42Shuvendu K. Lahiri [51] [56] [60] [62] [73] [75] [81]
43James R. Larus [1] [3] [5] [7] [9] [13] [15] [17] [28] [45]
44Sorin Lerner [40]
45Vladimir Levin [46] [49] [68]
46Jakob Lichtenberg [68]
47Rupak Majumdar [35]
48Peter Mataga [18] [20] [29]
49Con McGarvey [68]
50Todd D. Millstein [35] [52]
51Audris Mockus [24] [38]
52Brendan Murphy [65]
53Madanlal Musuvathi [56] [80] [83]
54Nachiappan Nagappan [57] [58] [65] [66] [67] [76]
55Mayur Naik [43]
56Piramanayagam Arumuga Nainar [80]
57Iulian Neamtiu [80]
58David Notkin [54] [55] [71]
59Bohus Ondrusek [68]
60Carlos Pacheco [75] [81]
61Jonathan D. Pincus [45]
62Andreas Podelski [32] [39] [42]
63Shaz Qadeer [80] [83]
64Sriram K. Rajamani [30] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [43] [44] [45] [47] [49] [52] [61] [68]
65Silvio Ranise [61]
66Kenneth Rehor [18] [29]
67Thomas W. Reps [17] [26]
68Grigore Rosu [79]
69Frank Ruskey [27]
70Shmuel Sagiv (Mooly Sagiv) [20] [64] [77]
71Michael I. Schwartzbach [72]
72Mark Seigle [40]
73Michael Siff [26]
74Douglas R. Smith [61]
75John T. Stasko [16]
76Cesare Tinelli [61]
77Abdullah Ustuner [68]
78Ramanathan Venkatapathy [45]
79Richard Webber [27]
80Westley Weimer [40]
81Lee J. White [27]
82Fei Xie [46]
83Greta Yorsh [59] [64]
84Andreas Zeller [54] [55] [67] [71]
85Lintao Zhang [51]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)