David Harel

发表

David Harel, 2003, Ershov Memorial Conference.
Amir Pnueli, Jeanette P. Schmidt, David Harel, 1987, LICS.
David Harel, Guy Katz, Rami Marelly, 2018, Computer.
David Harel, Rami Marelly, Hillel Kugler, 2002, OOPSLA '02.
David Harel, D. Harel, 1979, POPL.
David Harel, David Harel, 2002 .
David Harel, Werner Damm, W. Damm, 2022 .
David Harel, Rami Marelly, 2003 .
David Harel, Amir Kantor, D. Harel, 2012, Theor. Comput. Sci..
David Harel, Orna Kupferman, O. Kupferman, 2002, IEEE Trans. Software Eng..
David Harel, 1995, Computer Science Today.
Amir Pnueli, David Harel, Hillel Kugler, 2005, Formal Methods in Software and Systems Modeling.
David Harel, Guy Katz, Assaf Marron, 2015, CONCUR.
David Harel, Tirza Hirst, D. Harel, 1990, CAAP.
David Harel, Tirza Hirst, D. Harel, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
David Harel, Liran Carmel, Rafi Haddad, 2008, PLoS Comput. Biol..
Amir Pnueli, David Harel, Rami Marelly, 2003, OOPSLA '03.
David Harel, Sol Efroni, Irun R. Cohen, 2006, PLoS Comput. Biol..
David Harel, Yishai Feldman, D. Harel, 1987 .
David Harel, Assaf Marron, 2018, Adventures Between Lower Bounds and Higher Altitudes.
David Harel, Michal Gordon, 2012, 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
David Harel, Michal Armoni, Michal Gordon, 2014, TOCE.
David Harel, Brit Arnon, Michal Gordon-Kiwkowitz, 2020, Proceedings of the 13 th IADIS International Conference Information Systems 2020.
David Harel, 2010, Petri Nets.
Amir Pnueli, David Harel, Hillel Kugler, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
Amir Pnueli, David Harel, Rami Marelly, 2003, CMSB.
David Harel, Irun R. Cohen, Naamah Swerdlin, 2008, Proceedings of the IEEE.
David Harel, Tirza Hirst, D. Harel, 1994, JACM.
David Harel, Ronny Hadany, 2001, Discret. Appl. Math..
David Harel, Bruce Powel Douglass, Mark B. Trakhtenbrot, 1996, European Educational Forum: School on Embedded Systems.
Amir Pnueli, David Harel, Jonathan Stavi, 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
David Harel, Ahmed Bouajjani, Lenore D. Zuck, 2012, J. Comput. Syst. Sci..
Amir Pnueli, Yuan Lu, David Harel, 2005, TACAS.
David Harel, Michal Gordon, D. Harel, 2012, 2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER).
David Harel, Meir Sardas, 1995, J. Vis. Lang. Comput..
David Harel, Michal Armoni, Michal Gordon, 2012, Koli Calling.
David Harel, Jasmin Fisher, J. Fisher, 2010 .
David Harel, Dale Myers, Yael Etzion-Petruschka, 1994, Theor. Comput. Sci..
Doron Lancet, David Harel, Liran Carmel, 2003, Comput. Biol. Chem..
Guy Wiener, David Harel, Guy Katz, 2015, Sci. Comput. Program..
David Harel, Yehuda Koren, 2000, Graph Drawing.
Amir Pnueli, David Harel, Rivi Sherman, 1984, SIAM J. Comput..
David Harel, Tirza Hirst, 1996, J. Comput. Syst. Sci..
Roel Wieringa, Perdita Stevens, David Harel, 2006, MMOSS.
David Harel, Jasmin Fisher, Michael J. Stern, 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
David Harel, Rami Marelly, 2003 .
David Harel, Ashok K. Chandra, A. K. Chandra, 1980, J. Comput. Syst. Sci..
David Harel, Werner Damm, W. Damm, 1999, Formal Methods Syst. Des..
David Harel, Avital Sadot, Hila Amir-Kroll, 2008, Theor. Comput. Sci..
David Harel, Assaf Marron, Gera Weiss, 2011, 2011 IEEE 19th International Conference on Program Comprehension.
David Harel, Rami Marelly, 2003 .
David Harel, D. Harel, 1997 .
David Harel, Yehuda Koren, Liran Carmel, 2002 .
David Harel, Shahar Maoz, Amir Kantor, 2010, Concurrency, Compositionality, and Correctness.
David Harel, Michal Armoni, Giora Alexandron, 2011, PPIG.
David Harel, 2008, Computer.
David Harel, Rami Marelly, Assaf Marron, 2017, 2017 IEEE/ACM 4th International Workshop on CrowdSourcing in Software Engineering (CSI-SE).
David Harel, Vaughan R. Pratt, V. Pratt, 1978, POPL.
David Harel, 1981, Theor. Comput. Sci..
David Harel, Michal Armoni, Michal Gordon, 2013, WiPSE '13.
David Harel, D. Harel, 2011, Petri Nets.
David Harel, 2009, Haifa Verification Conference.
Paul G. Spirakis, Luca Aceto, Giuseppe F. Italiano, 2016, Bull. EATCS.
David Harel, Michal Armoni, Michal Gordon, 2014, ICSE Companion.
Thomas A. Henzinger, David Harel, Jasmin Fisher, 2011, Commun. ACM.
David Harel, Eldad Palachi, Eran Gery, 2002, IFM.
David Harel, Rohit Parikh, Dexter Kozen, 1980, FOCS.
David Harel, Tirza Hirst, D. Harel, 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.
Alessandra Carbone, Yi Zhou, Amir Pnueli, 2003, Omics : a journal of integrative biology.
David Harel, Assaf Marron, Gera Weiss, 2010, ECOOP.
David Harel, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, Inf. Comput..
David Harel, Eli Singerman, 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.
David Harel, Guy Katz, Amir Kantor, 2013, LPAR.
David Harel, 1979, Inf. Process. Lett..
David Harel, Ashok K. Chandra, 1979, STOC '79.
David Harel, D. Harel, 1980, CACM.
David Harel, D. Harel, 2006, Proceedings of the 2006 Winter Simulation Conference.
David Harel, Meir Sardas, D. Harel, 1994, AVI '94.
David Harel, Eli Singerman, 1996, Inf. Comput..
David Harel, Rami Marelly, 2003 .
David Peleg, David Harel, 1985, Theor. Comput. Sci..
David Harel, Sol Efroni, Irun R. Cohen, 2005 .
Nancy A. Lynch, Ronald Fagin, Richard M. Karp, 1983, STOC 1983.
David Harel, Hillel Kugler, Antti Larjo, 2009, Journal of The Royal Society Interface.
David Harel, D. Harel, 2000, Computer.
Doron Drusinsky, David Harel, D. Harel, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Jerzy Tiuryn, David Harel, Dexter Kozen, 2001, SIGA.
David Harel, Rami Marelly, D. Harel, 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.
David Harel, Mike Paterson, 1984, J. Comput. Syst. Sci..
David Harel, Assaf Marron, Gera Weiss, 2012, 2012 IEEE International Conference on Fuzzy Systems.
David Harel, Tirza Hirst, 1996, J. Comput. Syst. Sci..
David Harel, Rafi Haddad, Noam Sobel, 2010, PLoS Comput. Biol..
David Harel, D. Harel, 1997, CAV.
David Harel, Orna Kupferman, 2003, IEEE Trans. Software Eng..
David Harel, D. Harel, 1979, Lecture Notes in Computer Science.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, D. Harel, 2008 .
David Harel, Aharon Ravia, Kobi Snitz, 2020, Nature.
David Harel, Yehuda Koren, Y. Koren, 2002, AVI '02.
Clifford A. Shaffer, John J. Tyson, Adelinde M. Uhrmacher, 2006, Proceedings of the 2006 Winter Simulation Conference.
David Harel, Avi Mayo, Irun R. Cohen, 2009, Algorithmic Bioprocesses.
David Harel, Ron Davidson, D. Harel, 1996, TOGS.
David Harel, Assaf Marron, Gera Weiss, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
David Harel, Rami Marelly, 2003 .
David Harel, Shahar Maoz, D. Harel, 1988, CACM.
David Harel, Ashok K. Chandra, A. K. Chandra, 1982, PODS.
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, CONCUR.
David Harel, Michal Gordon, D. Harel, 2009, CICLing.
Yishai A. Feldman, David Harel, 1987 .
David Harel, D. Harel, 1987 .
David Harel, Guy Katz, Clark W. Barrett, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Yishai A. Feldman, David Harel, 1982, STOC '82.
David Harel, Danny Raz, 1993, SIAM J. Comput..
David Harel, Assaf Marron, Gera Weiss, 2011 .
David Harel, Michal Gordon, 2010, 2010 IEEE Symposium on Visual Languages and Human-Centric Computing.
David Harel, Eli Singerman, 1999, Ann. Pure Appl. Log..
David Harel, 2009, 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.
David Harel, Rami Marelly, D. Harel, 2003, Software & Systems Modeling.
David Harel, Yishai Feldman, D. Harel, 1987 .
David Harel, Rami Marelly, 2003 .
David Harel, Yishai Feldman, 2006 .
David Harel, Gregory Yashchin, D. Harel, 2000, AVI '00.
David Harel, Rami Marelly, 2003 .
Frederick P. Brooks, David Harel, F. Brooks, 1999 .
David Harel, Yehuda Koren, Y. Koren, 2001, KDD '01.
David Harel, 2010, Formal Aspects of Computing.
Yishai A. Feldman, David Harel, D. Harel, 1987 .
David Harel, Michal Gordon, D. Harel, 2014, FPS@ETAPS.
Yishai A. Feldman, David Harel, D. Harel, 1987 .
David Harel, Nir Eitan, D. Harel, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
Roel Wieringa, Perdita Stevens, David Harel, 2006, MMOSS.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, D. Harel, 2000 .
David Harel, Shahar Maoz, Yoram Atir, 2008, FASE.
David Harel, Ashok K. Chandra, A. K. Chandra, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
David Harel, Irun R Cohen, D. Harel, 2007, Journal of The Royal Society Interface.
David Harel, Hillel Kugler, D. Harel, 2010, Essays in Memory of Amir Pnueli.
David Harel, D. Harel, 1998, Computer Science Today.
David Harel, Shahar Maoz, Asaf Kleinbort, 2011, TSEM.
Roel Wieringa, Perdita Stevens, David Harel, 2007, MMOSS.
David Harel, Rami Marelly, 2003 .
Albert R. Meyer, David Harel, Vaughan R. Pratt, 1977, STOC '77.
David Harel, Itai Segall, D. Harel, 2012, J. Comput. Syst. Sci..
David Harel, Yishai Feldman, D. Harel, 1987 .
Amir Pnueli, David Harel, A. Pnueli, 1989, Logics and Models of Concurrent Systems.
David Harel, Guy Katz, Assaf Marron, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Doron Drusinsky, David Harel, D. Harel, 1988, Concurrency.
David Harel, Chaim-arie Kahana, D. Harel, 1992 .
David Peleg, David Harel, D. Peleg, 1984, Inf. Control..
David Harel, Dexter Kozen, 1984, Inf. Control..
David Harel, Danny Raz, D. Harel, 1994, Inf. Comput..
Yishai A. Feldman, David Harel, D. Harel, 1987 .
David Harel, Yehuda Koren, Liran Carmel, 2003 .
David Harel, Smadar Szekely, Shahar Maoz, 2010, ASE.
David Harel, Rami Marelly, Hillel Kugler, 2002, OOPSLA '02.
David Harel, Rami Marelly, 2003 .
David Harel, Rami Marelly, 2003 .
David Harel, Hillel Kugler, Pierre Combes, 2005, Software & Systems Modeling.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, Amir Kantor, D. Harel, 2014, Language, Culture, Computation.
Bernhard Rumpe, David Harel, D. Harel, 2004, Computer.
David Harel, Shahar Maoz, Asaf Kleinbort, 2007, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007).
David Harel, Rohit Parikh, Dexter Kozen, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
David Harel, Yehuda Koren, Y. Koren, 2000, AVI '00.
David Harel, Shani Nitzan, 2014, BM-FA.
David Harel, Assaf Marron, D. Harel, 2012, Software & Systems Modeling.
David Harel, Sol Efroni, Irun R. Cohen, 2008, Electron. Notes Theor. Comput. Sci..
David Harel, Guy Katz, Assaf Marron, 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Doron Lancet, David Harel, Liran Carmel, 2003 .
Marcel Worring, Marta Mattoso, Yannis Sismanis, 2009, Encyclopedia of Database Systems.
David Harel, Shahar Maoz, 2009, Encyclopedia of Database Systems.
David Harel, Hillel Kugler, D. Harel, 2000, Int. J. Found. Comput. Sci..
Doron Lancet, David Harel, Liran Carmel, 2001 .
Amir Pnueli, David Harel, Jonathan Stavi, 1977, STOC '77.
David Harel, Orna Kupferman, O. Kupferman, 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.
David Harel, Yehuda Koren, Liran Carmel, 2002, Graph Drawing.
David Harel, Shahar Maoz, Asaf Kleinbort, 2007, FASE.
David Harel, Yishai Feldman, D. Harel, 1987 .
David Harel, Yehuda Koren, Liran Carmel, 2002, IEEE Symposium on Information Visualization, 2002. INFOVIS 2002..
David Harel, Rami Marelly, D. Harel, 2003, Springer Berlin Heidelberg.
David Harel, D. Harel, 2002, International Conference on Graph Transformation.
David Harel, Rami Marelly, 2003 .
David Harel, Sol Efroni, Oded Vainas, 2011, Autoimmunity.
David Harel, D. Harel, 1978, ICALP.
David Harel, Shahar Maoz, D. Harel, 2011, Software & Systems Modeling.
David Harel, Ashok K. Chandra, 1980, FOCS.
David Harel, D. Harel, 1984, STOC '84.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, Chaim-Arie Kahana, D. Harel, 1992, TSEM.
David Harel, Assaf Marron, Gera Weiss, 2012, CACM.
David Harel, Michal Armoni, Michal Gordon, 2017, Computing in Science & Engineering.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, Noa Lewenstein, 1996, Theor. Comput. Sci..
P. S. Thiagarajan, David Harel, D. Harel, 2003, UML for Real.
David Harel, Meir Sardas, D. Harel, 1995, Algorithmica.
Roni Rosner, David Harel, Moshe Y. Vardi, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Amir Pnueli, David Harel, Jonathan Stavi, 1983, J. Comput. Syst. Sci..
David Harel, Rami Marelly, 2003 .
David Harel, Hillel Kugler, Shahar Maoz, 2010, SOFSEM.
David Harel, Gregory Yashchin, D. Harel, 2000, International Working Conference on Advanced Visual Interfaces.
David Harel, 2016, Journal of The Royal Society Interface.
David Harel, Michal Armoni, Michal Gordon, 2016, Informatics Educ..
David Harel, D. Harel, S. Maoz, 1988, CACM.
Marcel Worring, Marta Mattoso, Yannis Sismanis, 2009, Encyclopedia of Database Systems.
David Harel, D. Harel, David Harel, 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
David Harel, Assaf Marron, Gera Weiss, 2017, STAF Workshops.
David Peleg, David Harel, D. Peleg, 1985, Inf. Process. Lett..
David Harel, Guy Katz, Assaf Marron, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
David Harel, Eran Gery, 1997, Computer.
David Harel, Sol Efroni, Irun R. Cohen, 2005, Computer.
David Harel, Shahar Maoz, Asaf Kleinbort, 2007 .
David Harel, Rivi Sherman, 1982, Inf. Control..
David Harel, Rami Marelly, 2003 .
David Harel, D. Harel, 1989, MFCS.
Amir Pnueli, David Harel, Rami Marelly, 2002, FMCAD.
David Harel, 1991, STOC '91.
Doron Drusinsky, David Harel, D. Harel, 1994, JACM.
David Harel, Hillel Kugler, Itai Segall, 2008, Future Play.
David Harel, Gera Weiss, Hillel Kugler, 2003, Scenarios: Models, Transformations and Tools.
David Harel, Rami Marelly, Dan Barak, 2006, IEEE Transactions on Software Engineering.
David Harel, Shahar Maoz, Itai Segall, 2008, Pillars of Computer Science.
Arto Salomaa, Joost N. Kok, Erik Winfree, 2009, Natural Computing Series.
David Harel, Rami Marelly, Dan Barak, 2006, IEEE Trans. Software Eng..
David Harel, Guy Katz, Rami Marelly, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
David Harel, Billie Sandak, Avi Mazor, 2019, MCM.
David Harel, D. Harel, 1998, MPC.
David Harel, D. Harel, 1987, Sci. Comput. Program..
David Harel, 2012, Logic and Program Semantics.
David Harel, Shahar Maoz, D. Harel, 2008, SCESM '06.
Guy Wiener, David Harel, Assaf Marron, 2011, SPLASH Workshops.
David Harel, Tirza Hirst, D. Harel, 1993, J. Comput. Syst. Sci..
David Harel, Ronny Hadany, D. Harel, 1999, Discret. Appl. Math..
David Harel, Irun R. Cohen, Yaki Setty, 2012, Fundam. Informaticae.
David Harel, Liran Carmel, Oded Shaham, 2005 .
David Harel, Assaf Marron, Lior Limonad, 2020, 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
David Harel, Yehuda Koren, Liran Carmel, 2003, Multiscale Model. Simul..
Amnon Naamad, Amir Pnueli, David Harel, 1988, ICSE '88.
David Harel, Rami Marelly, 2003 .
Catriel Beeri, Judith Gal-Ezer, David Harel, 1995, Computer.
David Harel, George S. Lueker, 1979 .
David Harel, Ashok K. Chandra, A. K. Chandra, 1985, J. Log. Program..
David Harel, Guy Katz, Assaf Marron, 2017, MODELSWARD.
David Harel, Assaf Marron, Joel Greenyer, 2018, MODELSWARD.
David Harel, Irun R. Cohen, Yaki Setty, 2010, Fundam. Informaticae.
David Harel, Rami Marelly, Smadar Szekely, 2016, 2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
David Harel, Christos Vasilakis, Boris Sobolev, 2008, Health care management science.
David Harel, Yishai Feldman, 1987 .
David Harel, Shahar Maoz, D. Harel, 2006, SIGSOFT '06/FSE-14.
Amir Pnueli, David Harel, Jonathan Stavi, 1981, Logic of Programs.
David Harel, Rivi Sherman, 1983, FCT.
Yishai A. Feldman, David Harel, D. Harel, 1987 .
David Harel, 1980, MFCS.
Joseph Sifakis, David Harel, Assaf Marron, 2019, Proceedings of the National Academy of Sciences.
David Harel, Sol Efroni, Irun R. Cohen, 2002, FMCO.
David Harel, Rami Marelly, D. Harel, 2003 .
David Harel, Irun R. Cohen, Na'aman Kam, 2002, AVI '02.
Yishai A. Feldman, David Harel, D. Harel, 1982, STOC '82.
David Harel, D. Harel, 1987, SIGP.
David Harel, Yehuda Koren, Y. Koren, 2003, GD.
David Harel, Guy Katz, Rami Marelly, 2016, Int. J. Inf. Syst. Model. Des..
David Harel, Guy Katz, Assaf Marron, 2019, MODELSWARD.
David Harel, Irun R. Cohen, Na'aman Kam, 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).
David Harel, Itai Segall, D. Harel, 2008, SOFTVIS.
David Harel, Noa Lewenstein, 1994, ICALP.
David Harel, Yehuda Koren, Y. Koren, 2002, WG.
David Harel, Eran Gery, D. Harel, 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
David Harel, D. Harel, 2009, CACM.
David Harel, Yehuda Koren, Y. Koren, 2003, KDD '03.
Amnon Naamad, David Harel, D. Harel, 1996, TSEM.
Oscar H. Ibarra, Hans-Jörg Kreowski, Derick Wood, 2001, Lecture Notes in Computer Science.
David Harel, Yehuda Koren, Y. Koren, 2001, FSTTCS.
David Harel, D. Harel, 2005, Nature Biotechnology.
David Harel, Rivi Sherman, 1985, Inf. Control..
David Harel, Guy Katz, Assaf Marron, 2014, Trans. Comput. Collect. Intell..
David Harel, D. Harel, 2007, CACM.
Judith Gal-Ezer, David Harel, D. Harel, 1999, Comput. Sci. Educ..
David Harel, D. Harel, 1999, OMER.
David Harel, Yehuda Koren, Y. Koren, 2002, J. Graph Algorithms Appl..
Judith Gal-Ezer, David Harel, D. Harel, 1998, CACM.
David Harel, Assaf Marron, Axel Terfloth, 2018, MODELS Workshops.
Yishai A. Feldman, David Harel, 1987 .
David Harel, Guy Katz, Assaf Marron, 2017, MODELSWARD.
David Harel, Michal Gordon, D. Harel, 2009, IEEE Software.
Jerzy Tiuryn, David Harel, Dexter Kozen, 2000 .
David Harel, Rami Marelly, 2003 .
David Harel, Rami Marelly, Assaf Marron, 2021, IEEE Design & Test.
Joseph Sifakis, David Harel, Assaf Marron, 2021 .
David Harel, Yaki Setty, Yuval Dor, 2008, Proceedings of the National Academy of Sciences.
David Harel, D. Harel, O. Grossman, 1997 .
David Harel, Nir Piterman, Jasmin Fisher, 2005, Proceedings of the National Academy of Sciences of the United States of America.
David Harel, Nir Piterman, Jasmin Fisher, 2005 .
David Harel, Dana Sherman, Ehud Ahissar, 2017, Current Biology.
David Harel, Joel L. Sussman, Ron Unger, 1986 .
Jerzy Tiuryn, David Harel, Dexter Kozen, 1959 .
David Harel, D. Harel, 2005, Clinical and investigative medicine. Medecine clinique et experimentale.
Alessandra Carbone, Amir Pnueli, Bing Sun, 2022 .
David Harel, Billie Sandak, Avi Gilboa, 2019, PloS one.
Judith Gal-Ezer, David Harel, D. Harel, 1998 .
David Harel, Hadas Lapid, Noam Sobel, 2008, Chemical senses.
David Harel, Hadas Lapid, Noam Sobel, 2008, Current Opinion in Neurobiology.
David Harel, Evelyn Fox Keller, 2007, PloS one.
David Harel, Noam Sobel, R. Khan, 2008, Nature Methods.
David Harel, D. Harel, 1980, SIGA.
David Harel, M. Kaminsky, 1999 .
David Harel, Liran Carmel, D. Harel, 2007 .