Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Preface

Journal of Ambient Intelligence and Smart Environments
Software
2018English

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

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

Synthesis of AMBA AHB From Formal Specification: A Case Study

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

Expertons and Uncertain Averaging Operators Versus Correlational Approaches

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

On the Connection Between Discrete Linear Repetitive Processes and 2-D Discrete Linear Systems

Multidimensional Systems and Signal Processing
Information SystemsSignal ProcessingApplied MathematicsHardwareComputer Science ApplicationsArchitectureArtificial IntelligenceSoftware
2016English

Issue Information

Journal of software: Evolution and Process
Software
2019English

Issue Information

Journal of software: Evolution and Process
Software
2019English

Branch Coverage Prediction in Automated Testing

Journal of software: Evolution and Process
Software
2019English

Issue Information

Journal of software: Evolution and Process
Software
2019English

Introduction to the Special Issue on “Machine Learning Techniques for Software Quality Evaluation”

Journal of software: Evolution and Process
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy