06351 Abstracts Collection--Methods for Modelling Software Systems (MMOSS) E Brinksma, D Harel, A Mader, P Stevens, R Wieringa Dagstuhl Seminar Proceedings, 2007 | | 2007 |
1090-705X/97 $5.00© 1997 IEEE WI be Pretty, WI be Rich, D Harel Proceedings of the Third IEEE International Symposium on Requirements …, 1997 | | 1997 |
17 A theory for complex systems: reactive animation S Efroni, D Harel Studies in Multidisciplinarity 3, 309-324, 2005 | 12 | 2005 |
A 3D building blocks approach to analyzing and predicting structure of proteins R Unger, D Harel, S Wherland, JL Sussman Proteins: Structure, Function, and Bioinformatics 5 (4), 355-373, 1989 | 343 | 1989 |
A combined proof of one-exponential decidability and completeness for PDL R Sherman, D Harel Weizmann Institute of Science. Department of Applied Mathematics, 1982 | 7 | 1982 |
A compiler for multimodal scenarios: Transforming LSCs into AspectJ S Maoz, D Harel, A Kleinbort ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 1-41, 2011 | 24 | 2011 |
A complete axiomatic system for proving deductions about recursive programs D Harel, A Pnueli, J Stavi Proceedings of the ninth annual ACM symposium on Theory of computing, 249-260, 1977 | 37 | 1977 |
A fast multi-scale method for drawing large graphs D Harel, Y Koren Proceedings of the working conference on Advanced visual interfaces, 282-285, 2000 | 555* | 2000 |
A fast multi-scale method for drawing large graphs (full version) D Harel, Y Koren Journal of Graph Algorithms and Applications, 183-196, 0 | 6 | |
A feature extraction algorithm for multi-peak signals in electronic noses R Haddad, L Carmel, D Harel Sensors and Actuators B: Chemical 120 (2), 467-472, 2007 | 40 | 2007 |
A feature extraction method for chemical sensors in electronic noses L Carmel, S Levy, D Lancet, D Harel Sensors and Actuators B: Chemical 93 (1-3), 67-76, 2003 | 163 | 2003 |
A Game-Based Platform for Introducing and Practicing Computational Problem Solving M Armoni, J Gal-Ezer, D Harel Computational Thinking Curricula in K-12: International Implementations, 2021 | | 2021 |
A general result on infinite trees and its applications D Harel Proceedings of the sixteenth annual ACM symposium on Theory of computing …, 1984 | 18 | 1984 |
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. D Harel Bulletin of the EATCS 81, 226-235, 2003 | 92 | 2003 |
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal: (Invited Talk) D Harel Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 10 | 2003 |
A High School J Gal-Ezer, C Beeri, D Harel, A Yehudai | | 1995 |
A high school program in computer science J Gal-Ezer, C Beeri, D Harel, A Yehudai Computer 28 (10), 73-80, 1995 | 174 | 1995 |
A measure of smell enables the creation of olfactory metamers A Ravia, K Snitz, D Honigstein, M Finkel, R Zirler, O Perl, L Secundo, ... Nature 588 (7836), 118-123, 2020 | 52 | 2020 |
A metric for odorant comparison R Haddad, R Khan, YK Takahashi, K Mori, D Harel, N Sobel Nature methods 5 (5), 425-429, 2008 | 230 | 2008 |
A multi-scale algorithm for drawing graphs nicely R Hadany, D Harel Discrete Applied Mathematics 113 (1), 3-21, 2001 | 169 | 2001 |