Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Formal Specification and Analysis of the Group Domain of Interpretation Protocol Using NPATRL and the NRL Protocol Analyzer

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2004English

Enhancing Profiles for Anomaly Detection Using Time Granularities1

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2002English

First-Order Verification of Cryptographic Protocols

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Verified Lightweight Bytecode Verification

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

Explicit Design of FPGA-based Coprocessors for Short-Range Force Computations in Molecular Dynamics Simulations

Parallel Computing
Computer GraphicsComputer NetworksHardwareCommunicationsComputer-Aided DesignArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2008English

Hierarchical Replacement Decisions in Hierarchical Stores

Performance Evaluation Review
HardwareComputer NetworksSoftwareArchitectureCommunications
1982English

Fair Operation of Multi-Server and Multi-Queue Systems

Performance Evaluation Review
HardwareComputer NetworksSoftwareArchitectureCommunications
2005English

Analysis and Comparison of Eigenspace-Based Face Recognition Approaches

International Journal of Pattern Recognition and Artificial Intelligence
Computer VisionPattern RecognitionArtificial IntelligenceSoftware
2002English

An Eigen Analysis of the GP Community

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

Author's Reply

Simulation
Computer GraphicsSimulationComputer-Aided DesignModelingMathematicsSoftware
1968English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy