Richard C. Holt Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Richard C. Holt, Daniel Lohmann: Linux variability anomalies: what causes them and how do they get fixed? MSR 2013: 111-120
2012
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raymond Nguyen, Richard C. Holt: Life and death of software packages: an evolutionary study of Debian. CASCON 2012: 192-204
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah Nadi, Richard C. Holt: Mining Kbuild to Detect Variability Anomalies in Linux. CSMR 2012: 107-116
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ian 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
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt: QoS-Aware Middleware for Scalable Replication. AINA Workshops 2011: 13-20
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Multifractal aspects of software development. ICSE 2011: 968-971
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah Nadi, Richard C. Holt: Make it or Break it: Mining Anomalies from Linux Kbuild. WCRE 2011: 315-324
2010
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah 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
c93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt: Optimal Tradeoff. FCS 2010: 153-159
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt: Multi-consistency Data Replication. ICPADS 2010: 568-577
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Software process recovery using Recovered Unified Process Views. ICSM 2010: 1-10
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt: OSSR: Optimal Single Site Replication. ISPA 2010: 433-441
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt: Towards Adaptive Replication Reconfiguration for QoS. ITNG 2010: 678-683
2009
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram 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)
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sarah 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
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Mining recurrent activities: Fourier analysis of change events. ICSE Companion 2009: 295-298
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: What's hot and what's not: Windowed developer topic analysis. ICSM 2009: 339-348
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Daniel M. Germán, Michael W. Godfrey, Richard C. Holt: Automatic classication of large changes into maintenance categories. ICPC 2009: 30-39
2008
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Reading Beside the Lines: Indentation as a Proxy for Complexity Metric. ICPC 2008: 133-142
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Daniel M. Germán, Richard C. Holt: What do large commits tell us?: a taxonomical study of large commits. MSR 2008: 99-108
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: From Indentation Shapes to Code Structures. SCAM 2008: 111-120
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: WCRE 1998 Most Influential Paper: Grokking Software Architecture. WCRE 2008: 5-14
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Reverse Engineering CAPTCHAs. WCRE 2008: 59-68
2007
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan Al-Ekram, Richard C. Holt, Chris Hobbs: Applying a Tradeoff Model (TOM) to TACT. ARES 2007: 351-355
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Richard C. Holt, Ahmed E. Hassan: Empirical Evidence for SOC Dynamics in Software Evolution. ICSM 2007: 244-254
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Release Pattern Discovery: A Case Study of Database Systems. ICSM 2007: 285-294
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Michael W. Godfrey, Richard C. Holt: Release Pattern Discovery via Partitioning: Methodology and Case Study. MSR 2007: 19
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abram Hindle, Zhen Ming Jiang, Walid Koleilat, Michael W. Godfrey, Richard C. Holt: YARN: Animating Software Evolution. VISSOFT 2007: 129-136
2006
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Replaying development history to assess the effectiveness of change propagation tools. Empirical Software Engineering 11(3): 335-367 (2006)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard 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)
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zhen Ming Jiang, Ahmed E. Hassan, Richard C. Holt: Visualizing Clone Cohesion and Coupling. APSEC 2006: 467-476
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mina Askari, Richard C. Holt: Information theoretic evaluation of change prediction models for large-scale software. MSR 2006: 126-132
2005
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: A lightweight approach for migrating web frameworks. Information & Software Technology 47(8): 521-532 (2005)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed 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)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan 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)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed 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)
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt, Stephan Diehl: MSR 2005 international workshop on mining software repositories. ICSE 2005: 690
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: The Top Ten List: Dynamic Fault Prediction. ICSM 2005: 263-272
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Ahmed E. Hassan, Richard C. Holt: Comparison of Clustering Algorithms in the Context of Software Evolution. ICSM 2005: 525-535
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raihan 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
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nikita Synytskyy, Richard C. Holt, Ian J. Davis: Browsing Software Architectures With LSEdit. IWPC 2005: 176-178
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt: Visualizing Historical Data Using Spectrographs. IEEE METRICS 2005: 31
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Zhen Ming Jiang, Richard C. Holt: Source versus Object Code Extraction for Recovering Software Architecture. WCRE 2005: 67-76
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew J. Malton, Richard C. Holt: Boxology of NBA and TA: A Basis for Understanding Software Architecture. WCRE 2005: 187-195
2004
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuan Lin, Richard C. Holt: Formalizing Fact Extraction. Electr. Notes Theor. Comput. Sci. 94: 93-102 (2004)
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt, Audris Mockus: MSR 2004: International Workshop on Mining Software Repositories. ICSE 2004: 770-771
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Predicting Change Propagation in Software Systems. ICSM 2004: 284-293
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Using Development History Sticky Notes to Understand Software Architecture. IWPC 2004: 183-193
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Richard C. Holt: Resolving Linkage Anomalies in Extracted Software System Models. IWPC 2004: 241-245
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Claus W. Spitzer, Ahmed E. Hassan, Richard C. Holt: Evolution Spectrographs: Visualizing Punctuated Change in Software Evolution. IWPSE 2004: 57-66
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Studying The Evolution of Software Systems Using Evolutionary Code Extractors. IWPSE 2004: 76-81
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Richard C. Holt, Ahmed E. Hassan: Exploring Software Evolution Using Spectrographs. WCRE 2004: 80-89
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: The Small World of Software Reverse Engineering. WCRE 2004: 278-283
2003
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Migrating Web Frameworks Using Water Transformations. COMPSAC 2003: 296-303
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt: Using Benchmarking to Advance Research: A Challenge to Software Engineering. ICSE 2003: 74-83
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: The Chaos of Software Development. IWPSE 2003: 84-94
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Studying the Chaos of Code Development. WCRE 2003: 123-133
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuan Lin, Richard C. Holt, Andrew J. Malton: Completeness of a Fact Extractor. WCRE 2003: 196-205
2002
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Architecture recovery of web applications. ICSE 2002: 349-359
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Richard C. Holt, Steve M. Easterbrook: On Using a Benchmark to Evaluate C++ Extractors. IWPC 2002: 114-126
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jingwei Wu, Ahmed E. Hassan, Richard C. Holt: Using Graph Patterns to Extract Scenarios. IWPC 2002: 239-250
2001
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hoda Fahmy, Richard C. Holt, James R. Cordy: Wins and Losses of Algebraic Transformations of Software Architectures. ASE 2001: 51-62
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rudolf Ferenc, Susan Elliott Sim, Richard C. Holt, Rainer Koschke, Tibor Gyimóthy: Towards a Standard Schema for C/C++. WCRE 2001: 49-58
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas R. Dean, Andrew J. Malton, Richard C. Holt: Union Schemas as a Basis for a C++ Extractor. WCRE 2001: 59-
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: Towards a Better Understanding of Web Applications. WSE 2001: 112-116
2000
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan T. Bowman, Michael W. Godfrey, Richard C. Holt: Connecting architecture reconstruction frameworks. Information & Software Technology 42(2): 91-102 (2000)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Richard C. Holt, Rainer Koschke: Workshop on standard exchange format (WoSEF). ICSE 2000: 805-806
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hoda Fahmy, Richard C. Holt: Software Architecture Transformations. ICSM 2000: 88-96
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John B. Tran, Michael W. Godfrey, Eric H. S. Lee, Richard C. Holt: Architectural Repair of Open Source Software. IWPC 2000: 48-59
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: On the Stability of Software Clustering Algorithms. IWPC 2000: 211-
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hoda Fahmy, Richard C. Holt: Using Graph Rewriting to Specify Software Architectural Transformations. ASE 2000: 187-196
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed E. Hassan, Richard C. Holt: A Reference Architecture for Web Servers. WCRE 2000: 150-
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Andreas Winter, Andy Schürr: GXL: Toward a Standard Exchange Format. WCRE 2000: 162-171
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: ACDC: An Algorithm for Comprehension-Driven Clustering. WCRE 2000: 258-267
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard 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
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Andreas Winter: A Short Introduction to the GXL Software Exchange Format. WCRE 2000: 299-
1999
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Software architecture abstraction and aggregation as algebraic manipulations. CASCON 1999: 5
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John B. Tran, Richard C. Holt: Forward and reverse repair of software architecture. CASCON 1999: 12
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan T. Bowman, Richard C. Holt, Neil V. Brewster: Linux as a Case Study: Its Extracted Software Architecture. ICSE 1999: 555-563
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Charles L. A. Clarke, Richard C. Holt, Anthony Cox: Browsing and Searching Software Architectures. ICSM 1999: 381-390
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan T. Bowman, Richard C. Holt: Reconstructing Ownership Architectures To Help Understand Software Systems. IWPC 1999: 28-37
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: MoJo: A Distance Metric for Software Clusterings. WCRE 1999: 187-
1998
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan T. Bowman, Richard C. Holt: Software architecture recovery using Conway's law. CASCON 1998: 6
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: Software Botryology: Automatic Clustering of Software Systems. DEXA Workshop 1998: 811-818
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Richard C. Holt: The Ramp-Up Problem in Software Projects: A Case Study of How Software Immigrants Naturalize. ICSE 1998: 361-370
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Susan Elliott Sim, Charles L. A. Clarke, Richard C. Holt: Archetypal Source Code Searches: A Survey of Software Developers and Maintainers. IWPC 1998: 180-
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Structural Manipulations of Software Architecture using Tarski Relational Algebra. WCRE 1998: 210-219
1997
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hoda Fahmy, Richard C. Holt, Spiros Mancoridis: Repairing software style using graph grammars. CASCON 1997: 6
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: The Orphan Adoption Problem in Architecture Maintenance. WCRE 1997: 76-
1996
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vassilios Tzerpos, Richard C. Holt: A hybrid process for recovering software architecture. CASCON 1996: 38
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiros Mancoridis, Richard C. Holt: Recovering the Structure of Software Systems Using Tube Graph Interconnection Clustering. ICSM 1996: 23-
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, J. Y. Pak: GASE: visualizing Software Evolution-in-the-Large. WCRE 1996: 163-
1995
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elliot B. Koffman, Richard C. Holt, Chrysanne Dimarco: Turing - problem solving and program design. Addison-Wesley 1995, isbn 978-0-201-42640-3, pp. I-XIII, 1-705
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ian Carmichael, Vassilios Tzerpos, Richard C. Holt: Design maintenance: unexpected architectural interactions (experience report). ICSM 1995: 134-
1994
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiros 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
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael W. Godfrey, Richard C. Holt, Spiros Mancoridis: Prototyping a Visual Formalism for System Modelling. ICSE Workshop on SE-HCI 1994: 211-224
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Introducing undergraduates to object orientation using the Turing language. SIGCSE 1994: 324-328
1993
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiros Mancoridis, Richard C. Holt, David A. Penny: A Conceptual Framework for Software Development. ACM Conference on Computer Science 1993: 74-80
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spiros Mancoridis, Richard C. Holt, David A. Penny: A "curriculum-cycle" environment for teaching programming. SIGCSE 1993: 15-19
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rhys 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
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Dennis de Champeaux: A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John 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)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, David A. Penny, Spiros Mancoridis: Multicolour programming and metamorphic programming: object oriented programming-in-the-large. CASCON 1992: 43-58
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Jacob Slonim: An agenda for research directions. CASCON 1992: 81-90
1991
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander 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)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Terry Stanhope, George Lausman: Object oriented programming: looking ahead to the year 2000. CASCON 1991: 131-151
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David A. Penny, Richard C. Holt, Michael W. Godfrey: Formal Specification in Metamorphic Programing. VDM Europe (1) 1991: 11-30
1990
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James R. Cordy, Richard C. Holt: Code Generation Using an Orthogonal Model. Softw., Pract. Exper. 20(3): 301-320 (1990)
1989
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
G.-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
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, James R. Cordy: The Turing Programming Language. Commun. ACM 31(12): 1410-1423 (1988)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Device Management in TURING PLUS. Operating Systems Review 22(1): 33-41 (1988)
1987
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Data Descriptors: A Compile-Time Model of Data and Addressing. ACM Trans. Program. Lang. Syst. 9(3): 367-389 (1987)
1985
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky: SRE-A Syntax Recognizing Editor. Softw., Pract. Exper. 15(5): 489-497 (1985)
1982
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David T. Barnard, Richard C. Holt: Hierarchic syntax error repair for LR grammars. International Journal of Parallel Programming 11(4): 231-258 (1982)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract). Operating Systems Review 16(1): 4-5 (1982)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: A Short Introduction to Concurrent Euclid. SIGPLAN Notices 17(5): 60-79 (1982)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard 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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, David B. Wortman: A Model for Implementing Euclid Modules and Prototypes. ACM Trans. Program. Lang. Syst. 4(4): 552-562 (1982)
1981
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David 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
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, David B. Wortman: A model for implementing Euclid modules and type templates. SIGPLAN Symposium on Compiler Construction 1979: 8-12
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James R. Cordy, Richard C. Holt, David B. Wortman: Semantic charts: A diagrammatic approach to semantic processing. SIGPLAN Symposium on Compiler Construction 1979: 39-49
1978
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, G. Scott Graham, Edward D. Lazowska, M. A. Scott: Announcing Concurrent SP/k. Operating Systems Review 12(2): 4-7 (1978)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe: The Euclid Language: a progress report. ACM Annual Conference (1) 1978: 111-115
1977
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard 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
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196 (1972)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt, Edward M. Reingold: On the Time Required to Detect Cycles and Connectivity in Graphs. Mathematical Systems Theory 6(2): 103-106 (1972)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
1971
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Comments on Prevention of System Deadlocks. Commun. ACM 14(1): 36-38 (1971)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard C. Holt: Some Deadlock Properties of Computer Systems. SOSP 1971: 64-71

Coauthor Index

1Raihan Al-Ekram
[c97] [c93] [c92] [c90] [c89] [c79] [c69]
2Mina Askari
[c73]
3J. W. Atwood
[c2]
4David T. Barnard
[j10] [j4]
5Ivan T. Bowman
[j20] [c32] [c30] [c28]
6Neil V. Brewster
[c32]
7Ian Carmichael
[c18]
8Dennis de Champeaux
[j18] [j17]
9Charles L. A. Clarke
[c31] [c25]
10Doug Cooper
[c12]
11James R. Cordy
[c48] [j15] [j14] [j7] [c6] [c4] [c3] [j4]
12Anthony Cox
[c31]
13David R. Crowe
[c6] [c3]
14Ian J. Davis
[c98] [c88] [c68]
15Thomas R. Dean (Thomas Roy Dean)
[c46]
16Stephan Diehl
[j23] [c72]
17Christian Dietrich
[c101]
18Chrysanne Dimarco
[b1]
19Frank J. Dudinsky
[j11]
20Steve M. Easterbrook
[c55] [c50]
21Hoda Fahmy
[c48] [c43] [c40] [c23]
22Rudolf Ferenc
[c47]
23Patrick J. Finnigan
[j19]
24Daniel P. Friedman
[c12]
25M. Funkenhauser
[c7]
26Daniel M. Germán
[c85] [c83]
27Michael W. Godfrey
[c98] [c96] [c91] [j28] [c87] [c86] [c85] [c84] [c82] [c80] [c77] [c76] [c75] [c69] [j20] [c42] [c17] [c16] [c8]
28G. Scott Graham
[j5]
29G.-L. Grenier
[c7]
30Ian H. Griggs
[c6]
31M. S. Grushcow
[c2]
32Tibor Gyimóthy
[c47]
33V. Carl Hamacher
[j16]
34Ahmed E. Hassan
[c78] [j27] [c74] [j25] [j24] [j23] [j22] [c72] [c71] [c70] [c67] [c66] [c64] [c63] [c62] [c60] [c59] [c58] [c57] [c56] [c54] [c53] [c51] [c49] [c45] [c39] [c36]
35Abram Hindle
[c96] [c91] [j28] [c87] [c86] [c85] [c84] [c83] [c82] [c80] [c77] [c76] [c75]
36Chris Hobbs
[c79]
37John Hogg
[j17]
38J. J. Horning
[c2]
39Zhen Ming Jiang
[c75] [c74] [c66]
40Philip M. Johnson
[j22]
41Rhys Price Jones
[c12]
42Ivan Kalas
[j19]
43Cory Kapser
[c69]
44Scott Kerr
[j19]
45Elliot B. Koffman
[b1]
46Walid Koleilat
[c75]
47Kostas Kontogiannis
[j19]
48Rainer Koschke
[c47] [c44]
49Bruno Laguë
[c36]
50Sébastien Lapierre
[c36]
51George Lausman
[c9]
52Edward D. Lazowska
[j5]
53Doug Lea
[j17]
54Charles Leduc
[c36]
55Eric H. S. Lee
[c42]
56Yuan Lin
[j21] [c52]
57Daniel Lohmann
[c101]
58Andrew J. Malton
[c65] [c52] [c46]
59Spiros Mancoridis
[c23] [c20] [c17] [c16] [c14] [c13] [c11]
60Serge Mankovski
[c98] [c94] [c88]
61Nick Minchenko
[c98]
62Audris Mockus
[j24] [j22] [c64]
63John Mylopoulos
[j19]
64Hausi A. Müller
[j19]
65Sarah Nadi
[c101] [c99] [c95] [c94] [c88]
66Raymond Nguyen
[c100]
67J. Y. Pak
[c19]
68David A. Penny
[c14] [c13] [c11] [c8]
69Stephen G. Perelgut
[j19]
70Edward M. Reingold
[j2]
71Peter Robinson
[c12]
72Andy Schürr
[j26] [c38]
73M. A. Scott
[j5]
74Kenneth C. Sevcik
[c2]
75Susan Elliott Sim
[j26] [c55] [c50] [c47] [c44] [c31] [c26] [c25]
76Jacob Slonim
[c10]
77Claus W. Spitzer
[c60]
78Terry Stanhope
[c9]
79Martin Stanley
[j19]
80Alexander D. Stoyen (Alexander D. Stoyenko)
[j16]
81Nikita Synytskyy
[c68]
82Reinhard Tartler
[c101]
83John B. Tran
[c42] [c33]
84Dennis Tsichritzis
[c2]
85Vassilios Tzerpos
[c41] [c37] [c29] [c27] [c22] [c21] [c18]
86Alan Wills
[j17]
87Andreas Winter
[j26] [c38] [c35]
88Kenny Wong
[j19]
89David B. Wortman
[j7] [j6] [c6] [c5] [c4] [c3] [j4]
90Jingwei Wu
[c78] [c70] [c67] [c61] [c60] [c58] [c49]
91Safwat G. Zaky
[j11]

Colors in the list of coauthors

Last update Fri May 24 16:17:19 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page