Technical Reports
1997
Soundness and Cut-Elimination in NaDSyL
On Digital Money and Card Technologies
Video and Audio Streams Over an IP/ATM Wide Area Network
Random Interval Graphs
Surface Reflectance and Shape from Images Using Collinear Light Source
An Object-Oriented Graphics Kernel
Surface and Shading Models from Real Images for Computer Graphics
A Fast Heuristic For Finding The Minimum Weight Triangulation
Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results
Average-Case Bounds for the Complexity of Path-Search
Conceptual Module Querying for Software Reengineering
Extending and Managing Software Reflexion Models
The Measured Access Characteristics of World-Wide-Web Client Proxy Caches
A Logic For Default Reasoning
Supporting Learners in a Remote Computer-Supported Collaborative Learning Environment: The Importance of Task and Communication
A Network-Enhanced Volume Renderer