Orna Berry

Known as: Orna 
Orna Berry (born December 19, 1949), is an Israeli scientist, high-tech entrepreneur, businesswoman, senior director among the Israeli science and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2017
02419882017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Alistair Duff, Professor of Information Policy in the Centre for Social Informatics at Edinburgh Napier University, is well-known… (More)
Is this relevant?
2013
2013
David Hettle1*, Linda Linton2, Julien S Baker3 and Orna Donoghue4 1University of Edinburgh Medical School, University of… (More)
  • figure 1
  • figure 2
  • table 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We continue the study of combinatorial property testing. For a property ψ, an ε-test for ψ, for 0 < ε ≤ 1, is a randomized… (More)
Is this relevant?
2005
2005
ion for Falsification Thomas Ball, Orna Kupferman, and Greta Yorsh 1 Microsoft Research, Redmond, WA, USA. Email: tball@microsoft… (More)
  • figure 1
Is this relevant?
2003
2003
The primary aim of this exploratory study was to analyse the design factors contributing to the reading ease and comprehension of… (More)
  • table 1
  • table 2
Is this relevant?
2000
2000
In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system… (More)
Is this relevant?
2000
2000
As technology advances and demand for higher performance increases hardware designs are becoming more and more sophisticated. A… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Because of the di culty of adequately simulating large digital designs, there has been a recent surge of interest in formal veri… (More)
  • figure 2.7
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Male secondary sexual ornaments are widespread among polygynous animals1 where they apparently arise through female choice and… (More)
Is this relevant?