Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Issue Information

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2018English

Computing on Many Cores

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

Issue Information

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2013English

Understanding the Impact of Network Dynamics on Mobile Video User Engagement

Performance Evaluation Review
HardwareComputer NetworksSoftwareArchitectureCommunications
2014English

Performance of a Fixed Reward Incentive Scheme for Two-Hop DTNs With Competing Relays

Performance Evaluation Review
HardwareComputer NetworksSoftwareArchitectureCommunications
2017English

Power-Aware Provisioning of Virtual Machines for Real-Time Cloud Services

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2011English

Algorithms and Applications Towards the Convergence of High-End Data-Intensive and Computing Systems

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

Soundness of Workflow Nets: Classification, Decidability, and Analysis

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2010English

Modelling of Sand Production Using a Mesoscopic Bonded Particle Lattice Boltzmann Method

Engineering Computations
SoftwareComputational TheoryEngineeringComputer Science ApplicationsMathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy