Realizability and partiality in constructive set theories. - Ali Hamie (1992)

Semantics Through Pictures. - Stuart Kent 001; Ali Hamie; John Howse; Franco Civello; Richard Mitchell (ECOOP Workshops, 1997)

Contract-Oriented Specifications. - Richard Mitchell; John Howse; Ali Hamie (TOOLS (24), 1997)

Interpreting the Object Constraint Language. - Ali Hamie; John Howse; Stuart Kent 001 (APSEC, 1998)

Navigation Expresion in Object-Oriented Modelling. - Ali Hamie; John Howse; Stuart Kent 001 (FASE, 1998)

Reflections on the Object Constraint Language. - Ali Hamie; Franco Civello; John Howse; Stuart Kent 001; Richard Mitchell (UML, 1998)

Enhancing the Object Constraint Language for More Expressive Specifications. - Ali Hamie (APSEC, 1999)

Translating the Object Constraint Language into the Java Modelling Language. - Ali Hamie (SAC, 2004)

On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML). - Ali Hamie (PDCAT, 2006)

Visual Specification Patterns. - Andrew Fish; Ali Hamie; John Howse (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A decision procedure for a decidable fragment of generalized constraint diagrams. - Jim Burton 001; Gem Stapleton; Ali Hamie (J. Vis. Lang. Comput., 2011)

Dynalets: A New Representation of Periodic Biological Signals and Spectral Data. - Jacques Demongeot; Ali Hamie; Antonio Glaría; Carla Taramasco (AINA Workshops, 2013)

Visualizing OCL Constraint Patterns with VOCL. - Ali Hamie (MODELSWARD, 2013)

Hybrid probability-possibility decision support systems for merging technical indices. - Alya Itani; Jean-Marc Le Caillec; Bassel Solaiman; Ali Hamie (FUSION, 2014)

Actimetry@home: Actimetric Tele-surveillance and Tailored to the Signal Data Compression. - Jacques Demongeot; Olivier Hansen; Ali Hamie; Hana Hazgui; Gilles Virone; Nicolas Vuillerme (ICOST, 2014)

Pattern-based Mapping of OCL Specifications to JML Contracts. - Ali Hamie (MODELSWARD, 2014)

Using Patterns to Map OCL Constraints to JML Specifications. - Ali Hamie (MODELSWARD (Revised Selected Papers), 2014)

Probability-possibility hybrids ystems for merging technical indices. - Alya Itani; Jean-Marc Le Caillec; Bassel Solaiman; Ali Hamie (Traitement du Signal, 2014)

On optimizing the operating conditions of a Mach-Zehnder modulator for IR-UWB over fiber transmission. - Haidar Taki; Stéphane Azou; Ali Hamie; A. Al Housseini; Ali Alaeddine; Ammar Sharaiha (DICTAP, 2015)

A control layer for a Peer-to-Peer middleware using behavior semantics. - Hassan Haidar; Ali Kalakech 002; Ali Hamie; Ronan Querrec (ICCP, 2015)

A low-cost design of transceiver based on DWPT for WSN. - Mouhamad Chehaitly; Mohamed Tabaa; Fabrice Monteiro; Abbas Dandache; Ali Hamie (ICM, 2015)

Evaluating Diagrammatic Patterns for Ontology Engineering. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie (Diagrams, 2016)

A novel ultra high speed and configurable discrete wavelet packet transform architecture. - Mouhamad Chehaitly; Mohamed Tabaa; Fabrice Monteiro; Abbas Dandache; Ali Alaeddine; Ali Hamie; Mouenes Fadlallah (ICM, 2016)

Pulse shape pre-distortion for improving the power efficiency of SOA-based IR-UWB over fiber systems. - Haidar Taki; Stéphane Azou; Ali Hamie; A. Al Housseini; Ali Alaeddine; Ammar Sharaiha (ICT, 2016)

Relative-error prediction in nonparametric functional statistics: Theory and practice. - Jacques Demongeot; Ali Hamie; Ali Laksaci; Mustapha Rachdi (J. Multivar. Anal., 2016)

Physical parameter adjustment for a power over fiber device with a self-developed numerical model of optical propagation in the seafloor observatory context. - Ramez Hamie; Laura Ghisa; Véronique Quintard; Mikael Guegan; Andre Perennou; Mouenes Fadlallah; Ali Hamie (ICM, 2017)

Theoretical modeling of wireless body area networks ranging errors based on RSSI. - Jihad Hamieh; Ali Hamieh; Ali Hamie; Ahmad Ahmad-Kassem; Ahmad Skaiky (ICM, 2017)

Effect of oxygen pressure on the semiconductor properties of FTO thin films. - Ali Hamieh; Jihad Hamieh; Ali Hamie; Ali Ghorayeb; Abdallah Zaiour; Bassam Assaf (ICM, 2017)

OFDM signal up and down frequency conversions by a sampling method using a SOA-MZI. - Hassan Termos; Thierry Rampone; Ammar Sharaiha; Ali Hamie; Ali Alaeddine (ICM, 2017)

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie; Anestis Touloumis (ISWC (1), 2017)

Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie; Anestis Touloumis (VL/HCC, 2017)

On the Cramer-Rao Lower Bounds of Ranging Based on IR-UWB TOA Estimation in Wirelessbody Area Networks. - Jihad Hamie; Ali Hamieh; Joumana Younis; Moussa Ammar; Ahmad Ahmad-Kassem; Ahmad Skaiky; Ali Hamie; Abbass Nasser; Hani Abdallah (NTMS, 2018)

Curves Classification by Using a Local Likelihood Function and Its Practical Usefulness for Real Data. - Mustapha Rachdi; Ali Laksaci; Ali Hamie; Jacques Demongeot; Idir Ouassou (FSDM, 2020)