Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Snapshots and Software Transactional Memory

Science of Computer Programming

English

An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology

Science of Computer Programming

English

Polytypic Data Conversion Programs

Science of Computer Programming

English

Feature Integration Using a Feature Construct

Science of Computer Programming

English

Geometric Properties of Bisector Surfaces

Graphical Models

Computer Graphics

Computer-Aided Design

English

Minimizing the Distortion of Affine Spline Motions

Graphical Models

Computer Graphics

Computer-Aided Design

English

A New Programming Technique for Lazy Functional Languages

Science of Computer Programming

English

A New Approach to Compiling Adaptive Programs

Science of Computer Programming

English

Specification of Service Level Agreements: Problems, Principles and Practices

Software Quality Journal

Media Technology

English

The TXL Source Transformation Language

Science of Computer Programming

English