Jeannette M. Wing 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing: Report: Measuring the Attack Surfaces of Enterprise Software. ESSoS 2009: 91-100
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Carl Tschantz, Jeannette M. Wing: Formal Methods for Privacy. FM 2009: 1-15
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Mark Guzdial: CS woes: deadline-driven research, academic inequality. Commun. ACM 52(12): 8-9 (2009)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Daniel Reed, Mark Guzdial: An ICT research agenda, HPC and innovation, and why only the developed world lacks women in computing. Commun. ACM 52(8): 12-13 (2009)
2008
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Computational thinking and thinking about computing. IPDPS 2008: 1
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Carl Tschantz, Jeannette M. Wing: Extracting Conditional Confidentiality Policies. SEFM 2008: 107-116
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Five deep questions in computing. Commun. ACM 51(1): 58-60 (2008)
2007
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter B. Henderson, Thomas J. Cortina, Jeannette M. Wing: Computational thinking. SIGCSE 2007: 195-196
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Software Security. TASE 2007: 21
2006
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Attack graph generation and analysis. ASIACCS 2006: 14
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen: Measuring the attack surfaces of two FTP daemons. QoP 2006: 3-10
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing: Ranking Attack Graphs. RAID 2006: 127-144
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Computational thinking. Commun. ACM 49(3): 33-35 (2006)
2005
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan D. Pincus, Jeannette M. Wing: Towards an Algebra for Security Policies. ICATPN 2005: 17-25
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Scenario Graphs Applied to Security (Extended Abstract). VISSAS 2005: 229-234
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKong-wei Lye, Jeannette M. Wing: Game strategies in network security. Int. J. Inf. Sec. 4(1-2): 71-86 (2005)
2003
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sheyner, Jeannette M. Wing: Tools for Generating and Analyzing Attack Graphs. FMCO 2003: 344-372
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: A Call to Action: Look Beyond the Horizon. IEEE Security & Privacy 1(6): 62-67 (2003)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Platitudes and attitudes. STTT 4(3): 261-265 (2003)
2002
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomesh Jha, Oleg Sheyner, Jeannette M. Wing: Two Formal Analys s of Attack Graphs. CSFW 2002: 49-63
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodore M. Wong, Chenxi Wang, Jeannette M. Wing: Verifiable Secret Redistribution for Archive System. IEEE Security in Storage Workshop 2002: 94-106
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing: Automated Generation and Analysis of Attack Graphs. IEEE Symposium on Security and Privacy 2002: 273-284
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Mathematics in Computer Science Curricula. MPC 2002: 22
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Vulnerability Analysis of Networked Systems. WETICE 2002: 4
2001
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Survivability Analysis of Networked Systems. FORTE 2001: 459-
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSomesh Jha, Jeannette M. Wing: Survivability Analysis of Network Systems. ICSE 2001: 307-317
2000
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. AMAST 2000: 2-9
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Survivability Analysis of Networked Systems . APSEC 2000: 6-7
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff: Survivability Analysis of Network Specifications. DSN 2000: 613-622
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Jim Woodcock: The First World Congress on Formal Methods in the Development of Computing Systems. Formal Asp. Comput. 12(3): 145-146 (2000)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Jim Woodcock: Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design 17(3): 199-200 (2000)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, John Ockerbloom: Respectful Type Converters. IEEE Trans. Software Eng. 26(7): 579-593 (2000)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Jim Woodcock: Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 26(8): 673-674 (2000)
1999
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Jim Woodcock, Jim Davies: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I Springer 1999
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Jim Woodcock, Jim Davies: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II Springer 1999
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Jackson, Yu-Chung Ng, Jeannette M. Wing: A Nitpick Analysis of Mobile IPv6. Formal Asp. Comput. 11(6): 591-615 (1999)
1998
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Formal Methods: Past, Present, and Future (Abstract). ASIAN 1998: 224
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMandana Vaziri, Nancy A. Lynch, Jeannette M. Wing: Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS 1998: 16-25
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. Formal Asp. Comput. 10(1): 59-75 (1998)
1997
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. TAPSOFT 1997: 520-534
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy Moormann Zaremski, Jeannette M. Wing: Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. 6(4): 333-369 (1997)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Mandana Vaziri: A Case study in Model Checking Software Systems. Sci. Comput. Program. 28(2-3): 273-299 (1997)
1996
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Jeannette M. Wing: Formal Methods: State of the Art and Future Directions. ACM Comput. Surv. 28(4): 626-643 (1996)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Jeannette M. Wing: Tools and Partial Analysis. ACM Comput. Surv. 28(4es): 116 (1996)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
1995
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Teaching Mathematics to Software Engineers. AMAST 1995: 18-40
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing: The CMU Master of Software Engineering Core Curriculum. CSEE 1995: 65-86
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, David C. Steere: Specifying Weak Sets. ICDCS 1995: 414-421
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Mandana Vaziri: Model Checking Software Systems: A Case Study. SIGSOFT FSE 1995: 128-139
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy Moormann Zaremski, Jeannette M. Wing: Specification Matching of Software Components. SIGSOFT FSE 1995: 6-17
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Hints for Writing Specifications. ZUM 1995: 497
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy Moormann Zaremski, Jeannette M. Wing: Signature Matching: A Tool for Using Software Libraries. ACM Trans. Softw. Eng. Methodol. 4(2): 146-170 (1995)
1994
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing: Dynamic Sets for Search. PODC 1994: 397
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan: Using Belief to Reason about Cache Coherence. PODC 1994: 71-80
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing: Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. 16(6): 1719-1736 (1994)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)
1993
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Martin, Jeannette M. Wing: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 Springer 1993
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Liskov, Jeannette M. Wing: A New Definition of the Subtype Relation. ECOOP 1993: 118-141
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Decomposing and Recomposing Transactional Concepts. ECOOP Workshop 1993: 111-121
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy Moormann Zaremski, Jeannette M. Wing: Signature Matching: A Key to Reuse. SIGSOFT FSE 1993: 182-190
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, C. Gong: Testing and Verifying Concurrent Objects. J. Parallel Distrib. Comput. 17(1-2): 164-182 (1993)
1992
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Specification in Software Development LICS 1992: 112
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski: Thoughts on a Larch/ML and a New Application for LP. Larch 1992: 297-312
1991
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene J. Rollins, Jeannette M. Wing: Specifications as Search Keys for Software Libraries. ICLP 1991: 173-187
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Amy Moormann Zaremski: Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) 1991: 545-569
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Specifying Graceful Degradation. IEEE Trans. Parallel Distrib. Syst. 2(1): 93-104 (1991)
1990
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing: Reliable Distributed Computing with Avalon/Common Lisp. ICCL 1990: 169-179
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Barbacci, Jeannette M. Wing: A Language for Distributed Applications. ICCL 1990: 59-68
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst. 12(3): 463-492 (1990)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: A Specifier's Introduction to Formal Methods. IEEE Computer 23(9): 8-24 (1990)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Miró: Visual Specification of Security. IEEE Trans. Software Eng. 16(10): 1185-1197 (1990)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Using Larch to Specify Avalon/C++ Objects. IEEE Trans. Software Eng. 16(9): 1076-1088 (1990)
1989
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Specifying Security Constraints with Relaxation Lattices. CSFW 1989: 47-53
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Constraining Pictures with Pictures. IFIP Congress 1989: 157-162
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing: Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Verifying Atomic Data Types. REX Workshop 1989: 731-758
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Specifying Avalon Objects in Larch. TAPSOFT, Vol.2 1989: 61-80
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing: Developing Applications for Heterogeneous Machine Networks: The Durra Network. Computing Systems 2(1): 7-35 (1989)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng. 15(2): 181-197 (1989)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Linearizable concurrent objects. SIGPLAN Notices 24(4): 133-135 (1989)
1988
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Reasoning about Atomic Objects. FTRTFT 1988: 193-208
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Barbacci, Charles B. Weinstock, Jeannette M. Wing: Programming at the Processor-Memory-Switch Level. ICSE 1988: 19-29
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Detlefs, Maurice Herlihy, Jeannette M. Wing: Inheritance of Synchronization and Recovery Properties in Avalon/C++. IEEE Computer 21(12): 57-69 (1988)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: A Study of 12 Specifications of the Library Problem. IEEE Software 5(4): 66-76 (1988)
1987
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing: Avalon/C++. C++ Workshop 1987: 451-459
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Barbacci, Jeannette M. Wing: DURRA : A Task-Level Description Language. ICPP 1987: 370-376
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Barbacci, Jeannette M. Wing: Specifying Functional and Timing Behavior for Real-Time Applications. PARLE (2) 1987: 124-140
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Specifying Graceful Degradation in Distributed Systems. PODC 1987: 167-177
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Herlihy, Jeannette M. Wing: Axioms for Concurrent Objects. POPL 1987: 13-26
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing: Writing Larch Interface Language Specifications. ACM Trans. Program. Lang. Syst. 9(1): 1-24 (1987)
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Symposium on Security and Privacy 1986: 2-13
1985
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel M. Berry, Jeannette M. Wing: Specification and Prototyping: Some Thoughts on Why They Are Successful. TAPSOFT, Vol.2 1985: 117-128
1982
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982)

Coauthor Index

1Mario Barbacci [7] [8] [12] [16] [26]
2Constantinos Bartzis [84]
3Daniel M. Berry [2]
4Toby Bloom [19]
5Jonathan P. Bowen [51]
6Alan W. Brown [49]
7Ricky W. Butler [51]
8Stewart M. Clamen [27]
9Edmund M. Clarke [52] [53] [84]
10Thomas J. Cortina [88]
11Jim Davies [61] [62]
12David Detlefs [9] [11]
13David L. Dill [51]
14Dennis L. Doubleday [16]
15Mark Flynn [85]
16David Garlan [49]
17Robert L. Glass [51]
18C. Gong [33]
19David Gries [51]
20John V. Guttag [1]
21Mark Guzdial [92] [93]
22Joshua W. Haines [74]
23Nicholas Haines [40]
24Anthony Hall [51]
25Peter B. Henderson [88]
26Maurice Herlihy [5] [6] [9] [11] [13] [14] [21] [25] [28]
27Allan Heydon [20] [23]
28Michael G. Hinchey (Mike Hinchey) [51]
29C. Michael Holloway [51]
30James J. Horning (Jim Horning) [1]
31Daniel Jackson [49] [51] [60]
32Sanjay K. Jha [67]
33Somesh Jha [70] [74] [76]
34Cliff B. Jones [51]
35Yücel Karabulut [95]
36K. Kietzke [9]
37Darrell Kindred [40]
38Gary T. Leavens [56] [57]
39Linda D. Leibengood [27]
40Richard C. Linger [67]
41Richard Lippmann [74]
42Barbara Liskov [35] [37] [39] [45]
43Thomas A. Longstaff [67]
44Michael J. Lutz [51]
45Kong-wei Lye [80]
46Nancy A. Lynch [58]
47Mark W. Maimone [20] [23]
48Pratyusa K. Manadhata [85] [95]
49Ursula Martin [38]
50Miles McQueen [85]
51Vaibhav Mehta [84]
52J. Gregory Morrisett (Greg Morrisett) [40]
53Lily B. Mummert [41]
54Scott Nettles [27] [40]
55Yu-Chung Ng [60]
56Mark R. Nixon [3] [15]
57John Ockerbloom [64]
58David Lorge Parnas [51]
59Jonathan D. Pincus [82]
60Daniel Reed [92]
61Eugene J. Rollins [30] [31]
62John M. Rushby [51]
63Mahadev Satyanarayanan (M. Satyanarayanan) [41] [42]
64Oleg Sheyner [74] [76] [79]
65David C. Steere [42] [48]
66David W. Stemple [19]
67James E. Tomayko [49]
68Michael Carl Tschantz [90] [94]
69J. Doug Tygar (J. D. Tygar) [20] [23]
70Mandana Vaziri [47] [54] [58]
71Chenxi Wang [75]
72Charles B. Weinstock [12] [16]
73Theodore M. Wong [75]
74Jim Woodcock (J. C. P. Woodcock) [61] [62] [63] [65] [66]
75Amy Moormann Zaremski [20] [23] [29] [31] [34] [43] [46] [55]
76Pamela Zave [51]
77Stanley B. Zdonik [19]
78Haifeng Zhu [84]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)