| Year |
Citation |
Score |
| 2020 |
Ravia A, Snitz K, Honigstein D, Finkel M, Zirler R, Perl O, Secundo L, Laudamiel C, Harel D, Sobel N. A measure of smell enables the creation of olfactory metamers. Nature. PMID 33177711 DOI: 10.1038/s41586-020-2891-7 |
0.737 |
|
| 2020 |
Harel D, Marron A, Sifakis J. Autonomics: In search of a foundation for next-generation autonomous systems. Proceedings of the National Academy of Sciences of the United States of America. 117: 17491-17498. PMID 32694210 DOI: 10.1073/Pnas.2003162117 |
0.362 |
|
| 2020 |
Sandak B, Gilboa A, Harel D. Computational Paradigm to Elucidate the Effects of Arts-Based Approaches: Art and Music Studies and Implications for Research and Therapy. Frontiers in Psychology. 11: 1200. PMID 32595563 DOI: 10.3389/Fpsyg.2020.01200 |
0.312 |
|
| 2020 |
Harel D, Marelly R, Marron A, Szekely S. Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems Ieee Design & Test of Computers. 1-1. DOI: 10.1109/Mdat.2020.3006805 |
0.749 |
|
| 2019 |
Sandak B, Cohen S, Gilboa A, Harel D. Computational elucidation of the effects induced by music making. Plos One. 14: e0213247. PMID 30845183 DOI: 10.1371/Journal.Pone.0213247 |
0.306 |
|
| 2018 |
Harel D, Katz G, Marelly R, Marron A. Wise Computing: Toward Endowing System Development with Proactive Wisdom Computer. 51: 14-26. DOI: 10.1109/Mc.2018.1451652 |
0.759 |
|
| 2016 |
Harel D, Katz G, Marelly R, Marron A. First Steps Towards a Wise Development Environment for Behavioral Models International Journal of Information System Modeling and Design. 7: 1-22. DOI: 10.4018/Ijismd.2016070101 |
0.779 |
|
| 2015 |
Bloch N, Weiss G, Szekely S, Harel D. An Interactive Tool for Animating Biology, and Its Use in Spatial and Temporal Modeling of a Cancerous Tumor and Its Microenvironment. Plos One. 10: e0133484. PMID 26191814 DOI: 10.1371/Journal.Pone.0133484 |
0.319 |
|
| 2015 |
Sandak B, Huss E, Sarid O, Harel D. Computational Paradigm to Elucidate the Effects of Arts-Based Approaches and Interventions: Individual and Collective Emerging Behaviors in Artwork Construction. Plos One. 10: e0126467. PMID 26061736 DOI: 10.1371/Journal.Pone.0126467 |
0.351 |
|
| 2015 |
Harel D, Kantor A, Katz G, Marron A, Weiss G, Wiener G. Towards behavioral programming in distributed architectures Science of Computer Programming. 98: 233-267. DOI: 10.1016/J.Scico.2014.03.003 |
0.37 |
|
| 2014 |
Alexandron G, Armoni M, Gordon M, Harel D. Scenario-based programming usability-oriented perception Acm Transactions On Computinig Education. 14. DOI: 10.1145/2648814 |
0.341 |
|
| 2012 |
Setty Y, Cohen IR, Harel D. Executable modeling of morphogenesis: A Turing-inspired approach Fundamenta Informaticae. 118: 403-417. DOI: 10.3233/Fi-2012-722 |
0.366 |
|
| 2012 |
Harel D, Marron A, Weiss G. Behavioral programming Communications of the Acm. 55: 90-100. DOI: 10.1145/2209249.2209270 |
0.326 |
|
| 2012 |
Harel D, Kantor A. Multi-modal scenarios revisited: A net-based representation Theoretical Computer Science. 429: 118-127. DOI: 10.1016/J.Tcs.2011.12.030 |
0.353 |
|
| 2012 |
Harel D, Segall I. Synthesis from scenario-based specifications Journal of Computer and System Sciences. 78: 970-980. DOI: 10.1016/J.Jcss.2011.08.008 |
0.331 |
|
| 2012 |
Harel D, Marron A. The quest for runware: On compositional, executable and intuitive models Software and Systems Modeling. 11: 599-608. DOI: 10.1007/S10270-012-0258-8 |
0.38 |
|
| 2011 |
Vainas O, Harel D, Cohen IR, Efroni S. Reactive animation: from piecemeal experimentation to reactive biological systems. Autoimmunity. 44: 271-81. PMID 21244340 DOI: 10.3109/08916934.2010.523260 |
0.331 |
|
| 2011 |
Fisher J, Harel D, Henzinger TA. Biology as reactivity Communications of the Acm. 54: 72-82. DOI: 10.1145/2001269.2001289 |
0.357 |
|
| 2011 |
Maoz S, Harel D, Kleinbort A. A compiler for multimodal scenarios: Transforming LSCs into aspectJ Acm Transactions On Software Engineering and Methodology. 20. DOI: 10.1145/2000799.2000804 |
0.408 |
|
| 2011 |
Maoz S, Harel D. On tracing reactive systems Software and Systems Modeling. 10: 447-468. DOI: 10.1007/S10270-010-0151-2 |
0.388 |
|
| 2010 |
Haddad R, Medhanie A, Roth Y, Harel D, Sobel N. Predicting odor pleasantness with an electronic nose. Plos Computational Biology. 6: e1000740. PMID 20418961 DOI: 10.1371/journal.pcbi.1000740 |
0.505 |
|
| 2010 |
Kugler H, Larjo A, Harel D. Biocharts: a visual formalism for complex biological systems. Journal of the Royal Society, Interface / the Royal Society. 7: 1015-24. PMID 20022895 DOI: 10.1098/Rsif.2009.0457 |
0.383 |
|
| 2010 |
Setty Y, Cohen IR, Harel D. Modeling biology using generic reactive animation Fundamenta Informaticae. 103: 235-246. DOI: 10.3233/Fi-2010-327 |
0.383 |
|
| 2010 |
Harel D, Kugler H. Some thoughts on the semantics of biocharts Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6200: 185-194. DOI: 10.1007/978-3-642-13754-9_9 |
0.384 |
|
| 2009 |
Lapid H, Seo HS, Schuster B, Schneidman E, Roth Y, Harel D, Sobel N, Hummel T. Odorant concentration dependence in electroolfactograms recorded from the human olfactory epithelium. Journal of Neurophysiology. 102: 2121-30. PMID 19657081 DOI: 10.1152/Jn.91321.2008 |
0.549 |
|
| 2009 |
Harel D, Gordon-Kiwkowitz M. On teaching visual formalisms Ieee Software. 26: 87-95. DOI: 10.1109/Ms.2009.76 |
0.351 |
|
| 2008 |
Setty Y, Cohen IR, Dor Y, Harel D. Four-dimensional realistic modeling of pancreatic organogenesis. Proceedings of the National Academy of Sciences of the United States of America. 105: 20374-9. PMID 19091945 DOI: 10.1073/Pnas.0808725105 |
0.312 |
|
| 2008 |
Haddad R, Lapid H, Harel D, Sobel N. Measuring smells. Current Opinion in Neurobiology. 18: 438-44. PMID 18824102 DOI: 10.1016/j.conb.2008.09.007 |
0.487 |
|
| 2008 |
Kam N, Kugler H, Marelly R, Appleby L, Fisher J, Pnueli A, Harel D, Stern MJ, Hubbard EJ. A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Developmental Biology. 323: 1-5. PMID 18706404 DOI: 10.1016/J.Ydbio.2008.07.030 |
0.78 |
|
| 2008 |
Lapid H, Harel D, Sobel N. Prediction models for the pleasantness of binary mixtures in olfaction. Chemical Senses. 33: 599-609. PMID 18534998 DOI: 10.1093/Chemse/Bjn026 |
0.551 |
|
| 2008 |
Sadot A, Fisher J, Barak D, Admanit Y, Stern MJ, Hubbard EJ, Harel D. Toward verified biological models. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 5: 223-34. PMID 18451431 DOI: 10.1109/Tcbb.2007.1076 |
0.41 |
|
| 2008 |
Haddad R, Khan R, Takahashi YK, Mori K, Harel D, Sobel N. A metric for odorant comparison. Nature Methods. 5: 425-9. PMID 18376403 DOI: 10.1038/Nmeth.1197 |
0.557 |
|
| 2008 |
Haddad R, Carmel L, Sobel N, Harel D. Predicting the receptive range of olfactory receptors. Plos Computational Biology. 4: e18. PMID 18248088 DOI: 10.1371/Journal.Pcbi.0040018 |
0.539 |
|
| 2008 |
Harel D, Setty Y, Efroni S, Swerdlin N, Cohen IR. Concurrency in Biological Modeling: Behavior, Execution and Visualization Electronic Notes in Theoretical Computer Science. 194: 119-131. DOI: 10.1016/J.Entcs.2007.12.009 |
0.388 |
|
| 2008 |
Combes P, Harel D, Kugler H. Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool Software & Systems Modeling. 7: 157-175. DOI: 10.1007/S10270-007-0069-5 |
0.355 |
|
| 2007 |
Cohen IR, Harel D. Explaining a complex living system: dynamics, multi-scaling and emergence. Journal of the Royal Society, Interface / the Royal Society. 4: 175-82. PMID 17251153 DOI: 10.1098/Rsif.2006.0173 |
0.303 |
|
| 2007 |
Harel D. Statecharts in the making: A personal account Proceedings - Third Acm Sigplan History of Programming Languages Conference, Hopl-Iii. DOI: 10.1145/1467247.1467274 |
0.334 |
|
| 2006 |
Harel D, Maoz S. Assert and negate revisited: Modal semantics for uml sequence diagrams Proceedings - International Conference On Software Engineering. 13-19. DOI: 10.1007/S10270-007-0054-Z |
0.348 |
|
| 2005 |
Fisher J, Piterman N, Hubbard EJ, Stern MJ, Harel D. Computational insights into Caenorhabditis elegans vulval development. Proceedings of the National Academy of Sciences of the United States of America. 102: 1951-6. PMID 15684055 DOI: 10.1073/Pnas.0409433102 |
0.313 |
|
| 2005 |
Efroni S, Harel D, Cohen I. Reactive animation: realistic modeling of complex dynamic systems Computer. 38: 38-47. DOI: 10.1109/Mc.2005.31 |
0.314 |
|
| 2005 |
Harel D, Kugler H, Pnueli A. Synthesis revisited: Generating statechart models from scenario-based requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3393: 309-324. |
0.304 |
|
| 2004 |
Barak D, Harel D, Marelly R. InterPlay: Horizontal scale-up and transition to design in scenario-based programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3098: 66-86. DOI: 10.1109/Tse.2006.67 |
0.782 |
|
| 2004 |
Barak D, Harel D, Marelly R. InterPlay: Horizontal scale-up and transition to design in scenario-based programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3098: 66-86. DOI: 10.1109/TSE.2006.67 |
0.776 |
|
| 2004 |
Harel D, Rumpe B. Meaningful modeling: What's the semantics of "semantics"? Computer. 37: 64-72. DOI: 10.1109/Mc.2004.172 |
0.337 |
|
| 2004 |
Harel D, Kugler H. The RHAPSODY semantics of statecharts (or, on the executable core of the UML) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3147: 325-354. DOI: 10.1007/978-3-540-27863-4_19 |
0.378 |
|
| 2003 |
Efroni S, Harel D, Cohen IR. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Research. 13: 2485-97. PMID 14597657 DOI: 10.1101/Gr.1215303 |
0.319 |
|
| 2003 |
Mishra B, Daruwala RS, Zhou Y, Ugel N, Policriti A, Antoniotti M, Paxia S, Rejali M, Rudra A, Cherepinsky V, Silver N, Casey W, Piazza C, Simeoni M, Barbano P, ... ... Harel D, et al. A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes. Omics : a Journal of Integrative Biology. 7: 253-68. PMID 14583115 DOI: 10.1089/153623103322452387 |
0.36 |
|
| 2003 |
Harel D, Kugler H, Marelly R, Pnueli A. Smart play-out Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 68-69. DOI: 10.1145/949344.949353 |
0.724 |
|
| 2003 |
Harel D, Marelly R. Specifying and executing behavioral requirements: the play-in/play-out approach Software & Systems Modeling. 2: 82-107. DOI: 10.1007/S10270-002-0015-5 |
0.787 |
|
| 2003 |
Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Albert Hubbard EJ, Stern MJ. Formal Modeling of C. elegans development: A Scenario-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2602: 4-20. DOI: 10.1007/3-540-36481-1_2 |
0.765 |
|
| 2002 |
Harel D, Kugler H. Synthesizing state-based object systems from lsc specifications International Journal of Foundations of Computer Science. 13: 5-15. DOI: 10.1142/S0129054102000935 |
0.353 |
|
| 2002 |
Harel D, Kupferman O. On object systems and behavioral inheritance Ieee Transactions On Software Engineering. 28: 889-903. DOI: 10.1109/Tse.2002.1033228 |
0.382 |
|
| 2002 |
Harel D, Marelly R. Playing with time: On the specification and execution of time-enriched LSCs Proceedings - Ieee Computer Society's Annual International Symposium On Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, Mascots. 2002: 193-202. DOI: 10.1109/MASCOT.2002.1167077 |
0.773 |
|
| 2001 |
Harel D. From play-in scenarios to code: an achievable dream Computer. 34: 53-60. DOI: 10.1109/2.895118 |
0.321 |
|
| 1999 |
Harel D. On the behavior of complex object-oriented systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1723: 324-329. DOI: 10.1007/3-540-46852-8_23 |
0.385 |
|
| 1998 |
Douglass BP, Harel D, Trakhtenbrot M. Statecharts in use: Structured analysis and object-orientation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1494: 368-394. DOI: 10.1007/3-540-65193-4_29 |
0.348 |
|
| 1997 |
Harel D, Gery E. Executable object modeling with statecharts Computer. 30: 31-42. DOI: 10.1109/2.596624 |
0.364 |
|
| 1997 |
Harel D, Singerman E. Computation paths logic: An expressive, yet elementary, process logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1256: 408-418. DOI: 10.1016/S0168-0072(98)00038-4 |
0.315 |
|
| 1997 |
Harel D, Kupferman O, Vardi MY. On the complexity of verifying concurrent transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1243: 258-272. DOI: 10.1006/Inco.2001.2920 |
0.358 |
|
| 1996 |
Harel D, Naamad A. The STATEMATE Semantics of Statecharts Acm Transactions On Software Engineering and Methodology. 5: 293-333. DOI: 10.1145/235321.235322 |
0.316 |
|
| 1996 |
Harel D, Singerman E. More on Nonregular PDL: Finite Models and Fibonacci-like Programs Information and Computation. 128: 109-118. DOI: 10.1006/Inco.1996.0066 |
0.311 |
|
| 1994 |
Drusinsky D, Harel D. On the Power of Bounded Concurrency I: Finite Automata Journal of the Acm (Jacm). 41: 517-539. DOI: 10.1145/176584.176587 |
0.31 |
|
| 1992 |
Harel D, Kahana CA. On Statecharts with Overlapping Acm Transactions On Software Engineering and Methodology (Tosem). 1: 399-421. DOI: 10.1145/136586.136589 |
0.325 |
|
| 1989 |
Drusinsky D, Harel D. Using Statecharts for Hardware Description and Synthesis Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 8: 798-807. DOI: 10.1109/43.31537 |
0.336 |
|
| 1988 |
Harel D. On visual formalisms Communications of the Acm. 31: 514-530. DOI: 10.1145/42411.42414 |
0.342 |
|
| 1988 |
Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtul-Trauring A. STATEMATE: a working environment for the development of complex reactive systems . 1-3. DOI: 10.1109/32.54292 |
0.384 |
|
| 1987 |
Harel D. Statecharts: a visual formalism for complex systems Science of Computer Programming. 8: 231-274. DOI: 10.1016/0167-6423(87)90035-9 |
0.363 |
|
| 1984 |
Harel D, Kozen D. A programming language for the inductive sets, and applications Information and Control. 63: 118-139. DOI: 10.1016/S0019-9958(84)80045-5 |
0.322 |
|
| 1984 |
Feldman YA, Harel D. A probabilistic dynamic logic Journal of Computer and System Sciences. 28: 193-215. DOI: 10.1016/0022-0000(84)90065-5 |
0.318 |
|
| 1982 |
Chandra A, Harel D. Structure and complexity of relational queries Journal of Computer and System Sciences. 25: 99-128. DOI: 10.1016/0022-0000(82)90012-5 |
0.313 |
|
| 1981 |
Harel D. On the total correctness of nondeterministic programs Theoretical Computer Science. 13: 175-192. DOI: 10.1016/0304-3975(81)90038-4 |
0.326 |
|
| 1980 |
chandra AK, Harel D. Computable queries for relational data bases Journal of Computer and System Sciences. 21: 156-178. DOI: 10.1016/0022-0000(80)90032-X |
0.322 |
|
| Show low-probability matches. |