Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Verified Iptables Firewall Analysis and Verification

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Special Issue on Evolutionary Music

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

A Polynomial Projection-Type Algorithm for Linear Programming

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2014English

A Measure of Perceived Performance to Assess Resource Allocation

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2015English

Is a Comparison of Results Meaningful From the Inexact Replications of Computational Experiments?

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2014English

Approximate Pareto Sets of Minimal Size for Multi-Objective Optimization Problems

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2015English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Existence, Uniqueness, and Convergence of the Regularized Primal–dual Central Path

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2010English

EM323: A Line Search Based Algorithm for Solving High-Dimensional Continuous Non-Linear Optimization Problems

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2010English

A Formal Proof of the Expressiveness of Deep Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy