Index of /~harel/papers

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Profession of the Future in Danger.docx22-Sep-2011 10:01 18K 
[   ]ComprehensiveModeling.pdf22-Jan-2006 10:23 31K 
[   ]Fund.Role.2020Science.pdf27-Mar-2006 13:36 47K 
[   ]CMSB04.pdf03-Apr-2005 10:47 69K 
[   ]WC for SETTA 2015.pdf11-Nov-2015 09:35 82K 
[   ]Kozen.pdf07-Feb-2013 15:08 90K 
[   ]Leadership change now.pdf02-Jun-2016 13:55 99K 
[   ]LifeCycleDev.ps26-Feb-2002 13:45 102K 
[   ]Playing.FLoC.pdf13-Jun-2007 17:39 104K 
[   ]TwoViews.pdf06-Jan-2010 12:52 110K 
[   ]Standing on Shoulders.pdf18-Jun-2013 10:07 113K 
[   ]S2A.pdf13-Jun-2007 17:36 114K 
[   ]GrandChallenge.doc07-Mar-2010 10:15 115K 
[   ]Run, Bibi, Run.pdf11-Aug-2013 11:15 116K 
[   ]Programming_with_the_User_in_Mind.pdf04-Jul-2012 12:02 130K 
[   ]Biochart semantics.pdf06-Feb-2011 13:55 131K 
[   ]FMCAD02.pdf28-Jul-2002 11:09 136K 
[   ]Israel Needs Life-Saving Surgery.pdf23-Dec-2012 12:51 140K 
[   ]TcellModelHCC01.pdf29-Jul-2012 10:35 142K 
[   ]TelAviv.University.Speech.pdf14-Aug-2006 14:16 143K 
[   ]Programming Idioms and Verification.pdf16-Feb-2015 13:52 146K 
[   ]CanReqsBeExecuted.ps03-Nov-2002 13:29 150K 
[   ]Crowd Programming.pdf29-May-2017 12:53 151K 
[   ]Teaching Nondeterminism.pdf05-May-2014 09:46 153K 
[   ]TuringTest.pdf10-Apr-2005 10:12 158K 
[   ]More Thoughts .pdf11-Nov-2015 09:35 168K 
[   ]Odor.Metric.pdf15-Jun-2008 13:03 169K 
[   ]Odor.Mapping.pdf17-Apr-2005 12:14 170K 
[   ]Teklecom.LSCs.pdf27-Oct-2005 12:52 178K 
[   ]TimedLSCs.pdf12-May-2002 11:20 183K 
[   ]Candle snuffed English.pdf01-Dec-2011 12:14 186K 
[   ]LSC.Methodology.pdf16-Oct-2005 02:34 187K 
[   ]NLToLSCs_Cicling09_final.pdf06-Jan-2010 12:52 187K 
[   ]Six (Im)possible Things.pdf08-Jan-2017 10:51 193K 
[   ]NLProgrammingGordonHarel_ETAPS_llncs.pdf10-Apr-2014 12:49 194K 
[   ]IdentifyingConcentration.pdf17-Jul-2003 13:42 198K 
[   ]Statecharts for Biology.pdf14-Jun-2010 09:59 201K 
[   ]NewSPO.pdf25-Jun-2004 00:48 205K 
[   ]HealthCareStatecharts.pdf22-Jan-2008 13:14 206K 
[   ]Distributing Scenario-Based Models.pdf08-Mar-2017 09:26 207K 
[   ]Guardian Hebrew version.pdf01-Jul-2018 09:54 211K 
[   ]LSCtoApects.pdf13-Jun-2007 17:36 211K 
[   ]Model checking BP.pdf12-Jan-2012 12:48 224K 
[   ]Odor.Mixing.pdf17-Apr-2005 12:10 224K 
[   ]Pregnancy guarding .pdf21-Aug-2013 09:14 227K 
[   ]Netanyahu's Virtual Reality.pdf01-Dec-2011 12:15 231K 
[   ]LSC.Complexity.pdf15-Jun-2008 12:56 231K 
[   ]TraceSummarization.pdf08-Mar-2018 14:35 233K 
[   ]min_la.pdf11-Feb-2002 12:35 238K 
[   ]On gender separation in academia.pdf31-Dec-2018 07:51 239K 
[   ]Run, Bibi, Run. english.pdf11-Aug-2013 11:15 242K 
[   ]LifelineComposition.pdf23-Jul-2008 13:19 243K 
[   ]Power of playout.pdf14-Jun-2010 09:59 251K 
[   ]curriculum.ps19-Jun-2001 13:57 252K 
[   ]fMRI with LSCs.pdf04-Apr-2017 13:25 256K 
[   ]על חטאים וחלומות.pdf19-Mar-2018 14:15 269K 
[   ]PlannedPlayout.pdf13-Jun-2007 17:38 270K 
[   ]On Sins and Dreams .pdf22-Mar-2018 10:27 270K 
[   ]NewSynthesis.pdf28-Dec-2004 11:42 273K 
[   ]Amir Pnueli. A Gentle Giant.pdf01-Nov-2010 11:12 274K 
[   ]Context based and SB.pdf08-Mar-2018 14:35 275K 
[   ]feature extraction.pdf17-Jul-2003 13:40 278K 
[   ]non_uniform_avi_acm.pdf18-Feb-2002 13:46 279K 
[   ]Will I be Pretty.pdf18-Mar-2012 11:22 280K 
[   ]Fear of Bennet.pdf05-Feb-2015 11:24 283K 
[   ]Assert.and.Negate.pdf13-Jun-2007 17:54 285K 
[   ]Ha'Acher Sheli .pdf26-Oct-2014 09:27 287K 
[   ]OOPSLA02.pdf23-Jul-2002 14:40 287K 
[   ]Visualization of BPJ.pdf26-Oct-2011 11:15 289K 
[   ]Semantic Parsing.pdf16-Dec-2014 10:19 292K 
[   ]Einstein's warning .pdf16-Feb-2015 13:52 306K 
[   ]Semantic Navigation LSC.pdf26-Oct-2011 11:15 310K 
[   ]Effect of previous programming.pdf07-Feb-2013 15:08 317K 
[IMG]Two Logs .jpg16-Feb-2015 13:53 322K 
[   ]Runware.pdf07-Feb-2013 15:08 330K 
[   ]LSCs.TL.pdf09-Jan-2005 13:23 331K 
[   ]Israel Needs Life-Saving Surgery -- English .pdf12-Jun-2018 09:53 338K 
[   ]Teaching SBP1 .pdf19-Nov-2018 13:01 339K 
[   ]Teaching SBP2 .pdf19-Nov-2018 13:01 363K 
[   ]AcceleratingSPO-Final-SOFSEM10.pdf06-Jan-2010 12:52 363K 
[   ]Complexity.of.Concurrency.ps22-Nov-2005 11:48 367K 
[   ]FormalC.elegans.pdf10-Mar-2003 15:28 372K 
[   ]Theory-Aided Model Checking.pdf11-Oct-2015 13:27 373K 
[   ]ModSemantics.pdf11-Nov-2004 09:11 375K 
[   ]PlayGo Tool Demonstration Paper.pdf03-May-2011 11:16 377K 
[   ]Relaxing synchronization.pdf01-Jan-2014 11:53 387K 
[IMG]Moving in throngs.jpg19-Mar-2019 12:31 391K 
[   ]OdorScheme.pdf22-Jun-2003 11:35 395K 
[   ]SBP reducing cognitive load.pdf16-Dec-2014 10:20 396K 
[   ]Scenarios and abstract thinking.pdf12-May-2014 10:53 396K 
[   ]Repair of reactive progs.pdf01-Aug-2012 11:01 403K 
[   ]ExplainingLivingSystems.pdf13-Jun-2007 17:49 420K 
[   ]Scaling up Behavioral Programming.pdf16-Dec-2014 10:19 422K 
[   ]Measuring.Smells.pdf19-Nov-2008 09:30 427K 
[   ]Succinctness of idioms.pdf03-Sep-2015 12:19 428K 
[   ]Composing and Proving.pdf01-Jan-2014 11:52 434K 
[   ]Labor division.pdf13-Mar-2019 12:33 443K 
[   ]Tactical.Simulators.pdf29-Nov-2007 12:21 446K 
[   ]Evaluating NL interface.pdf07-Feb-2013 15:08 448K 
[   ]InterPlay.pdf09-Jun-2004 14:38 452K 
[   ]Programming naturally.pdf12-Jan-2012 12:49 471K 
[   ]PNAS.final.pdf15-Feb-2005 11:47 491K 
[   ]Heb NIF magazine 9.2012.pdf27-Nov-2012 10:44 492K 
[   ]SPO.Complexity.pdf15-Jan-2009 12:20 492K 
[   ]Curriculum and Syllabi.pdf24-May-2017 14:09 505K 
[   ]BioCharts.pdf04-Jan-2010 10:18 506K 
[   ]DynamicLogicHarelKozenTiuryn.pdf25-Jun-2017 13:58 533K 
[   ]Beyond.the.Gene.pdf29-Nov-2007 12:14 571K 
[   ]Academy under the Occupation .pdf15-Nov-2018 12:53 587K 
[IMG]Back to the Sources.jpg01-Mar-2012 10:57 591K 
[   ]Synthesis from scenarios.pdf01-Mar-2012 10:56 598K 
[   ]TOCE.pdf10-Jun-2015 09:20 599K 
[   ]Non-intrusive repair.pdf19-Mar-2019 12:31 607K 
[   ]SBalgorithmics.pdf06-Nov-2018 09:34 615K 
[IMG]Nobel.jpg31-Jan-2012 09:55 623K 
[   ]RhapsodySemantics.pdf26-Dec-2004 12:40 633K 
[   ]Tracer.pdf04-May-2010 09:26 636K 
[   ]Initial Wise Development Environment.pdf24-Feb-2016 09:25 638K 
[   ]More on Nonregular PDL Finite Models.pdf18-Mar-2012 11:22 648K 
[   ]BPJ ECOOP.pdf05-Jul-2010 11:46 666K 
[IMG]Breaking the deadlock.jpg01-Aug-2012 11:02 670K 
[IMG]Only Peres can do it.jpg27-Nov-2012 10:44 684K 
[   ]Randomized Graph Drawing.pdf18-Mar-2012 11:22 690K 
[   ]Adaptive BP.pdf12-Jan-2012 12:48 710K 
[   ]DynamicLogic.ps13-Feb-2003 15:23 724K 
[   ]Multiple peaks.pdf13-Jun-2007 17:48 726K 
[   ]Defect Analysis.pdf13-Mar-2019 13:09 751K 
[   ]ReactiveAnimation.pdf10-Jan-2005 19:50 753K 
[   ]BoundedConcurrency III .pdf06-Jan-2014 13:36 761K 
[   ]Multi-Modal Scenarios Revisited.pdf02-Apr-2012 10:17 773K 
[   ]Teaching Nondeterminism journal.pdf02-May-2016 09:15 774K 
[   ]synthesis.ps03-Nov-2002 12:57 785K 
[   ]C.elegans.modeling.pdf30-Oct-2008 12:59 794K 
[   ]Testing Odor Reproduction.pdf21-Dec-2016 16:19 796K 
[   ]SBP in Statecharts.pdf31-Dec-2018 07:52 804K 
[   ]Predicting.Olfactory.Receptors.pdf30-Jul-2008 14:00 808K 
[   ]Prediction.of.Pleasantness.pdf30-Oct-2008 12:59 810K 
[   ]Predicting pleasantness.pdf14-Jun-2010 11:48 810K 
[   ]M'tzuyanut. Globes .pdf28-Aug-2011 15:41 852K 
[   ]Generic RA.pdf31-Jan-2011 11:23 862K 
[   ]AGERE11bpdist.pdf01-Mar-2012 10:57 864K 
[   ]Modal Scenarios.pdf16-Dec-2014 10:19 910K 
[   ]MixtoMimic.pdf13-Jun-2007 17:44 923K 
[   ]Thymus.pdf27-Jun-2005 13:00 954K 
[   ]Eng NIF magazine 9.2012.pdf27-Nov-2012 10:43 969K 
[   ]AxisByAxis.pdf01-May-2011 10:49 1.0M 
[   ]Concurrency.in.BioModelingl.pdf15-Jun-2008 12:54 1.0M 
[   ]M'cha'a. nrg.co.il .pdf28-Aug-2011 15:41 1.0M 
[   ]GemCell.pdf15-Jun-2008 13:02 1.0M 
[   ]ACE_Journal.pdf24-Nov-2011 11:18 1.1M 
[   ]LiberatingProgramming.pdf01-Jan-2008 14:14 1.1M 
[   ]OnTeachingVisForm.pdf22-Mar-2011 11:44 1.1M 
[   ]BoundedConcurrency II .pdf06-Jan-2014 13:36 1.1M 
[   ]Show and Tell.pdf26-Oct-2011 11:15 1.1M 
[IMG]CS in danger.jpg26-Oct-2011 11:15 1.1M 
[   ]Hachmatzot. Ynet .pdf28-Aug-2011 15:41 1.1M 
[   ]Fuzzy BP.pdf06-Jun-2016 12:20 1.2M 
[   ]BP in Distributed Architectures.pdf16-Dec-2014 10:20 1.2M 
[   ]Wise Computing IEEE .pdf08-Mar-2018 14:35 1.2M 
[   ]Theory.Complex.Systems.pdf13-Jun-2007 17:52 1.3M 
[   ]Clustering_FSTTCS.pdf27-Nov-2001 10:34 1.3M 
[IMG]Why not Amir Peretz.jpg18-Apr-2017 10:41 1.3M 
[   ]VisualizingScenarios.pdf30-Oct-2008 12:59 1.3M 
[   ]EmergentDynamics.pdf13-Jun-2007 17:50 1.4M 
[   ]RA review.pdf22-Sep-2011 09:59 1.4M 
[   ]PGMobile.pdf15-Aug-2016 11:54 1.5M 
[   ]Odorant concentration.pdf14-Jun-2010 09:59 1.6M 
[   ]Generic.RA.pdf15-Jun-2008 12:34 1.6M 
[   ]Complexity Results for Multi-Pebble Automata.pdf18-Mar-2012 11:21 1.6M 
[   ]Divide and Conquer.pdf06-Jan-2010 12:52 1.6M 
[   ]JSM03.pdf10-Aug-2003 13:32 1.7M 
[   ]Attention whisking reflex.pdf14-Jun-2017 12:41 1.8M 
[   ]DG_final.pdf15-Jun-2003 12:07 1.8M 
[   ]Game.Models.pdf06-Nov-2008 12:04 1.8M 
[   ]Statecharts.pdf15-Oct-2002 15:43 1.8M 
[   ]First Steps WDE.pdf06-Nov-2016 13:12 1.8M 
[   ]tracer.pdf12-Jan-2012 12:49 1.8M 
[   ]Pancreas.PNAS.pdf08-Jan-2009 11:55 1.9M 
[   ]BP_Animation.pdf02-Aug-2015 10:34 2.1M 
[IMG]Ner Etzion .jpg26-Oct-2011 11:15 2.2M 
[   ]Turing Morphogenesis.pdf07-Feb-2013 15:09 2.2M 
[   ]Modeling Whisking.pdf01-Jan-2014 11:52 2.3M 
[   ]LSC compiler.pdf29-Nov-2011 10:26 2.7M 
[   ]Music making.pdf13-Mar-2019 12:52 2.7M 
[   ]Behavioral programming .pdf26-Apr-2015 09:20 2.8M 
[   ]highdimensionalGD.pdf14-Aug-2005 12:58 2.9M 
[   ]ms_jgaa.pdf04-Dec-2001 10:49 3.0M 
[   ]ReactiveAnimation.ps07-Jun-2003 00:02 3.1M 
[   ]Tumor as Organ.pdf30-Aug-2016 08:30 3.2M 
[   ]Statecharts.History.pdf13-Jun-2007 17:47 3.2M 
[   ]As Israelis, we call on the world to intervene on behalf of Palestinians.pdf01-Jul-2018 09:54 3.3M 
[   ]PLoS ONE Simulife.pdf22-Jul-2015 10:35 3.3M 
[   ]LymphNode.pdf30-Oct-2008 12:59 3.5M 
[IMG]Revoke my Citizenship Too.jpg30-Oct-2016 14:07 3.8M 
[   ]STCsVsBoolLogicKHC01.pdf03-Nov-2002 13:14 3.8M 
[   ]VerifiedBiology.pdf13-Jun-2007 17:58 4.0M 
[   ]Turing Test for Nature.pdf06-Nov-2013 13:00 4.4M 
[IMG]Judge Willner.jpg12-Jun-2018 09:53 5.3M 
[   ]Statecharts.History.CACM.pdf06-Jan-2010 12:52 5.8M 
[   ]Biology as Reactvity.pdf31-Oct-2011 10:11 6.1M 
[   ]FormalSemanticsStatecharts.pdf26-Sep-2011 09:54 6.8M 
[   ]Paradigm for Artwork.pdf14-Jun-2015 08:32 10M