Search results for: D. Harel
Lecture Notes in Computer Science > Logics of Programs > 124-136
Annales francaises d'anesthesie et de reanimation > 2014 > 33 > 12 > 648-654
Fundamenta Informaticae > 2012 > Vol. 118, nr 4 > 403-417
Fundamenta Informaticae > 2010 > Vol. 103, nr 1-4 > 235-246
IEEE Software > 2009 > 26 > 3 > 87 - 95
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2008 > 5 > 2 > 223 - 234
Proceedings of the IEEE > 2008 > 96 > 8 > 1421 - 1443
Sensors & Actuators: B. Chemical > 2007 > 120 > 2 > 467-472
Proceedings of the 2006 Winter Simulation Conference > 1625 - 1627
Proceedings of the 2006 Winter Simulation Conference > 1720 - 1730
IEEE Transactions on Software Engineering > 2006 > 32 > 7 > 467 - 485
Sensors & Actuators: B. Chemical > 2003 > 93 > 1-3 > 67-76
Sensors & Actuators: B. Chemical > 2003 > 93 > 1-3 > 77-83
Computational Biology and Chemistry > 2003 > 27 > 2 > 121 - 133
Algorithmica > 1998 > 20 > 2 > 119-135