Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Publication Information

IEEE Computer Architecture Letters
HardwareArchitecture
2011English

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

On the Scalability of Evolvable Hardware Architectures: Comparison of Systolic Array and Cartesian Genetic Programming

Genetic Programming and Evolvable Machines
HardwareComputer Science ApplicationsTheoretical Computer ScienceArchitectureSoftware
2018English

Issue Information

Systems Engineering
HardwareComputer NetworksArchitectureCommunications
2019English

Scalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT Solving1

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2012English

Genetic Programming and Emergence

Genetic Programming and Evolvable Machines
HardwareComputer Science ApplicationsTheoretical Computer ScienceArchitectureSoftware
2013English

Guest Editor's Preface

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2011English

Toward a Methodology for the System Integration of Adaptive Resilience in Armor

Systems Engineering
HardwareComputer NetworksArchitectureCommunications
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy