Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Joy N. Reed

Combining Independent Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Related publications

Combining Time and Frequency Domain Specifications for Periodic Signals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Combining Likelihood Information From Independent Investigations

Open Journal of Statistics
2015English

Systematically Combining Specifications of Internal and External System Behavior Using Statecharts

2004English

High Speed Packet Forwarding Compiled From Protocol Independent Data Plane Specifications

2016English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming
Software
2019English

Monitoring Decentralized Specifications

2017English

Programming With Specifications

1990English

Combining Independent, Weighted P-Values: Achieving Computational Stability by a Systematic Expansion With Controllable Accuracy

PLoS ONE
Multidisciplinary
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy