Walter F. Tichy

Orcid: 0000-0002-1288-454X

Affiliations:
  • Karlsruhe Institute of Technology, Germany


According to our database1, Walter F. Tichy authored at least 196 papers between 1979 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2012, "For contributions to software engineering and revision control systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Analysis of Acceleration Structure Parameters and Hybrid Autotuning for Ray Tracing.
IEEE Trans. Vis. Comput. Graph., 2023

2022
Workings of science: How software engineering research became empirical.
Ubiquity, 2022

Workings of science: Debunked software theories.
Ubiquity, 2022

2021
Dataset of "Knowledge-based Sense Disambiguation of Multiword Expressions in Requirements Documents".
Dataset, August, 2021

Supplementary Material of "Improving Traceability Link Recovery Using Fine-grained Requirements-to-Code Relations".
Dataset, July, 2021

Supplementary Material of "Improving Traceability Link Recovery Using Fine-grained Requirements-to-Code Relations".
Dataset, July, 2021

Supplementary Material of "Improving Traceability Link Recovery Using Fine-grained Requirements-to-Code Relations".
Dataset, July, 2021

Supplementary Material of "Improving Traceability Link Recovery Using Fine-grained Requirements-to-Code Relations".
Dataset, July, 2021

How Does a COVID mRNA vaccine really work?: an interview with Dr. Evelyn Tichy.
Ubiquity, 2021

Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding.
Proceedings of the Software Engineering 2021, 2021

Knowledge-based Sense Disambiguation of Multiword Expressions in Requirements Documents.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Improving Traceability Link Recovery Using Fine-grained Requirements-to-Code Relations.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

2020
Supplementary Material of "NoRBERT: Transfer Learning for Requirements Classification".
Dataset, May, 2020

Students implement the European Student Card.
Ubiquity, 2020

Towards Programming in Natural Language: Learning New Functions from Spoken Utterances.
Int. J. Semantic Comput., 2020

At your Command! An Empirical Study on How LaypersonsTeach Robots New Functions.
CoRR, 2020

Roger that! Learning How Laypersons Teach New Functions to Intelligent Systems.
Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

Context Classification in Dialog-Based Interaction.
Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

NoRBERT: Transfer Learning for Requirements Classification.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2019
Natural Language Programming: How Laypersons Teach New Functions to Robots.
Dataset, October, 2019

Students tackle the routing problem for in-traffic emissions tests.
Ubiquity, 2019

Computing a landing spot on Mars: an interview with Victor Pankratius.
Ubiquity, 2019

Dialog-Based Meaning Derivation Service for Technical Language Domains.
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Automatic Generation of Virtual Assistants from Databases using Active Ontologies.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Natural Language Data Queries on Multiple Heterogenous Data Sources.
Proceedings of the End-User Development - 7th International Symposium, 2019

Hybrid Online Autotuning for Parallel Ray Tracing.
Proceedings of the 19th Eurographics Symposium on Parallel Graphics and Visualization, 2019

2018
Artificial intelligence in politics: an interview with Sven Körner and Mathias Landhäußer of thingsTHINKING.
Ubiquity, 2018

2017
Is quantum computing for real?: an interview with Catherine McGeoch of D-Wave Systems.
Ubiquity, 2017

Editorial of special issue on Software Engineering for Parallel Systems.
J. Syst. Softw., 2017

Context Model Acquisition from Spoken Utterances.
Int. J. Softw. Eng. Knowl. Eng., 2017

NLCI: a natural language command interpreter.
Autom. Softw. Eng., 2017

Online-Autotuning in the Presence of Algorithmic Choice.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016
Unums 2.0: An Interview with John L. Gustafson.
Ubiquity, 2016

Changing the Game: Dr. Dave Schrader on sports analytics.
Ubiquity, 2016

The End of (Numeric) Error: An interview with John L. Gustafson.
Ubiquity, 2016

The Rise of Computational Biology: an interview with Prof. Thomas Lengauer.
Ubiquity, 2016

Online-Autotuning of Parallel SAH kD-Trees.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

2015
Automated bug fixing: an interview with Westley Weimer, Department of Computer Science, University of Virginia and Martin Monperrus, University of Lille and INRIA, Lille, France.
Ubiquity, 2015

Prototyp einer natürlichsprachlichen Schnittstelle für Tabellenkalkulation.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

nlrpBENCH: A Benchmark for Natural Language Requirements Processing.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

DeNom: a tool to find problematic nominalizations using NLP.
Proceedings of the 2015 IEEE Second International Workshop on Artificial Intelligence for Requirements Engineering, 2015

Patty: a pattern-based parallelization tool for the multicore age.
Proceedings of the Sixth International Workshop on Programming Models and Applications for Multicores and Manycores, 2015

An empirical study on parallelism in modern open-source projects.
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Interleaving generation for data race and deadlock reproduction.
Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Predicting and Witnessing Data Races Using CSP.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Parallelizing a Real-Time Audio Application - A Case Study in Multithreaded Software Engineering.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Initial Implementation of Natural Language Turn-Based Dialog System.
Proceedings of the Proceeding of the Seventh International Conference on Intelligent Human Computer Interaction, 2015

Poster: ProNat: An Agent-Based System Design for Programming in Spoken Natural Language.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Combining Unit Tests for Data Race Detection.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

2014
The Multicore Transformation Closing Statement: The multicore transformation (Ubiquity symposium).
Ubiquity, 2014

Auto-tuning parallel software: an interview with Thomas Fahringer: the multicore transformation (Ubiquity symposium).
Ubiquity, 2014

The Multicore Transformation Opening Statement: The multicore transformation (Ubiquity symposium).
Ubiquity, 2014

Where's the science in software engineering?: Ubiquity Symposium: The science in computer science.
Ubiquity, 2014

Library-Independent Data Race Detection.
IEEE Trans. Parallel Distributed Syst., 2014

From requirements to UML models and back: how automatic processing of text can support requirements engineering.
Softw. Qual. J., 2014

Autotuning and Self-Adaptability in Concurrency Libraries.
CoRR, 2014

Transferring research into the real world: How to improve RE with AI in the automotive industry.
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

SEPS 2014: first international workshop on software engineering for parallel systems.
Proceedings of the SPLASH'14, 2014

Locating Parallelization Potential in Object-Oriented Data Structures.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Deriving time lines from texts.
Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2014

2013
Empirical software research: an interview with Dag Sjøberg, University of Oslo, Norway.
Ubiquity, 2013

Application-independent Autotuning for GPUs.
Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

Automatic generation of parallel unit tests.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads.
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

An Evaluation of Data Race Detectors Using Bug Repositories.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012
Die Multicore-Transformation und ihre Herausforderung an die Softwaretechnik.
Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Automated test-case generation by cloning.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Synchronizing domain models with natural language specifications.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

Auto-Tuning Parallel Application Performance.
Fundamentals of Multicore Software Development, 2012

2011
Scheduling von Transportern auf Mehrkernrechnern (Truck Scheduling on Multicore).
it Inf. Technol., 2011

Dynamic Data Race Detection for Correlated Variables.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

The Evidence for Design Patterns.
Proceedings of the Making Software - What Really Works, and Why We Believe It., 2011

2010
An Interview with Prof. Andreas Zeller: Mining your way to software reliability.
Ubiquity, 2010

Text to software: developing tools to close the gaps in software engineering.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Parallelizing an Index Generator for Desktop Search.
Proceedings of the Computer Architecture, 2010

Identifying ad-hoc synchronization for enhanced race detection.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Engineering parallel applications with tunable architectures.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Multicore software engineering: the next challenge in software engineering.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Language-Based Tuning Mechanism for Task and Pipeline Parallelism.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Creating software models with semantic annotation.
Proceedings of the third workshop on Exploiting Semantic Annotations in Information Retrieval, 2010

2009
Parallelizing Bzip2: A Case Study in Multicore Software Engineering.
IEEE Softw., 2009

Helgrind+: An efficient dynamic race detector.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

High-level multicore programming with XJava.
Proceedings of the 31st International Conference on Software Engineering, 2009

Atune-IL: An Instrumentation Language for Auto-tuning Parallel Applications.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

XJava: Exploiting Parallelism with Object-Oriented Stream Programming.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008
Monitor.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Mapping functions and data redistribution for parallel files.
J. Supercomput., 2008

Herausforderung Multikern-Systeme.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

On-the-fly race detection in multi-threaded programs.
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

International workshop on multicore software engineering (IWMSE 2008).
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Software engineering for multicore systems: an experience report.
Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008

2007
Schlanke Produktionsweisen in der modernen Softwareentwicklung.
Wirtschaftsinf., 2007

Thematic Role Based Generation of UML Models from Real World Requirements.
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

Empirische Methodik in der Softwaretechnik im Allgemeinen und bei der Software-Visualisierung im Besonderen.
Proceedings of the Software Engineering 2007, 2007

Empirical Methods in Software Engineering Research.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Communication Middleware for Smart Room Environments.
Proceedings of the Ambient Intelligence, European Conference, 2007

Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

2006
Logging kernel events on clusters.
Future Gener. Comput. Syst., 2006

Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Status of Empirical Research in Software Engineering.
Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006

2005
Impact of software engineering research on the practice of software configuration management.
ACM Trans. Softw. Eng. Methodol., 2005

Die Bedeutung der Empirie fuer die Softwaretechnik.
Proceedings of the Software Engineering 2005, 2005

Ist XP etwas für mich? Empirische Studien zur Einschätzung von XP.
Proceedings of the Software Engineering 2005, 2005


On the design and performance of kernel-level TCP connection endpoint migration in cluster-based servers.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004
Guest Editors' Introduction: 2003 International Conference on Software Engineering.
IEEE Trans. Software Eng., 2004

Measuring High Performance Computing Productivity.
Int. J. High Perform. Comput. Appl., 2004

A Controlled Experiment Comparing the Maintainability of Programs Designed with and without Design Patterns-A Replication in a Real Programming Environment.
Empir. Softw. Eng., 2004

On the Design and Performance of Remote Disk Drivers for Clusters of PCs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Request Distribution-Aware Caching in Cluster-Based Web Servers.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Agile Development: Evaluation and Experience.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Integrating collective I/O and cooperative caching into the "clusterfile" parallel file system.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004

Speculative TCP Connection Admission Using Connection Migration in Cluster-Based Servers.
Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

04051 Abstracts Collection - Perspectives Workshop: Empirical Theory and the Science of Software Engineering.
Proceedings of the Perspectives Workshop: Empirical Theory and the Science of Software Engineering, 2004

2003
Comments on "Formal Methods Application: An Empirical Tale of Software Development".
IEEE Trans. Software Eng., 2003

A controlled experiment on inheritance depth as a cost factor for code maintenance.
J. Syst. Softw., 2003

Fast Parallel I/O on Cluster Computers
CoRR, 2003

Clusterfile: a flexible physical layout parallel file system.
Concurr. Comput. Pract. Exp., 2003

Renaming Detection.
Autom. Softw. Eng., 2003

Fast Parallel I/O on ParaStation Clusters.
Proceedings of the Parallel Computing: Software Technology, 2003

Transparent Distributed Threads for Java.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Semantic Software Engineering Approaches for Automatic Service Lookup and Inegration.
Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

Panel: Empirical Validation-What, Why, When, and How.
Proceedings of the 25th International Conference on Software Engineering, 2003

Adding Autonomic Functionality to Object-Oriented Applications.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

View I/O: Improving the Performance of Non-Contiguous I/O.
Proceedings of the 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 2003

CARDs: Cluster-Aware Remote Disks.
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003

2002
Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program Maintenance.
IEEE Trans. Software Eng., 2002

Impact of the research community on the field of software configuration management: summary of an impact project report.
ACM SIGSOFT Softw. Eng. Notes, 2002

Cluster-Computing und Computational Science mit der Wuppertaler Alpha-Linux-Cluster-Engine ALiCE.
Prax. Inf.verarb. Kommun., 2002

Extensible Language-Aware Merging.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Impact of the research community for the field of software configuration management.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions.
IEEE Trans. Software Eng., 2001

Case Study: Extreme Programming in a University Environment.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Software Configuration Management State of the Art.
Proceedings of the Managing the Change: Software Configuration and Change Management, 2001

2000
Hints for Reviewing Empirical Work in Software Engineering.
Empir. Softw. Eng., 2000

Self-Tuning Parallelism.
Proceedings of the High-Performance Computing and Networking, 8th International Conference, 2000

1999
On the Design and Semantics of User-Space Communication Subsystems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

JAVA as a Basis for Parallel Data Mining in Workstation Clusters.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking.
IEEE Trans. Software Eng., 1998

Delta Algorithms: An Empirical Analysis.
ACM Trans. Softw. Eng. Methodol., 1998

Addendum to "Delta Algorithms: An Empirical Analysis".
ACM Trans. Softw. Eng. Methodol., 1998

ParaStation: Efficient parallel computing by clustering workstations: Design and evaluation.
J. Syst. Archit., 1998

The ParaStation Project: Using Workstations as Building Blocks for Parallel Computing.
Inf. Sci., 1998

Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH).
Inform. Forsch. Entwickl., 1998

Should Computer Scientists Experiment More?
Computer, 1998

Design and Evaluation of ParaStation 2.
Proceedings of the Workshop on Wide Area Networks and High Performance Computing, 1998

ParaStation User Level Communication.
Proceedings of the Workshop on Wide Area Networks and High Performance Computing, 1998

PULC: ParaStation User-Level Communication. Design and Overview.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

Prefetching on the Cray-T3E.
Proceedings of the 12th international conference on Supercomputing, 1998

1997
A Catalogue of General-Purpose Software Design Patterns.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Propagator: A Family of Patterns.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

Distributed Configuration Management via Java and the World Wide Web.
Proceedings of the System Configuration Management, 1997

1996
Distributed Revision Control Via the World Wide Web.
Proceedings of the System Configuration Management, 1996

An Empirical Study of Delta Algorithms.
Proceedings of the System Configuration Management, 1996

PSPVM: Implementing PVM on a High-Speed Interconnect for Worstation Clusters.
Proceedings of the Parallel Virtual Machine, 1996

The ParaStaion Project: Using Workstations as Building Blocks for Parallel Computing.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

An Experiment to Assess the Benefits of Inter-Module Type Checking.
Proceedings of the 3rd IEEE International Software Metrics Symposium (METRICS 1996), 1996

Dynamically Adapting the Degree of Parallelism with Reflexive Programs.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996

The ParaStation Project.
Proceedings of the Parallel Computation, 1996

1995
Authors' Response.
ACM Trans. Softw. Eng. Methodol., 1995

Summary of the Dagstuhl workshop on software architecture.
ACM SIGSOFT Softw. Eng. Notes, 1995

Experimental evaluation in computer science: A quantitative study.
J. Syst. Softw., 1995

1994
The Cost of Selective Recompilation and Environment Processing.
ACM Trans. Softw. Eng. Methodol., 1994

1993
Summary of the Dagstuhl workshop on future directions in software engineering: February 17-21, 1992, Schloß Dagstuhl.
ACM SIGSOFT Softw. Eng. Notes, 1993

1992
Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme.
Inform. Forsch. Entwickl., 1992

Prüfungen und Stoffabgrenzung in der Softwaretechnik.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 1992

Programming-in-the-Large: Past, Present, and Future.
Proceedings of the 14th International Conference on Software Engineering, 1992

On Experimental Computer Science.
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

1991
Hochgradiger Parallelismus.
Proceedings of the Fifteenth Conference on Supercomputers and Applications, 1991

Discussion: Parallelism
Proceedings of the Code Generation, 1991

Compiling for Massively Parallel Machines.
Proceedings of the Code Generation, 1991

MODULA-2 and Its Compilation.
Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991

1990
EDGE: An Extendible Graph Editor
Softw. Pract. Exp., 1990

Persistence for Arbitrary C++ Data Structures.
Proceedings of the Security and Persistence, 1990

1989
Parallel Matrix Multiplication on the Connection Machine.
Int. J. High Speed Comput., 1989

NLH/E: A Natural Language Help System.
Proceedings of the 11th International Conference on Software Engineering, 1989

Software Change Dynamics or Half of all Ada Compilations are Redundant.
Proceedings of the ESEC '89, 1989

1988
Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation".
ACM Trans. Program. Lang. Syst., 1988

Plenary Discussion: "What is Configuration?".
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Tools for Software Configuration Management.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

1987
What Can Software Engineers Learn from Artificial Intelligence?
Computer, 1987

Performance Analysis of File Replication Schemes in Distributed Systems.
Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1987

Knowledge-based Editors for Directed Graphs.
Proceedings of the ESEC '87, 1987

1986
Smart Recompilation.
ACM Trans. Program. Lang. Syst., 1986

SDI software.
ACM SIGSOFT Softw. Eng. Notes, 1986

A replicated, distributed file system.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

A data model for programming support environments and its application.
Proceedings of the Trends in Information Systems, 1986

1985
RCS - A System for Version Control.
Softw. Pract. Exp., 1985

Smart Recompilation.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984
The String-to-String Correction Problem with Block Moves
ACM Trans. Comput. Syst., 1984

Advanced Operating Systems.
Computer, 1984

1983
Stork: An Experimental Migrating File System for Computer Networks.
Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

1982
Design, Implementation, and Evaluation of a Revision Control System.
Proceedings of the Proceedings, 1982

RCS: A Revision Control System.
Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982

Adabase: a data base for Ada programs.
Proceedings of the AdaTEC Conference on Ada, 1982

1979
Software Development Based on Module Interconnection.
Proceedings of the 4th International Conference on Software Engineering, 1979


  Loading...