Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Gabrielle Gaustad

Exploring Property Based Aluminum Specifications

2012English

Related publications

Provisional Specifications for Prototypical Lithium-Aluminum Target Element 05T

1963English

The Algebraic Specifications Do Not Have the Tennenbaum Property

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

ANN Architecture Specifications for Modelling of Open-Cell Aluminum Under Compression

Mathematical Problems in Engineering
MathematicsEngineering
2020English

Composing Specifications of Event Based Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Coverage Criteria for Set-Based Specifications

Revista de Informatica Teorica e Aplicada
Computer Science
2015English

Bending Creep Property of Wood-Aluminum Hybrid Laminated Material

Mokuzai Gakkaishi
2007English

Web-Based Diagnosis of Model Specifications

English

Semantically Configurable Analysis of Scenario-Based Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy