dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Richard C. Holt Home Page Coauthor index pubzone.org

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

DBLP keys2012
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Nadi, Richard C. Holt: Mining Kbuild to Detect Variability Anomalies in Linux. CSMR 2012: 107-116
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan J. Davis, Michael W. Godfrey, Richard C. Holt, Serge Mankovski, Nick Minchenko: Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience. CSMR 2012: 467-470
2011
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt: QoS-Aware Middleware for Scalable Replication. AINA Workshops 2011: 13-20
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Multifractal aspects of software development. ICSE 2011: 968-971
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Nadi, Richard C. Holt: Make it or Break it: Mining Anomalies from Linux Kbuild. WCRE 2011: 315-324
2010
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Nadi, Richard C. Holt, Serge Mankovski: Does the Past Say It All? Using History to Predict Change Sets in a CMDB. CSMR 2010: 97-106
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt: Optimal Tradeoff. FCS 2010: 153-159
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt: Multi-consistency Data Replication. ICPADS 2010: 568-577
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Software process recovery using Recovered Unified Process Views. ICSM 2010: 1-10
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt: OSSR: Optimal Single Site Replication. ISPA 2010: 433-441
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt: Towards Adaptive Replication Reconfiguration for QoS. ITNG 2010: 678-683
2009
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSarah Nadi, Richard C. Holt, Ian J. Davis, Serge Mankovski: DRACA: decision support for root cause analysis and change impact analysis for CMDBs. CASCON 2009: 1-11
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Daniel M. Germán, Michael W. Godfrey, Richard C. Holt: Automatic classication of large changes into maintenance categories. ICPC 2009: 30-39
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Mining recurrent activities: Fourier analysis of change events. ICSE Companion 2009: 295-298
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: What's hot and what's not: Windowed developer topic analysis. ICSM 2009: 339-348
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Reading beside the lines: Using indentation to rank revisions by complexity. Sci. Comput. Program. 74(7): 414-429 (2009)
2008
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Reading Beside the Lines: Indentation as a Proxy for Complexity Metric. ICPC 2008: 133-142
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Daniel M. Germán, Richard C. Holt: What do large commits tell us?: a taxonomical study of large commits. MSR 2008: 99-108
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: From Indentation Shapes to Code Structures. SCAM 2008: 111-120
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: WCRE 1998 Most Influential Paper: Grokking Software Architecture. WCRE 2008: 5-14
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Reverse Engineering CAPTCHAs. WCRE 2008: 59-68
2007
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Richard C. Holt, Chris Hobbs: Applying a Tradeoff Model (TOM) to TACT. ARES 2007: 351-355
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Richard C. Holt, Ahmed E. Hassan: Empirical Evidence for SOC Dynamics in Software Evolution. ICSM 2007: 244-254
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Release Pattern Discovery: A Case Study of Database Systems. ICSM 2007: 285-294
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Michael W. Godfrey, Richard C. Holt: Release Pattern Discovery via Partitioning: Methodology and Case Study. MSR 2007: 19
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbram Hindle, Zhen Ming Jiang, Walid Koleilat, Michael W. Godfrey, Richard C. Holt: YARN: Animating Software Evolution. VISSOFT 2007: 129-136
2006
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhen Ming Jiang, Ahmed E. Hassan, Richard C. Holt: Visualizing Clone Cohesion and Coupling. APSEC 2006: 467-476
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMina Askari, Richard C. Holt: Information theoretic evaluation of change prediction models for large-scale software. MSR 2006: 126-132
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Replaying development history to assess the effectiveness of change propagation tools. Empirical Software Engineering 11(3): 335-367 (2006)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Andy Schürr, Susan Elliott Sim, Andreas Winter: GXL: A graph-based standard exchange format for reengineering. Sci. Comput. Program. 60(2): 149-170 (2006)
2005
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt, Stephan Diehl: MSR 2005 international workshop on mining software repositories. ICSE 2005: 690
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: The Top Ten List: Dynamic Fault Prediction. ICSM 2005: 263-272
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Ahmed E. Hassan, Richard C. Holt: Comparison of Clustering Algorithms in the Context of Software Evolution. ICSM 2005: 525-535
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Jingwei Wu, Richard C. Holt: Visualizing Historical Data Using Spectrographs. IEEE METRICS 2005: 31
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihan Al-Ekram, Cory Kapser, Richard C. Holt, Michael W. Godfrey: Cloning by accident: an empirical study of source code cloning across software systems. ISESE 2005: 376-385
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikita Synytskyy, Richard C. Holt, Ian J. Davis: Browsing Software Architectures With LSEdit. IWPC 2005: 176-178
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Malton, Richard C. Holt: Boxology of NBA and TA: A Basis for Understanding Software Architecture. WCRE 2005: 187-195
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Zhen Ming Jiang, Richard C. Holt: Source versus Object Code Extraction for Recovering Software Architecture. WCRE 2005: 67-76
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt, Audris Mockus: Report on MSR 2004: International workshop on mining software repositories. ACM SIGSOFT Software Engineering Notes 30(1): 4 (2005)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Diehl, Ahmed E. Hassan, Richard C. Holt: Report on MSR 2005: international workshop on mining software repositories. ACM SIGSOFT Software Engineering Notes 30(5): 1-3 (2005)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Audris Mockus, Richard C. Holt, Philip M. Johnson: Guest Editor's Introduction: Special Issue on Mining Software Repositories. IEEE Trans. Software Eng. 31(6): 426-428 (2005)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: A lightweight approach for migrating web frameworks. Information & Software Technology 47(8): 521-532 (2005)
2004
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt, Audris Mockus: MSR 2004: International Workshop on Mining Software Repositories. ICSE 2004: 770-771
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Predicting Change Propagation in Software Systems. ICSM 2004: 284-293
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Using Development History Sticky Notes to Understand Software Architecture. IWPC 2004: 183-193
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Richard C. Holt: Resolving Linkage Anomalies in Extracted Software System Models. IWPC 2004: 241-245
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Claus W. Spitzer, Ahmed E. Hassan, Richard C. Holt: Evolution Spectrographs: Visualizing Punctuated Change in Software Evolution. IWPSE 2004: 57-66
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Studying The Evolution of Software Systems Using Evolutionary Code Extractors. IWPSE 2004: 76-81
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: The Small World of Software Reverse Engineering. WCRE 2004: 278-283
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Richard C. Holt, Ahmed E. Hassan: Exploring Software Evolution Using Spectrographs. WCRE 2004: 80-89
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Lin, Richard C. Holt: Formalizing Fact Extraction. Electr. Notes Theor. Comput. Sci. 94: 93-102 (2004)
2003
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Migrating Web Frameworks Using Water Transformations. COMPSAC 2003: 296-303
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Steve M. Easterbrook, Richard C. Holt: Using Benchmarking to Advance Research: A Challenge to Software Engineering. ICSE 2003: 74-83
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: The Chaos of Software Development. IWPSE 2003: 84-94
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Studying the Chaos of Code Development. WCRE 2003: 123-133
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuan Lin, Richard C. Holt, Andrew J. Malton: Completeness of a Fact Extractor. WCRE 2003: 196-205
2002
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Architecture recovery of web applications. ICSE 2002: 349-359
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Richard C. Holt, Steve M. Easterbrook: On Using a Benchmark to Evaluate C++ Extractors. IWPC 2002: 114-126
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJingwei Wu, Ahmed E. Hassan, Richard C. Holt: Using Graph Patterns to Extract Scenarios. IWPC 2002: 239-250
2001
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoda Fahmy, Richard C. Holt, James R. Cordy: Wins and Losses of Algebraic Transformations of Software Architectures. ASE 2001: 51-62
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Ferenc, Susan Elliott Sim, Richard C. Holt, Rainer Koschke, Tibor Gyimóthy: Towards a Standard Schema for C/C++. WCRE 2001: 49-58
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas R. Dean, Andrew J. Malton, Richard C. Holt: Union Schemas as a Basis for a C++ Extractor. WCRE 2001: 59-
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: Towards a Better Understanding of Web Applications. WSE 2001: 112-116
2000
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoda Fahmy, Richard C. Holt: Using Graph Rewriting to Specify Software Architectural Transformations. ASE 2000: 187-196
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Richard C. Holt, Rainer Koschke: Workshop on standard exchange format (WoSEF). ICSE 2000: 805-806
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoda Fahmy, Richard C. Holt: Software Architecture Transformations. ICSM 2000: 88-96
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: On the Stability of Software Clustering Algorithms. IWPC 2000: 211-
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn B. Tran, Michael W. Godfrey, Eric H. S. Lee, Richard C. Holt: Architectural Repair of Open Source Software. IWPC 2000: 48-59
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed E. Hassan, Richard C. Holt: A Reference Architecture for Web Servers. WCRE 2000: 150-
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Andreas Winter, Andy Schürr: GXL: Toward a Standard Exchange Format. WCRE 2000: 162-171
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: ACDC: An Algorithm for Comprehension-Driven Clustering. WCRE 2000: 258-267
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Ahmed E. Hassan, Bruno Laguë, Sébastien Lapierre, Charles Leduc: E/R Schema for the Datrix C/C++/Java Exchange Format. WCRE 2000: 284-286
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Andreas Winter: A Short Introduction to the GXL Software Exchange Format. WCRE 2000: 299-
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, Michael W. Godfrey, Richard C. Holt: Connecting architecture reconstruction frameworks. Information & Software Technology 42(2): 91-102 (2000)
1999
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn B. Tran, Richard C. Holt: Forward and reverse repair of software architecture. CASCON 1999: 12
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Software architecture abstraction and aggregation as algebraic manipulations. CASCON 1999: 5
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, Richard C. Holt, Neil V. Brewster: Linux as a Case Study: Its Extracted Software Architecture. ICSE 1999: 555-563
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Charles L. A. Clarke, Richard C. Holt, Anthony Cox: Browsing and Searching Software Architectures. ICSM 1999: 381-390
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, Richard C. Holt: Reconstructing Ownership Architectures To Help Understand Software Systems. IWPC 1999: 28-37
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: MoJo: A Distance Metric for Software Clusterings. WCRE 1999: 187-
1998
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan T. Bowman, Richard C. Holt: Software architecture recovery using Conway's law. CASCON 1998: 6
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: Software Botryology: Automatic Clustering of Software Systems. DEXA Workshop 1998: 811-818
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Richard C. Holt: The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize. ICSE 1998: 361-370
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Elliott Sim, Charles L. A. Clarke, Richard C. Holt: Archetypal Source Code Searches: A Survey of Software Developers and Maintainers. IWPC 1998: 180-
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Structural Manipulations of Software Architecture using Tarski Relational Algebra. WCRE 1998: 210-219
1997
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoda Fahmy, Richard C. Holt, Spiros Mancoridis: Repairing software style using graph grammars. CASCON 1997: 6
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: The Orphan Adoption Problem in Architecture Maintenance. WCRE 1997: 76-
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick J. Finnigan, Richard C. Holt, Ivan Kalas, Scott Kerr, Kostas Kontogiannis, Hausi A. Müller, John Mylopoulos, Stephen G. Perelgut, Martin Stanley, Kenny Wong: The Software Bookshelf. IBM Systems Journal 36(4): 564-593 (1997)
1996
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassilios Tzerpos, Richard C. Holt: A hybrid process for recovering software architecture. CASCON 1996: 38
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSpiros Mancoridis, Richard C. Holt: Recovering the Structure of Software Systems Using Tube Graph Interconnection Clustering. ICSM 1996: 23-
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, J. Y. Pak: GASE: visualizing Software Evolution-in-the-Large. WCRE 1996: 163-
1995
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElliot B. Koffman, Richard C. Holt, Chrysanne Dimarco: Turing - problem solving and program design. Addison-Wesley 1995: I-XIII, 1-705
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Carmichael, Vassilios Tzerpos, Richard C. Holt: Design maintenance: unexpected architectural interactions (experience report). ICSM 1995: 134-
1994
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSpiros Mancoridis, Richard C. Holt, Michael W. Godfrey: A Program Understanding Environment Based on the ``Star'' Approach to Tool Integration. ACM Conference on Computer Science 1994: 60-65
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Godfrey, Richard C. Holt, Spiros Mancoridis: Prototyping a Visual Formalism for System Modelling. ICSE Workshop on SE-HCI 1994: 211-224
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Introducing undergraduates to object orientation using the Turing language. SIGCSE 1994: 324-328
1993
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSpiros Mancoridis, Richard C. Holt, David A. Penny: A Conceptual Framework for Software Development. ACM Conference on Computer Science 1993: 74-80
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSpiros Mancoridis, Richard C. Holt, David A. Penny: A "curriculum-cycle" environment for teaching programming. SIGCSE 1993: 15-19
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRhys Price Jones, Doug Cooper, Daniel P. Friedman, Richard C. Holt, Peter Robinson: Issues in the choice of programming language for CS 1 (abstract). SIGCSE 1993: 301
1992
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, David A. Penny, Spiros Mancoridis: Multicolour programming and metamorphic programming: object oriented programming-in-the-large. CASCON 1992: 43-58
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Jacob Slonim: An agenda for research directions. CASCON 1992: 81-90
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt: The Geneva convention on the treatment of object aliasing. OOPS Messenger 3(2): 11-16 (1992)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Dennis de Champeaux: A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992)
1991
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Terry Stanhope, George Lausman: Object oriented programming: looking ahead to the year 2000. CASCON 1991: 131-151
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Penny, Richard C. Holt, Michael W. Godfrey: Formal Specification in Metamorphic Programing. VDM Europe (1) 1991: 11-30
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander D. Stoyenko, V. Carl Hamacher, Richard C. Holt: Analyzing Hard-Real-Time Programs For Guaranteed Schedulability. IEEE Trans. Software Eng. 17(8): 737-750 (1991)
1990
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Cordy, Richard C. Holt: Code Generation Using an Orthogonal Model. Softw., Pract. Exper. 20(3): 301-320 (1990)
1989
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG.-L. Grenier, Richard C. Holt, M. Funkenhauser: Policy vs. Mechanism in the Secure TUNIS Operating System. IEEE Symposium on Security and Privacy 1989: 84-93
1988
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, James R. Cordy: The Turing Programming Language. Commun. ACM 31(12): 1410-1423 (1988)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Device Management in TURING PLUS. Operating Systems Review 22(1): 33-41 (1988)
1987
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Data Descriptors: A Compile-Time Model of Data and Addressing. ACM Trans. Program. Lang. Syst. 9(3): 367-389 (1987)
1985
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank J. Dudinsky, Richard C. Holt, Safwat G. Zaky: SRE-A Syntax Recognizing Editor. Softw., Pract. Exper. 15(5): 489-497 (1985)
1982
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, James R. Cordy, David B. Wortman: An Introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4(2): 149-178 (1982)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, David B. Wortman: A Model for Implementing Euclid Modules and Prototypes. ACM Trans. Program. Lang. Syst. 4(4): 552-562 (1982)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid T. Barnard, Richard C. Holt: Hierarchic syntax error repair for LR grammars. International Journal of Parallel Programming 11(4): 231-258 (1982)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract). Operating Systems Review 16(1): 4-5 (1982)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: A Short Introduction to Concurrent Euclid. SIGPLAN Notices 17(5): 60-79 (1982)
1981
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs: Euclid: a language for compiling quality software. AFIPS National Computer Conference 1981: 257-263
1979
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Cordy, Richard C. Holt, David B. Wortman: Semantic charts: A diagrammatic approach to semantic processing. SIGPLAN Symposium on Compiler Construction 1979: 39-49
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, David B. Wortman: A model for implementing Euclid modules and type templates. SIGPLAN Symposium on Compiler Construction 1979: 8-12
1978
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe: The Euclid Language: a progress report. ACM Annual Conference (1) 1978: 111-115
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, G. Scott Graham, Edward D. Lazowska, M. A. Scott: Announcing Concurrent SP/k. Operating Systems Review 12(2): 4-7 (1978)
1977
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, David B. Wortman, David T. Barnard, James R. Cordy: SP/k: A System for Teaching Computer Programming. Commun. ACM 20(5): 301-309 (1977)
1972
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196 (1972)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt, Edward M. Reingold: On the Time Required to Detect Cycles and Connectivity in Graphs. Mathematical Systems Theory 6(2): 103-106 (1972)
1971
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Some Deadlock Properties of Computer Systems. SOSP 1971: 64-71
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard C. Holt: Comments on Prevention of System Deadlocks. Commun. ACM 14(1): 36-38 (1971)

Coauthor Index

1Raihan Al-Ekram [93] [106] [117] [118] [120] [121] [125]
2Mina Askari [100]
3David T. Barnard [5] [13]
4Ivan T. Bowman [47] [49] [51] [54]
5Neil V. Brewster [51]
6Ian Carmichael [35]
7Dennis de Champeaux [25] [26]
8Charles L. A. Clarke [44] [50]
9Doug Cooper [29]
10James R. Cordy [5] [7] [9] [10] [15] [19] [21] [68]
11Anthony Cox [50]
12David R. Crowe [7] [10]
13Ian J. Davis [92] [116] [126]
14Thomas R. Dean (Thomas Roy Dean) [66]
15Stephan Diehl [88] [97]
16Chrysanne Dimarco [36]
17Frank J. Dudinsky [16]
18Steve M. Easterbrook [70] [75]
19Hoda Fahmy [42] [62] [64] [68]
20Rudolf Ferenc [67]
21Patrick J. Finnigan [40]
22Daniel P. Friedman [29]
23M. Funkenhauser [20]
24Daniel M. Germán [110] [115]
25Michael W. Godfrey [23] [33] [34] [54] [60] [93] [102] [103] [104] [107] [109] [111] [112] [113] [114] [115] [119] [124] [126]
26G. Scott Graham [6]
27G.-L. Grenier [20]
28Ian H. Griggs [10]
29Tibor Gyimóthy [67]
30V. Carl Hamacher [22]
31Ahmed E. Hassan [56] [59] [65] [69] [71] [73] [74] [76] [78] [79] [80] [81] [83] [84] [85] [86] [87] [88] [89] [90] [94] [95] [96] [97] [99] [101] [105]
32Abram Hindle [102] [103] [104] [107] [109] [110] [111] [112] [113] [114] [115] [119] [124]
33Chris Hobbs [106]
34John Hogg [26]
35Zhen Ming Jiang [90] [101] [102]
36Philip M. Johnson [87]
37Rhys Price Jones [29]
38Ivan Kalas [40]
39Cory Kapser [93]
40Scott Kerr [40]
41Elliot B. Koffman [36]
42Walid Koleilat [102]
43Kostas Kontogiannis [40]
44Rainer Koschke [63] [67]
45Bruno Laguë [56]
46Sébastien Lapierre [56]
47George Lausman [24]
48Edward D. Lazowska [6]
49Doug Lea [26]
50Charles Leduc [56]
51Eric H. S. Lee [60]
52Yuan Lin [72] [77]
53Andrew J. Malton [66] [72] [91]
54Spiros Mancoridis [28] [30] [31] [33] [34] [38] [42]
55Serge Mankovski [116] [122] [126]
56Nick Minchenko [126]
57Audris Mockus [85] [87] [89]
58Hausi A. Müller [40]
59John Mylopoulos [40]
60Sarah Nadi [116] [122] [123] [127]
61J. Y. Pak [37]
62David A. Penny [23] [28] [30] [31]
63Stephen G. Perelgut [40]
64Edward M. Reingold [3]
65Peter Robinson [29]
66Andy Schürr [58] [98]
67M. A. Scott [6]
68Susan Elliott Sim [44] [45] [50] [63] [67] [70] [75] [98]
69Jacob Slonim [27]
70Claus W. Spitzer [81]
71Terry Stanhope [24]
72Martin Stanley [40]
73Alexander D. Stoyen (Alexander D. Stoyenko) [22]
74Nikita Synytskyy [92]
75John B. Tran [53] [60]
76Vassilios Tzerpos [35] [39] [41] [46] [48] [57] [61]
77Alan Wills [26]
78Andreas Winter [55] [58] [98]
79Kenny Wong [40]
80David B. Wortman [5] [7] [8] [9] [10] [14] [15]
81Jingwei Wu [69] [78] [81] [82] [94] [95] [105]
82Safwat G. Zaky [16]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page