Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

PRIMA - A Database System Supporting Dynamically Defined Composite Objects

SIGMOD Record
Information SystemsSoftware
1992English

Lazy Rewriting on Eager Machinery

ACM Transactions on Programming Languages and Systems
Software
2000English

Improving Data Locality With Loop Transformations

ACM Transactions on Programming Languages and Systems
Software
1996English

A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler

ACM Transactions on Programming Languages and Systems
Software
2006English

Numerical Solution of Linear Fredholm and Volterra Integral Equation of the Second Kind by Using Legendre Wavelets

Kybernetes
ControlSystems EngineeringInformation SystemsElectronic EngineeringEngineeringElectricalComputer ScienceTheoretical Computer ScienceSocial SciencesArtificial IntelligenceSoftware
2003English

Future Reasoning Machines: Mind and Body

Kybernetes
ControlSystems EngineeringInformation SystemsElectronic EngineeringEngineeringElectricalComputer ScienceTheoretical Computer ScienceSocial SciencesArtificial IntelligenceSoftware
2005English

Link-Time Binary Rewriting Techniques for Program Compaction

ACM Transactions on Programming Languages and Systems
Software
2005English

A Value Transmission Method for Abstract Data Types

ACM Transactions on Programming Languages and Systems
Software
1982English

Robust Set Operations on Polyhedral Solids

IEEE Computer Graphics and Applications
Computer GraphicsComputer-Aided DesignSoftware
1989English

Unit Verification: The CARA Experience

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy