Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Halima Douibi

Design Patterns Formal Composition and Analysis

International Journal of Information Technologies and Systems Approach
Computer Science
2019English

Related publications

Composition by Colimit and Formal Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Optimization in Engine Design via Formal Concept Analysis Using Negative Attributes

2016English

Research on Component Composition and Replacement With Formal Semantics

Journal of Software
2011English

Formal Substitution in Logo Design

Al-academy
2019English

Formal Equivalence Analysis

2019English

The Formal and Informal Tools of Design Governance

Journal of Urban Design
DevelopmentArtsHumanitiesUrban StudiesPlanningGeography
2016English

Design Patterns for Wildlife‐related Camera Trap Image Analysis

Ecology and Evolution
EvolutionEcologyNatureSystematicsBehaviorLandscape Conservation
2019English

Formal Methods in Computer-Aided Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Flexible Receiver Adapter Formal Design Review

1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy