BibSonomy :: author  ::

bookmarks

publications

(260)

• Expressive Completeness of an Event-Pattern Reactive Programming Language
  C{\'e}sar S{\'a}nchez and Matteo Slanina and Henny B. Sipma and Zohar Manna FORTE 529-532 (2005)
  to CEP automaton event finite by atrus on 2008-05-09 21:07:38
  | BibTeX  
• Efficiency does not Imply Immediate Agreement
  Sergiu Hart and Zohar Levy Econometrica 67 909--912 (1999)
  to imported by smicha on 2008-04-25 10:38:44
  | URL | BibTeX  
• Large deviations formalism for multifractals
  Gady Zohar Stochastic Processes and their Applications 79 229--242 (1999)
  to Multifractal spectrum by smicha on 2008-04-22 14:25:45
  | URL | BibTeX  
• A thermodynamic theory of supercooled liquids
  Daniel Kivelson and Steven A. Kivelson and Xiaolin Zhao and Zohar Nussinov and Gilles Tarjus Physica A: Statistical and Theoretical Physics 219 27--38 (1995)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• A Deductive Approach to Program Synthesis
  Zohar Manna and Richard Waldinger ACM Transactions on Programming Languages and Systems 2 90--121 (1980)
  to article ase deductive_program_synthesis program_synthesis by emanuel and 2 other people on 2008-04-17 12:29:00
  | URL | BibTeX  
• Tools for Data Translation and Integration.
  Serge Abiteboul and Sophie Cluet and Tova Milo and Pini Mogilevsky and Jérôme Siméon and Sagit Zohar IEEE Data Eng. Bull. 22 3-8 (1999)
  to data integration translation by thau and 1 other person on 2008-04-11 20:50:28
  | URL | BibTeX  
• Inferring horizontal transfers in the presence of rearrangements by the minimum evolution criterion.
  Hadas Birin and Zohar Gal-Or and Isaac Elias and Tamir Tuller Bioinformatics 24 826-832 (2008)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Clustering Gene Expression Patterns
  Amir B. Dor and Zohar Yakhini Proceedings of the Third Annual International Conference on Computational Molecular Biology (RECOMB'99) 33--42 (1999)
  to nn by idsia and 1 other person on 2008-03-11 14:52:34
  | BibTeX  
• Constructing invariants for hybrid systems.
  Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna Formal Methods in System Design 32 25-55 (2008)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• Clustering Gene Expression Patterns
  Amir B. Dor and Zohar Yakhini Proceedings of the Third Annual International Conference on Computational Molecular Biology (RECOMB'99) 33--42 (1999)
  to nn by schaul and 1 other person on 2008-02-26 12:05:08
  | BibTeX