( en | de | ru )

 

Disambiguation of "Fix, Limor"

Author of the publication

copydeleteadd this publication to your clipboard
Interactive Search of Adipocytes in Large Collections of Digital Cellular Images.

, , , , , , , , , and . ICME, page 695-698. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Limor Riza

Birgit Fix

Oliver Fix

Jérémy Fix

Ute Fixl

 

Other publications of authors with the same name

DAC Highlights., and . IEEE Des. Test Comput., 20 (3): 88-89 (2003)Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting., , , and . SMC@FLoC, volume 23 of Electronic Notes in Theoretical Computer Science, page 11-22. Elsevier, (1999)Sematics-Driven Decompositions for the Verification of Distributed Programs., , and . Programming Concepts and Methods, page 101-124. North-Holland, (1990)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , and 2 other author(s). TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)Automatic Datapath Extraction for Efficient Usage of HDD., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 95-106. Springer, (1997)Input Elimination and Abstraction in Model Checking., and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 304-320. Springer, (1998)Program Composition via Unification., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 672-684. Springer, (1992)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , and . ASP-DAC, page 304-309. IEEE Computer Society, (2007)Reasoning about Programs by Exploiting the Environment., and . ICALP, volume 820 of Lecture Notes in Computer Science, page 328-339. Springer, (1994)Fifteen Years of Formal Property Verification in Intel.. 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, page 139-144. Springer, (2008)