Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ofer Arieli

Non-Deterministic Distance Semantics for Handling Incomplete and Inconsistent Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Related publications

Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Deterministic Semantics of Set-Oriented Update Sequences

English

Distance and FDI When Contracts Are Incomplete

SSRN Electronic Journal
2003English

Handling Message Semantics With Generic Broadcast Protocols

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2002English

Reporting and Handling of Incomplete Outcome Data in Implant Dentistry: A Survey of Randomized Clinical Trials

Journal of Clinical Periodontology
Periodontics
2019English

Functional Semantics for Non-Prenex QBF

2014English

Parallel Brute-Force Algorithm for Deriving Reset Sequences From Deterministic Incomplete Finite Automata

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2019English

Computer Facilities for Isabelle Data Handling

1977English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy