Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Verification of Arithmetic Circuits Using Binary Moment Diagrams

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

Automatic Derivation of Compiler Machine Descriptions

ACM Transactions on Programming Languages and Systems
Software
2002English

Formalizing Interoperability for Test Case Generation Purpose

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

The Cybernetics of Design and the Design of Cybernetics

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

A Collaborative 3D Environment for Authoring Design Semantics

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

A Framework for Semantic Gossiping

SIGMOD Record
Information SystemsSoftware
2002English

Multimedia Streaming in Large-Scale Sensor Networks With Mobile Swarms

SIGMOD Record
Information SystemsSoftware
2003English

Stone Secrets

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

Food Simulator

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

A Fond Farewell

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy