default search action
Richard C. Holt
Person information
- affiliation: University of Waterloo, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c109]Ian J. Davis, Mike Wexler, Cheng Zhang, Richard C. Holt, Theresa Weber:
Bash2py: A bash to Python translator. SANER 2015: 508-511 - 2014
- [j33]Sarah Nadi, Richard C. Holt:
The Linux kernel: a case study of build system variability. J. Softw. Evol. Process. 26(8): 730-746 (2014) - [c108]Ian J. Davis, Richard C. Holt, Ron Mraz:
Fact extraction from bash in support of script migration. CSMR-WCRE 2014: 363-366 - 2013
- [c107]Ian J. Davis, Hadi Hemmati, Richard C. Holt, Michael W. Godfrey, Douglas Neuse, Serge Mankovskii:
Regression-based utilization prediction algorithms: an empirical investigation. CASCON 2013: 106-120 - [c106]Ian J. Davis, Hadi Hemmati, Richard C. Holt, Michael W. Godfrey, Douglas Neuse, Serge Mankovskii:
Storm prediction in a cloud. PESOS@ICSE 2013: 37-40 - [c105]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 - [p1]John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt:
The Geneva Convention on the Treatment of Object Aliasing. Aliasing in Object-Oriented Programming 2013: 7-14 - 2012
- [c104]Raymond Nguyen, Richard C. Holt:
Life and death of software packages: an evolutionary study of Debian. CASCON 2012: 192-204 - [c103]Sarah Nadi, Richard C. Holt:
Mining Kbuild to Detect Variability Anomalies in Linux. CSMR 2012: 107-116 - [c102]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
- [c101]Raihan Al-Ekram, Richard C. Holt:
QoS-Aware Middleware for Scalable Replication. AINA Workshops 2011: 13-20 - [c100]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Multifractal aspects of software development. ICSE 2011: 968-971 - [c99]Sarah Nadi, Richard C. Holt:
Make it or Break it: Mining Anomalies from Linux Kbuild. WCRE 2011: 315-324 - 2010
- [c98]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 - [c97]Raihan Al-Ekram, Richard C. Holt:
Optimal Tradeoff. FCS 2010: 153-159 - [c96]Raihan Al-Ekram, Richard C. Holt:
Multi-consistency Data Replication. ICPADS 2010: 568-577 - [c95]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Software process recovery using Recovered Unified Process Views. ICSM 2010: 1-10 - [c94]Raihan Al-Ekram, Richard C. Holt:
OSSR: Optimal Single Site Replication. ISPA 2010: 433-441 - [c93]Raihan Al-Ekram, Richard C. Holt:
Towards Adaptive Replication Reconfiguration for QoS. ITNG 2010: 678-683
2000 – 2009
- 2009
- [j32]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) - [c92]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 - [c91]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Mining recurrent activities: Fourier analysis of change events. ICSE Companion 2009: 295-298 - [c90]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
What's hot and what's not: Windowed developer topic analysis. ICSM 2009: 339-348 - [c89]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
- [c88]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Reading Beside the Lines: Indentation as a Proxy for Complexity Metric. ICPC 2008: 133-142 - [c87]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 - [c86]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
From Indentation Shapes to Code Structures. SCAM 2008: 111-120 - [c85]Richard C. Holt:
WCRE 1998 Most Influential Paper: Grokking Software Architecture. WCRE 2008: 5-14 - [c84]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Reverse Engineering CAPTCHAs. WCRE 2008: 59-68 - 2007
- [c83]Raihan Al-Ekram, Richard C. Holt, Chris Hobbs:
Applying a Tradeoff Model (TOM) to TACT. ARES 2007: 351-355 - [c82]Jingwei Wu, Richard C. Holt, Ahmed E. Hassan:
Empirical Evidence for SOC Dynamics in Software Evolution. ICSM 2007: 244-254 - [c81]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Release Pattern Discovery: A Case Study of Database Systems. ICSM 2007: 285-294 - [c80]Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Release Pattern Discovery via Partitioning: Methodology and Case Study. MSR 2007: 19 - [c79]Abram Hindle, Zhen Ming Jiang, Walid Koleilat, Michael W. Godfrey, Richard C. Holt:
YARN: Animating Software Evolution. VISSOFT 2007: 129-136 - 2006
- [j31]Ahmed E. Hassan, Richard C. Holt:
Replaying development history to assess the effectiveness of change propagation tools. Empir. Softw. Eng. 11(3): 335-367 (2006) - [j30]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) - [c78]Zhen Ming Jiang, Ahmed E. Hassan, Richard C. Holt:
Visualizing Clone Cohesion and Coupling. APSEC 2006: 467-476 - [c77]Mina Askari, Richard C. Holt:
Information theoretic evaluation of change prediction models for large-scale software. MSR 2006: 126-132 - 2005
- [j29]Ahmed E. Hassan, Richard C. Holt:
A lightweight approach for migrating web frameworks. Inf. Softw. Technol. 47(8): 521-532 (2005) - [j28]Ahmed E. Hassan, Richard C. Holt, Audris Mockus:
Report on MSR 2004: International workshop on mining software repositories. ACM SIGSOFT Softw. Eng. Notes 30(1): 4 (2005) - [j27]Stephan Diehl, Ahmed E. Hassan, Richard C. Holt:
Report on MSR 2005: international workshop on mining software repositories. ACM SIGSOFT Softw. Eng. Notes 30(5): 1-3 (2005) - [j26]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) - [c76]Ahmed E. Hassan, Richard C. Holt, Stephan Diehl:
MSR 2005 international workshop on mining software repositories. ICSE 2005: 690 - [c75]Ahmed E. Hassan, Richard C. Holt:
The Top Ten List: Dynamic Fault Prediction. ICSM 2005: 263-272 - [c74]Jingwei Wu, Ahmed E. Hassan, Richard C. Holt:
Comparison of Clustering Algorithms in the Context of Software Evolution. ICSM 2005: 525-535 - [c73]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 - [c72]Nikita Synytskyy, Richard C. Holt, Ian J. Davis:
Browsing Software Architectures With LSEdit. IWPC 2005: 176-178 - [c71]Ahmed E. Hassan, Jingwei Wu, Richard C. Holt:
Visualizing Historical Data Using Spectrographs. IEEE METRICS 2005: 31 - [c70]Ahmed E. Hassan, Zhen Ming Jiang, Richard C. Holt:
Source versus Object Code Extraction for Recovering Software Architecture. WCRE 2005: 67-76 - [c69]Andrew J. Malton, Richard C. Holt:
Boxology of NBA and TA: A Basis for Understanding Software Architecture. WCRE 2005: 187-195 - 2004
- [c68]Ahmed E. Hassan, Richard C. Holt, Audris Mockus:
MSR 2004: International Workshop on Mining Software Repositories. ICSE 2004: 770-771 - [c67]Ahmed E. Hassan, Richard C. Holt:
Predicting Change Propagation in Software Systems. ICSM 2004: 284-293 - [c66]Ahmed E. Hassan, Richard C. Holt:
Using Development History Sticky Notes to Understand Software Architecture. IWPC 2004: 183-193 - [c65]Jingwei Wu, Richard C. Holt:
Resolving Linkage Anomalies in Extracted Software System Models. IWPC 2004: 241-245 - [c64]Jingwei Wu, Claus W. Spitzer, Ahmed E. Hassan, Richard C. Holt:
Evolution Spectrographs: Visualizing Punctuated Change in Software Evolution. IWPSE 2004: 57-66 - [c63]Ahmed E. Hassan, Richard C. Holt:
Studying The Evolution of Software Systems Using Evolutionary Code Extractors. IWPSE 2004: 76-81 - [c62]Jingwei Wu, Richard C. Holt, Ahmed E. Hassan:
Exploring Software Evolution Using Spectrographs. WCRE 2004: 80-89 - [c61]Ahmed E. Hassan, Richard C. Holt:
The Small World of Software Reverse Engineering. WCRE 2004: 278-283 - [e1]Ahmed E. Hassan, Richard C. Holt, Audris Mockus:
Proceedings of the 1st International Workshop on Mining Software Repositories, MSR@ICSE 2004, Edinburgh, Scotland, UK, 25th May 2004. 2004 [contents] - 2003
- [c60]Ahmed E. Hassan, Richard C. Holt:
Migrating Web Frameworks Using Water Transformations. COMPSAC 2003: 296-303 - [c59]Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt:
Using Benchmarking to Advance Research: A Challenge to Software Engineering. ICSE 2003: 74-83 - [c58]Ahmed E. Hassan, Richard C. Holt:
The Chaos of Software Development. IWPSE 2003: 84-94 - [c57]Ahmed E. Hassan, Richard C. Holt:
ADG: Annotated Dependency Graphs for Software Understanding. VISSOFT 2003: 41-45 - [c56]Ahmed E. Hassan, Richard C. Holt:
Studying the Chaos of Code Development. WCRE 2003: 123-133 - [c55]Yuan Lin, Richard C. Holt, Andrew J. Malton:
Completeness of a Fact Extractor. WCRE 2003: 196-205 - [c54]Yuan Lin, Richard C. Holt:
Formalizing Fact Extraction. ateM 2003: 93-102 - 2002
- [c53]Ahmed E. Hassan, Richard C. Holt:
Architecture recovery of web applications. ICSE 2002: 349-359 - [c52]Susan Elliott Sim, Richard C. Holt, Steve M. Easterbrook:
On Using a Benchmark to Evaluate C++ Extractors. IWPC 2002: 114-123 - [c51]Jingwei Wu, Ahmed E. Hassan, Richard C. Holt:
Using Graph Patterns to Extract Scenarios. IWPC 2002: 239-247 - 2001
- [c50]Hoda Fahmy, Richard C. Holt, James R. Cordy:
Wins and Losses of Algebraic Transformations of Software Architectures. ASE 2001: 51-62 - [c49]Rudolf Ferenc, Susan Elliott Sim, Richard C. Holt, Rainer Koschke, Tibor Gyimóthy:
Towards a Standard Schema for C/C++. WCRE 2001: 49-58 - [c48]Thomas R. Dean, Andrew J. Malton, Richard C. Holt:
Union Schemas as a Basis for a C++ Extractor. WCRE 2001: 59- - [c47]Ahmed E. Hassan, Richard C. Holt:
Towards a Better Understanding of Web Applications. WSE 2001: 112-116 - 2000
- [j25]Ivan T. Bowman, Michael W. Godfrey, Richard C. Holt:
Connecting architecture reconstruction frameworks. Inf. Softw. Technol. 42(2): 91-102 (2000) - [c46]Susan Elliott Sim, Richard C. Holt, Rainer Koschke:
Workshop on standard exchange format (WoSEF). ICSE 2000: 805-806 - [c45]Hoda Fahmy, Richard C. Holt:
Software Architecture Transformations. ICSM 2000: 88-96 - [c44]John B. Tran, Michael W. Godfrey, Eric H. S. Lee, Richard C. Holt:
Architectural Repair of Open Source Software. IWPC 2000: 48-59 - [c43]Vassilios Tzerpos, Richard C. Holt:
On the Stability of Software Clustering Algorithms. IWPC 2000: 211-218 - [c42]Hoda Fahmy, Richard C. Holt:
Using Graph Rewriting to Specify Software Architectural Transformations. ASE 2000: 187-196 - [c41]Ahmed E. Hassan, Richard C. Holt:
A Reference Architecture for Web Servers. WCRE 2000: 150- - [c40]Richard C. Holt, Andreas Winter, Andy Schürr:
GXL: Toward a Standard Exchange Format. WCRE 2000: 162-171 - [c39]Vassilios Tzerpos, Richard C. Holt:
ACDC: An Algorithm for Comprehension-Driven Clustering. WCRE 2000: 258-267 - [c38]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 - [c37]Richard C. Holt, Andreas Winter:
A Short Introduction to the GXL Software Exchange Format. WCRE 2000: 299-
1990 – 1999
- 1999
- [c36]Richard C. Holt:
Software architecture abstraction and aggregation as algebraic manipulations. CASCON 1999: 5 - [c35]John B. Tran, Richard C. Holt:
Forward and reverse repair of software architecture. CASCON 1999: 12 - [c34]Ivan T. Bowman, Richard C. Holt, Neil V. Brewster:
Linux as a Case Study: Its Extracted Software Architecture. ICSE 1999: 555-563 - [c33]Susan Elliott Sim, Charles L. A. Clarke, Richard C. Holt, Anthony Cox:
Browsing and Searching Software Architectures. ICSM 1999: 381-390 - [c32]Ivan T. Bowman, Richard C. Holt:
Reconstructing Ownership Architectures To Help Understand Software Systems. IWPC 1999: 28-37 - [c31]Vassilios Tzerpos, Richard C. Holt:
MoJo: A Distance Metric for Software Clusterings. WCRE 1999: 187- - 1998
- [c30]Ivan T. Bowman, Richard C. Holt:
Software architecture recovery using Conway's law. CASCON 1998: 6 - [c29]Vassilios Tzerpos, Richard C. Holt:
Software Botryology: Automatic Clustering of Software Systems. DEXA Workshop 1998: 811-818 - [c28]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 - [c27]Susan Elliott Sim, Charles L. A. Clarke, Richard C. Holt:
Archetypal Source Code Searches: A Survey of Software Developers and Maintainers. IWPC 1998: 180-187 - [c26]Richard C. Holt:
Structural Manipulations of Software Architecture using Tarski Relational Algebra. WCRE 1998: 210-219 - 1997
- [j24]Patrick 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 Syst. J. 36(4): 564-593 (1997) - [c25]Hoda Fahmy, Richard C. Holt, Spiros Mancoridis:
Repairing software style using graph grammars. CASCON 1997: 6 - [c24]Vassilios Tzerpos, Richard C. Holt:
The Orphan Adoption Problem in Architecture Maintenance. WCRE 1997: 76- - 1996
- [c23]Vassilios Tzerpos, Richard C. Holt:
A hybrid process for recovering software architecture. CASCON 1996: 38 - [c22]Spiros Mancoridis, Richard C. Holt:
Recovering the Structure of Software Systems Using Tube Graph Interconnection Clustering. ICSM 1996: 23- - [c21]Richard C. Holt, J. Y. Pak:
GASE: visualizing Software Evolution-in-the-Large. WCRE 1996: 163- - 1995
- [b2]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 - [c20]Ian Carmichael, Vassilios Tzerpos, Richard C. Holt:
Design maintenance: unexpected architectural interactions (experience report). ICSM 1995: 134- - 1994
- [c19]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 - [c18]Michael W. Godfrey, Richard C. Holt, Spiros Mancoridis:
Prototyping a Visual Formalism for System Modelling. ICSE Workshop on SE-HCI 1994: 211-224 - [c17]Richard C. Holt:
Introducing undergraduates to object orientation using the Turing language. SIGCSE 1994: 324-328 - 1993
- [c16]Spiros Mancoridis, Richard C. Holt, David A. Penny:
A Conceptual Framework for Software Development. ACM Conference on Computer Science 1993: 74-80 - [c15]Spiros Mancoridis, Richard C. Holt, David A. Penny:
A "curriculum-cycle" environment for teaching programming. SIGCSE 1993: 15-19 - [c14]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
- [j23]Richard C. Holt, Dennis de Champeaux:
A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992) - [j22]John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt:
The Geneva convention on the treatment of object aliasing. OOPS Messenger 3(2): 11-16 (1992) - [c13]Richard C. Holt, David A. Penny, Spiros Mancoridis:
Multicolour programming and metamorphic programming: object oriented programming-in-the-large. CASCON 1992: 43-58 - [c12]Richard C. Holt, Jacob Slonim:
An agenda for research directions. CASCON 1992: 81-90 - 1991
- [j21]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) - [c11]Richard C. Holt, Terry Stanhope, George Lausman:
Object oriented programming: looking ahead to the year 2000. CASCON 1991: 131-151 - [c10]David A. Penny, Richard C. Holt, Michael W. Godfrey:
Formal Specification in Metamorphic Programing. VDM Europe (1) 1991: 11-30 - 1990
- [j20]James R. Cordy, Richard C. Holt:
Code Generation Using an Orthogonal Model. Softw. Pract. Exp. 20(3): 301-320 (1990)
1980 – 1989
- 1989
- [c9]G.-L. Grenier, Richard C. Holt, M. Funkenhauser:
Policy vs. Mechanism in the Secure TUNIS Operating System. S&P 1989: 84-93 - 1988
- [j19]Richard C. Holt, James R. Cordy:
The Turing Programming Language. Commun. ACM 31(12): 1410-1423 (1988) - [j18]Richard C. Holt:
Device Management in TURING PLUS. ACM SIGOPS Oper. Syst. Rev. 22(1): 33-41 (1988) - 1987
- [j17]Richard C. Holt:
Data Descriptors: A Compile-Time Model of Data and Addressing. ACM Trans. Program. Lang. Syst. 9(3): 367-389 (1987) - 1986
- [j16]Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt:
Abstracts in software engineering - reports. ACM SIGSOFT Softw. Eng. Notes 11(5): 92-94 (1986) - 1985
- [j15]Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky:
SRE-A Syntax Recognizing Editor. Softw. Pract. Exp. 15(5): 489-497 (1985) - 1982
- [j14]David T. Barnard, Richard C. Holt:
Hierarchic syntax error repair for LR grammars. Int. J. Parallel Program. 11(4): 231-258 (1982) - [j13]Richard C. Holt:
TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract). ACM SIGOPS Oper. Syst. Rev. 16(1): 4-5 (1982) - [j12]Richard C. Holt:
A Short Introduction to Concurrent Euclid. ACM SIGPLAN Notices 17(5): 60-79 (1982) - [j11]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) - [j10]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
- [c8]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
1970 – 1979
- 1979
- [c7]Richard C. Holt, David B. Wortman:
A model for implementing Euclid modules and type templates. SIGPLAN Symposium on Compiler Construction 1979: 8-12 - [c6]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
- [j9]Richard C. Holt, G. Scott Graham, Edward D. Lazowska, M. A. Scott:
Announcing Concurrent SP/k. ACM SIGOPS Oper. Syst. Rev. 12(2): 4-7 (1978) - [j8]Richard C. Holt, G. Scott Graham, Edward D. Lazowska, M. A. Scott:
Announcing CONCURRENT SP/k. ACM SIGPLAN Notices 13(5): 65-68 (1978) - [c5]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
- [j7]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) - 1974
- [j6]David Gries, Priar W. Kerrighan, Donald R. Chand, John D. Woolley, Richard C. Holt, Thomas W.-S. Plum, Victor Pasill, Olivier Lecarme, Clinton R. Foulk:
Panel discussion on structured programming. ACM SIGCSE Bull. 6(3): 60-68 (1974) - [c4]Richard C. Holt, David B. Wortman:
A sequence of structured subsets of PL/I. SIGCSE 1974: 129-132 - 1973
- [j5]Richard C. Holt:
Teaching the fatal disease: (or) introductory computer programming using PL/I. ACM SIGPLAN Notices 8(5): 8-23 (1973) - [c3]Richard C. Holt, Marc S. Grushcow:
A short discussion of interprocess communication in the sue/360/370 operating system. SIGPLAN-SIGOPS Interface Meeting 1973: 74-78 - 1972
- [j4]Richard C. Holt:
Some Deadlock Properties of Computer Systems. ACM Comput. Surv. 4(3): 179-196 (1972) - [j3]Richard C. Holt, Edward M. Reingold:
On the Time Required to Detect Cycles and Connectivity in Graphs. Math. Syst. Theory 6(2): 103-106 (1972) - [c2]Kenneth C. Sevcik, J. William Atwood, Marc S. Grushcow, Richard C. Holt, James J. Horning, Dennis Tsichritzis:
Project SUE as a learning experience. AFIPS Fall Joint Computing Conference (1) 1972: 331-338 - 1971
- [b1]Richard C. Holt:
On Deadlock in Computer Science. Cornell University, USA, 1971 - [j2]Richard C. Holt:
Comments on Prevention of System Deadlocks. Commun. ACM 14(1): 36-38 (1971) - [j1]Richard C. Holt:
Models and algorithms for deadlock in computer systems. ACM SIGOPS Oper. Syst. Rev. 5(1): 4-8 (1971) - [c1]Richard C. Holt:
Some Deadlock Properties of Computer Systems. SOSP 1971: 64-71
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint