Search dblp for Publications

export results for "E. Gazit"

 download as .bib file

@article{DBLP:journals/npjdm/ZadkaRGMNRDPABCCH24,
  author       = {Assaf Zadka and
                  Neta Rabin and
                  Eran Gazit and
                  Anat Mirelman and
                  Alice Nieuwboer and
                  Lynn Rochester and
                  Silvia Del Din and
                  Elisa Pelosin and
                  Laura Avanzino and
                  Bastiaan R. Bloem and
                  Ugo Della Croce and
                  Andrea Cereatti and
                  Jeffrey M. Hausdorff},
  title        = {A wearable sensor and machine learning estimate step length in older
                  adults and patients with neurological disorders},
  journal      = {npj Digit. Medicine},
  volume       = {7},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.1038/s41746-024-01136-2},
  doi          = {10.1038/S41746-024-01136-2},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/npjdm/ZadkaRGMNRDPABCCH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oir/EitanG24,
  author       = {Tal Eitan and
                  Tali Gazit},
  title        = {The "here and now" effect: JoMO, FoMO and the well-being of social
                  media users},
  journal      = {Online Inf. Rev.},
  volume       = {48},
  number       = {5},
  pages        = {1002--1024},
  year         = {2024},
  url          = {https://doi.org/10.1108/OIR-03-2023-0111},
  doi          = {10.1108/OIR-03-2023-0111},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/oir/EitanG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BirdFZFKLG23,
  author       = {Christian Bird and
                  Denae Ford and
                  Thomas Zimmermann and
                  Nicole Forsgren and
                  Eirini Kalliamvakou and
                  Travis Lowdermilk and
                  Idan Gazit},
  title        = {Taking Flight with Copilot},
  journal      = {Commun. {ACM}},
  volume       = {66},
  number       = {6},
  pages        = {56--62},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589996},
  doi          = {10.1145/3589996},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/BirdFZFKLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/EitanG23,
  author       = {Tal Eitan and
                  Tali Gazit},
  title        = {No social media for six hours? The emotional experience of Meta's
                  global outage according to FoMO, JoMO and internet intensity},
  journal      = {Comput. Hum. Behav.},
  volume       = {138},
  pages        = {107474},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.chb.2022.107474},
  doi          = {10.1016/J.CHB.2022.107474},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/EitanG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mbec/PrigentACSBSMADGHP23,
  author       = {Ga{\"{e}}lle Prigent and
                  Kamiar Aminian and
                  Andrea Cereatti and
                  Francesca Salis and
                  Tecla Bonci and
                  Kirsty Scott and
                  Claudia Mazz{\`{a}} and
                  Lisa Alcock and
                  Silvia Del Din and
                  Eran Gazit and
                  Clint Hansen and
                  Anisoara Paraschiv{-}Ionescu},
  title        = {A robust walking detection algorithm using a single foot-worn inertial
                  sensor: validation in real-life settings},
  journal      = {Medical Biol. Eng. Comput.},
  volume       = {61},
  number       = {9},
  pages        = {2341--2352},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11517-023-02826-x},
  doi          = {10.1007/S11517-023-02826-X},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mbec/PrigentACSBSMADGHP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/LiangRKJ23,
  author       = {Claire Liang and
                  Andy Elliot Ricci and
                  Hadas Kress{-}Gazit and
                  Malte F. Jung},
  editor       = {Ginevra Castellano and
                  Laurel D. Riek and
                  Maya Cakmak and
                  Iolanda Leite},
  title        = {Lessons From a Robot Asking for Directions In-the-wild},
  booktitle    = {Companion of the 2023 {ACM/IEEE} International Conference on Human-Robot
                  Interaction, {HRI} 2023, Stockholm, Sweden, March 13-16, 2023},
  pages        = {617--620},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3568294.3580159},
  doi          = {10.1145/3568294.3580159},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hri/LiangRKJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/DongKGMWGB22,
  author       = {Yonghui Dong and
                  Yana Kazachkova and
                  Meng Gou and
                  Liat Morgan and
                  Tal Wachsman and
                  Ehud Gazit and
                  Rune Isak Dupont Birkler},
  title        = {RawHummus: an {R} Shiny app for automated raw data quality control
                  in metabolomics},
  journal      = {Bioinform.},
  volume       = {38},
  number       = {7},
  pages        = {2072--2074},
  year         = {2022},
  url          = {https://doi.org/10.1093/bioinformatics/btac040},
  doi          = {10.1093/BIOINFORMATICS/BTAC040},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/DongKGMWGB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/frai/BatchYDLLWACGNZ22,
  author       = {Karen E. Batch and
                  Jianwei Yue and
                  Alex Darcovich and
                  Kaelan Lupton and
                  Corinne C. Liu and
                  David P. Woodlock and
                  Mohammad Ali K. El Amine and
                  Pamela I. Causa{-}Andrieu and
                  Lior Gazit and
                  Gary H. Nguyen and
                  Farhana H. Zulkernine and
                  Richard K. G. Do and
                  Amber L. Simpson},
  title        = {Developing a Cancer Digital Twin: Supervised Metastases Detection
                  From Consecutive Structured Radiology Reports},
  journal      = {Frontiers Artif. Intell.},
  volume       = {5},
  pages        = {826402},
  year         = {2022},
  url          = {https://doi.org/10.3389/frai.2022.826402},
  doi          = {10.3389/FRAI.2022.826402},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/frai/BatchYDLLWACGNZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/BirdFZFKLG22,
  author       = {Christian Bird and
                  Denae Ford and
                  Thomas Zimmermann and
                  Nicole Forsgren and
                  Eirini Kalliamvakou and
                  Travis Lowdermilk and
                  Idan Gazit},
  title        = {Taking Flight with Copilot: Early insights and opportunities of AI-powered
                  pair-programming tools},
  journal      = {{ACM} Queue},
  volume       = {20},
  number       = {6},
  pages        = {35--57},
  year         = {2022},
  url          = {https://doi.org/10.1145/3582083},
  doi          = {10.1145/3582083},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/queue/BirdFZFKLG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BrandSGBGH22,
  author       = {Yonatan E. Brand and
                  Dafna Schwartz and
                  Eran Gazit and
                  Aron S. Buchman and
                  Ran Gilad{-}Bachrach and
                  Jeffrey M. Hausdorff},
  title        = {Gait Detection from a Wrist-Worn Sensor Using Machine Learning Methods:
                  {A} Daily Living Study in Older Adults and People with Parkinson's
                  Disease},
  journal      = {Sensors},
  volume       = {22},
  number       = {18},
  pages        = {7094},
  year         = {2022},
  url          = {https://doi.org/10.3390/s22187094},
  doi          = {10.3390/S22187094},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/BrandSGBGH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08409,
  author       = {Antonio Bevilacqua and
                  Lisa Alcock and
                  Brian Caulfield and
                  Eran Gazit and
                  Clint Hansen and
                  Neil Ireson and
                  Georgiana Ifrim},
  title        = {Automated Mobility Context Detection with Inertial Signals},
  journal      = {CoRR},
  volume       = {abs/2205.08409},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.08409},
  doi          = {10.48550/ARXIV.2205.08409},
  eprinttype    = {arXiv},
  eprint       = {2205.08409},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-08409.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Kress-GazitEHAA21,
  author       = {Hadas Kress{-}Gazit and
                  Kerstin Eder and
                  Guy Hoffman and
                  Henny Admoni and
                  Brenna Argall and
                  R{\"{u}}diger Ehlers and
                  Christoffer Heckman and
                  Nils Jansen and
                  Ross A. Knepper and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Shelly Levy{-}Tzedek and
                  Jamy Li and
                  Todd D. Murphey and
                  Laurel D. Riek and
                  Dorsa Sadigh},
  title        = {Formalizing and guaranteeing human-robot interaction},
  journal      = {Commun. {ACM}},
  volume       = {64},
  number       = {9},
  pages        = {78--84},
  year         = {2021},
  url          = {https://doi.org/10.1145/3433637},
  doi          = {10.1145/3433637},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/data/MartaAFTCSAAAGB21,
  author       = {Silvio Marta and
                  Roberto Sergio Azzoni and
                  Davide Fugazza and
                  Levan Tielidze and
                  Pritam Chand and
                  Katrin Sieron and
                  Peter Almond and
                  Roberto Ambrosini and
                  Fabien Anthelme and
                  Pablo Alviz Gazit{\'{u}}a and
                  Rakesh Bhambri and
                  Aur{\'{e}}lie Bonin and
                  Marco Caccianiga and
                  Sophie Cauvy{-}Frauni{\'{e}} and
                  Jorge Luis Ceballos Lievano and
                  John J. Clague and
                  Justiniano Alejo Cochach{\'{\i}}n Rapre and
                  Olivier Dangles and
                  Philip Deline and
                  Andre Eger and
                  Rolando Cruz Encarnaci{\'{o}}n and
                  Sergey Erokhin and
                  Andrea Franzetti and
                  Ludovic Gielly and
                  Fabrizio Gili and
                  Mauro Gobbi and
                  Alessia Guerrieri and
                  Sigmund H{\aa}gvar and
                  Norine Khedim and
                  Rahab Kinyanjui and
                  Erwan Messager and
                  Marco Aurelio Morales{-}Mart{\'{\i}}nez and
                  Gwendolyn Peyre and
                  Francesca Pittino and
                  Jerome Poulenard and
                  Roberto Seppi and
                  Milap Chand Sharma and
                  Nurai Urseitova and
                  Blake Weissling and
                  Yan Yang and
                  Vitalii Zaginaev and
                  Ana{\"{\i}}s Zimmer and
                  Guglielmina Adele Diolaiuti and
                  Antoine Rabatel and
                  Gentile Francesco Ficetola},
  title        = {The Retreat of Mountain Glaciers since the Little Ice Age: {A} Spatially
                  Explicit Database},
  journal      = {Data},
  volume       = {6},
  number       = {10},
  pages        = {107},
  year         = {2021},
  url          = {https://doi.org/10.3390/data6100107},
  doi          = {10.3390/DATA6100107},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/data/MartaAFTCSAAAGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ScottBABHGSCM21,
  author       = {Kirsty Scott and
                  Tecla Bonci and
                  Lisa Alcock and
                  Ellen E. Buckley and
                  Clint Hansen and
                  Eran Gazit and
                  Lars Schwickert and
                  Andrea Cereatti and
                  Claudia Mazz{\`{a}}},
  title        = {A Quality Control Check to Ensure Comparability of Stereophotogrammetric
                  Data between Sessions and Systems},
  journal      = {Sensors},
  volume       = {21},
  number       = {24},
  pages        = {8223},
  year         = {2021},
  url          = {https://doi.org/10.3390/s21248223},
  doi          = {10.3390/S21248223},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/ScottBABHGSCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/RechesDHGGGMH20,
  author       = {Tal Reches and
                  Moria Dagan and
                  Talia Herman and
                  Eran Gazit and
                  Natalia A. Gouskova and
                  Nir Giladi and
                  Brad Manor and
                  Jeffrey M. Hausdorff},
  title        = {Using Wearable Sensors and Machine Learning to Automatically Detect
                  Freezing of Gait during a FOG-Provoking Test},
  journal      = {Sensors},
  volume       = {20},
  number       = {16},
  pages        = {4474},
  year         = {2020},
  url          = {https://doi.org/10.3390/s20164474},
  doi          = {10.3390/S20164474},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/RechesDHGGGMH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/KubotaPRKR20,
  author       = {Alyssa Kubota and
                  Emma I. C. Peterson and
                  Vaishali Rajendren and
                  Hadas Kress{-}Gazit and
                  Laurel D. Riek},
  editor       = {Tony Belpaeme and
                  James E. Young and
                  Hatice Gunes and
                  Laurel D. Riek},
  title        = {{JESSIE:} Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation
                  and Beyond},
  booktitle    = {{HRI} '20: {ACM/IEEE} International Conference on Human-Robot Interaction,
                  Cambridge, United Kingdom, March 23-26, 2020},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3319502.3374836},
  doi          = {10.1145/3319502.3374836},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hri/KubotaPRKR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16732,
  author       = {Hadas Kress{-}Gazit and
                  Kerstin Eder and
                  Guy Hoffman and
                  Henny Admoni and
                  Brenna Argall and
                  R{\"{u}}diger Ehlers and
                  Christoffer Heckman and
                  Nils Jansen and
                  Ross A. Knepper and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Shelly Levy{-}Tzedek and
                  Jamy Li and
                  Todd D. Murphey and
                  Laurel D. Riek and
                  Dorsa Sadigh},
  title        = {Formalizing and Guaranteeing* Human-Robot Interaction},
  journal      = {CoRR},
  volume       = {abs/2006.16732},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.16732},
  eprinttype    = {arXiv},
  eprint       = {2006.16732},
  timestamp    = {Tue, 28 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-16732.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/ClementPGLKHMBG19,
  author       = {Lee E. Clement and
                  Valentin Peretroukhin and
                  Matthew Giamou and
                  John J. Leonard and
                  Hadas Kress{-}Gazit and
                  Jonathan P. How and
                  Michael Milford and
                  Oliver Brock and
                  Ryan Gariepy and
                  Nicholas Roy and
                  Hallie Siegel and
                  Ludovic Righetti and
                  Aude Billard and
                  Jonathan Kelly},
  title        = {Where Do We Go From Here? Debates on the Future of Robotics Research
                  at {ICRA} 2019 [From the Field]},
  journal      = {{IEEE} Robotics Autom. Mag.},
  volume       = {26},
  number       = {3},
  pages        = {7--10},
  year         = {2019},
  url          = {https://doi.org/10.1109/MRA.2019.2926934},
  doi          = {10.1109/MRA.2019.2926934},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ram/ClementPGLKHMBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AlamiEHK19,
  author       = {Rachid Alami and
                  Kerstin I. Eder and
                  Guy Hoffman and
                  Hadas Kress{-}Gazit},
  title        = {Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar
                  19081)},
  journal      = {Dagstuhl Reports},
  volume       = {9},
  number       = {2},
  pages        = {91--110},
  year         = {2019},
  url          = {https://doi.org/10.4230/DagRep.9.2.91},
  doi          = {10.4230/DAGREP.9.2.91},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlamiEHK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scirobotics/JingTYKC18,
  author       = {Gangyuan Jing and
                  Tarik Tosun and
                  Mark Yim and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell},
  title        = {An integrated system for perception-driven autonomy with modular robots},
  journal      = {Sci. Robotics},
  volume       = {3},
  number       = {23},
  year         = {2018},
  url          = {https://doi.org/10.1126/scirobotics.aat4983},
  doi          = {10.1126/SCIROBOTICS.AAT4983},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scirobotics/JingTYKC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/WongEK18,
  author       = {Kai Weng Wong and
                  R{\"{u}}diger Ehlers and
                  Hadas Kress{-}Gazit},
  title        = {Resilient, Provably-Correct, and High-Level Robot Behaviors},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {34},
  number       = {4},
  pages        = {936--952},
  year         = {2018},
  url          = {https://doi.org/10.1109/TRO.2018.2830353},
  doi          = {10.1109/TRO.2018.2830353},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/WongEK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/TosunDJKCY18,
  author       = {Tarik Tosun and
                  Jonathan Daudelin and
                  Gangyuan Jing and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell and
                  Mark Yim},
  title        = {Perception-Informed Autonomous Environment Augmentation with Modular
                  Robots},
  booktitle    = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2018, Brisbane, Australia, May 21-25, 2018},
  pages        = {6818--6824},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICRA.2018.8463155},
  doi          = {10.1109/ICRA.2018.8463155},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/TosunDJKCY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/GoldshteinCHGTR17,
  author       = {Eitan Goldshtein and
                  Yafit Cohen and
                  Amots Hetzroni and
                  Y. Gazit and
                  D. Timar and
                  L. Rosenfeld and
                  Y. Grinshpon and
                  A. Hoffman and
                  A. Mizrach},
  title        = {Development of an automatic monitoring trap for Mediterranean fruit
                  fly (Ceratitis capitata) to optimize control applications frequency},
  journal      = {Comput. Electron. Agric.},
  volume       = {139},
  pages        = {115--125},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.compag.2017.04.022},
  doi          = {10.1016/J.COMPAG.2017.04.022},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cea/GoldshteinCHGTR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/DeCastroERBK17,
  author       = {Jonathan A. DeCastro and
                  R{\"{u}}diger Ehlers and
                  Matthias Rungger and
                  Ayca Balkan and
                  Hadas Kress{-}Gazit},
  title        = {Automated generation of dynamics-based runtime certificates for high-level
                  control},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {27},
  number       = {2},
  pages        = {371--405},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10626-016-0232-7},
  doi          = {10.1007/S10626-016-0232-7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/deds/DeCastroERBK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfr/JohnsonHKC17,
  author       = {Benjamin Johnson and
                  Frank Havlak and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell},
  title        = {Experimental Evaluation and Formal Analysis of High-Level Tasks with
                  Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle},
  journal      = {J. Field Robotics},
  volume       = {34},
  number       = {5},
  pages        = {897--911},
  year         = {2017},
  url          = {https://doi.org/10.1002/rob.21695},
  doi          = {10.1002/ROB.21695},
  timestamp    = {Mon, 18 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/ArkinWBNBKH17,
  author       = {Jacob Arkin and
                  Matthew R. Walter and
                  Adrian Boteanu and
                  Michael E. Napoli and
                  Harel Biggie and
                  Hadas Kress{-}Gazit and
                  Thomas M. Howard},
  title        = {Contextual awareness: Understanding monologic natural language instructions
                  for autonomous robots},
  booktitle    = {26th {IEEE} International Symposium on Robot and Human Interactive
                  Communication, {RO-MAN} 2017, Lisbon, Portugal, August 28 - Sept.
                  1, 2017},
  pages        = {502--509},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ROMAN.2017.8172349},
  doi          = {10.1109/ROMAN.2017.8172349},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ro-man/ArkinWBNBKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05435,
  author       = {Jonathan Daudelin and
                  Gangyuan Jing and
                  Tarik Tosun and
                  Mark Yim and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell},
  title        = {An Integrated System for Perception-Driven Autonomy with Modular Robots},
  journal      = {CoRR},
  volume       = {abs/1709.05435},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.05435},
  eprinttype    = {arXiv},
  eprint       = {1709.05435},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-05435.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-01840,
  author       = {Tarik Tosun and
                  Jonathan Daudelin and
                  Gangyuan Jing and
                  Hadas Kress{-}Gazit and
                  Mark E. Campbell and
                  Mark Yim},
  title        = {Perception-Informed Autonomous Environment Augmentation With Modular
                  Robots},
  journal      = {CoRR},
  volume       = {abs/1710.01840},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.01840},
  eprinttype    = {arXiv},
  eprint       = {1710.01840},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-01840.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamKNT17,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Hadas Kress{-}Gazit and
                  Lorenzo Natale and
                  Armando Tacchella},
  title        = {Computer-Assisted Engineering for Robotics and Autonomous Systems
                  (Dagstuhl Seminar 17071)},
  journal      = {Dagstuhl Reports},
  volume       = {7},
  number       = {2},
  pages        = {48--63},
  year         = {2017},
  url          = {https://doi.org/10.4230/DagRep.7.2.48},
  doi          = {10.4230/DAGREP.7.2.48},
  timestamp    = {Mon, 11 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Klovatch-Podlipsky16,
  author       = {Ilana Klovatch{-}Podlipsky and
                  Tomer Gazit and
                  Firas Fahoum and
                  Boris Tsirelson and
                  Svetlana Kipervasser and
                  Uri Kremer and
                  Bruria Ben{-}Zeev and
                  Hadassah Goldberg{-}Stern and
                  Orna Eisenstein and
                  Yuval Harpaz and
                  Ory Levy and
                  Adi Kirschner and
                  Miriam Y. Neufeld and
                  Itzhak Fried and
                  Talma Hendler and
                  Mordekhay Medvedovsky},
  title        = {Dual array EEG-fMRI: An approach for motion artifact suppression in
                  {EEG} recorded simultaneously with fMRI},
  journal      = {NeuroImage},
  volume       = {142},
  pages        = {674--686},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.neuroimage.2016.07.014},
  doi          = {10.1016/J.NEUROIMAGE.2016.07.014},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/Klovatch-Podlipsky16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/MaziluBCGHT16,
  author       = {Sinziana Mazilu and
                  Ulf Blanke and
                  Alberto Calatroni and
                  Eran Gazit and
                  Jeffrey M. Hausdorff and
                  Gerhard Tr{\"{o}}ster},
  title        = {The role of wrist-mounted inertial sensors in detecting gait freeze
                  episodes in Parkinson's disease},
  journal      = {Pervasive Mob. Comput.},
  volume       = {33},
  pages        = {1--16},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.pmcj.2015.12.007},
  doi          = {10.1016/J.PMCJ.2015.12.007},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/percom/MaziluBCGHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/LahijanianMFKKV16,
  author       = {Morteza Lahijanian and
                  Matthew R. Maly and
                  Dror Fried and
                  Lydia E. Kavraki and
                  Hadas Kress{-}Gazit and
                  Moshe Y. Vardi},
  title        = {Iterative Temporal Planning in Uncertain Environments With Partial
                  Satisfaction Guarantees},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {32},
  number       = {3},
  pages        = {583--599},
  year         = {2016},
  url          = {https://doi.org/10.1109/TRO.2016.2544339},
  doi          = {10.1109/TRO.2016.2544339},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/trob/LahijanianMFKKV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiis/MaziluBDGMHT15,
  author       = {Sinziana Mazilu and
                  Ulf Blanke and
                  Moran Dorfman and
                  Eran Gazit and
                  Anat Mirelman and
                  Jeffrey M. Hausdorff and
                  Gerhard Tr{\"{o}}ster},
  title        = {A Wearable Assistant for Gait Training for Parkinson's Disease with
                  Freezing of Gait in Out-of-the-Lab Environments},
  journal      = {{ACM} Trans. Interact. Intell. Syst.},
  volume       = {5},
  number       = {1},
  pages        = {5:1--5:31},
  year         = {2015},
  url          = {https://doi.org/10.1145/2701431},
  doi          = {10.1145/2701431},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tiis/MaziluBDGMHT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/MaziluCGMHT15,
  author       = {Sinziana Mazilu and
                  Alberto Calatroni and
                  Eran Gazit and
                  Anat Mirelman and
                  Jeffrey M. Hausdorff and
                  Gerhard Tr{\"{o}}ster},
  title        = {Prediction of Freezing of Gait in Parkinson's From Physiological Wearables:
                  An Exploratory Study},
  journal      = {{IEEE} J. Biomed. Health Informatics},
  volume       = {19},
  number       = {6},
  pages        = {1843--1854},
  year         = {2015},
  url          = {https://doi.org/10.1109/JBHI.2015.2465134},
  doi          = {10.1109/JBHI.2015.2465134},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/titb/MaziluCGMHT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
  author       = {Rajeev Alur and
                  Rastislav Bod{\'{\i}}k and
                  Eric Dallal and
                  Dana Fisman and
                  Pranav Garg and
                  Garvit Juniwal and
                  Hadas Kress{-}Gazit and
                  P. Madhusudan and
                  Milo M. K. Martin and
                  Mukund Raghothaman and
                  Shambwaditya Saha and
                  Sanjit A. Seshia and
                  Rishabh Singh and
                  Armando Solar{-}Lezama and
                  Emina Torlak and
                  Abhishek Udupa},
  editor       = {Maximilian Irlbeck and
                  Doron A. Peled and
                  Alexander Pretschner},
  title        = {Syntax-Guided Synthesis},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {40},
  pages        = {1--25},
  publisher    = {{IOS} Press},
  year         = {2015},
  url          = {https://doi.org/10.3233/978-1-61499-495-4-1},
  doi          = {10.3233/978-1-61499-495-4-1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbcas/EdriGCT14,
  author       = {Shlomit Edri and
                  Eran Gazit and
                  Eyal Cohen and
                  Tamir Tuller},
  title        = {The {RNA} Polymerase Flow Model of Gene Transcription},
  journal      = {{IEEE} Trans. Biomed. Circuits Syst.},
  volume       = {8},
  number       = {1},
  pages        = {54--64},
  year         = {2014},
  url          = {https://doi.org/10.1109/TBCAS.2013.2290063},
  doi          = {10.1109/TBCAS.2013.2290063},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tbcas/EdriGCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MaziluBHTGH14,
  author       = {Sinziana Mazilu and
                  Ulf Blanke and
                  Michael Hardegger and
                  Gerhard Tr{\"{o}}ster and
                  Eran Gazit and
                  Jeffrey M. Hausdorff},
  editor       = {Matt Jones and
                  Philippe A. Palanque and
                  Albrecht Schmidt and
                  Tovi Grossman},
  title        = {GaitAssist: a daily-life support and training system for parkinson's
                  disease patients with freezing of gait},
  booktitle    = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
                  ON, Canada - April 26 - May 01, 2014},
  pages        = {2531--2540},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2556288.2557278},
  doi          = {10.1145/2556288.2557278},
  timestamp    = {Tue, 01 Jun 2021 15:21:43 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/MaziluBHTGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MaziluBHTGDH14,
  author       = {Sinziana Mazilu and
                  Ulf Blanke and
                  Michael Hardegger and
                  Gerhard Tr{\"{o}}ster and
                  Eran Gazit and
                  Moran Dorfman and
                  Jeffrey M. Hausdorff},
  title        = {GaitAssist: {A} wearable assistant for gait training and rehabilitation
                  in Parkinson's disease},
  booktitle    = {2014 {IEEE} International Conference on Pervasive Computing and Communication
                  Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28,
                  2014},
  pages        = {135--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PerComW.2014.6815179},
  doi          = {10.1109/PERCOMW.2014.6815179},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/MaziluBHTGDH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/WongEK14,
  author       = {Kai Weng Wong and
                  R{\"{u}}diger Ehlers and
                  Hadas Kress{-}Gazit},
  editor       = {Dieter Fox and
                  Lydia E. Kavraki and
                  Hanna Kurniawati},
  title        = {Correct High-level Robot Behavior in Environments with Unexpected
                  Events},
  booktitle    = {Robotics: Science and Systems X, University of California, Berkeley,
                  USA, July 12-16, 2014},
  year         = {2014},
  url          = {http://www.roboticsproceedings.org/rss10/p12.html},
  doi          = {10.15607/RSS.2014.X.012},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rss/WongEK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/EhlersSK14,
  author       = {R{\"{u}}diger Ehlers and
                  Sanjit A. Seshia and
                  Hadas Kress{-}Gazit},
  editor       = {Kenneth L. McMillan and
                  Xavier Rival},
  title        = {Synthesis with Identifiers},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 15th International
                  Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8318},
  pages        = {415--433},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54013-4\_23},
  doi          = {10.1007/978-3-642-54013-4\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/EhlersSK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DeCastroERBTK14,
  author       = {Jonathan A. DeCastro and
                  R{\"{u}}diger Ehlers and
                  Matthias Rungger and
                  Ayca Balkan and
                  Paulo Tabuada and
                  Hadas Kress{-}Gazit},
  title        = {Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level
                  Robot Control},
  journal      = {CoRR},
  volume       = {abs/1410.6375},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.6375},
  eprinttype    = {arXiv},
  eprint       = {1410.6375},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DeCastroERBTK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aughuman/MaziluBRTGH13,
  author       = {Sinziana Mazilu and
                  Ulf Blanke and
                  Daniel Roggen and
                  Gerhard Tr{\"{o}}ster and
                  Eran Gazit and
                  Jeffrey M. Hausdorff},
  editor       = {Albrecht Schmidt and
                  Andreas Bulling and
                  Christian Holz},
  title        = {Engineers meet clinicians: augmenting Parkinson's disease patients
                  to gather information for gait rehabilitation},
  booktitle    = {4th Augmented Human International Conference, AH'13, Stuttgart, Germany,
                  March 7-8, 2013},
  pages        = {124--127},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2459236.2459257},
  doi          = {10.1145/2459236.2459257},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aughuman/MaziluBRTGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/BarakCGT13,
  author       = {Omer Barak and
                  Gabriella Cohen and
                  Alla Gazit and
                  Eran Toch},
  editor       = {Friedemann Mattern and
                  Silvia Santini and
                  John F. Canny and
                  Marc Langheinrich and
                  Jun Rekimoto},
  title        = {The price is right?: economic value of location sharing},
  booktitle    = {The 2013 {ACM} International Joint Conference on Pervasive and Ubiquitous
                  Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013
                  - Adjunct Publication},
  pages        = {891--900},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494091.2497343},
  doi          = {10.1145/2494091.2497343},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/huc/BarakCGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MalyLKKV13,
  author       = {Matthew R. Maly and
                  Morteza Lahijanian and
                  Lydia E. Kavraki and
                  Hadas Kress{-}Gazit and
                  Moshe Y. Vardi},
  editor       = {Calin Belta and
                  Franjo Ivancic},
  title        = {Iterative temporal motion planning for hybrid systems in partially
                  unknown environments},
  booktitle    = {Proceedings of the 16th international conference on Hybrid systems:
                  computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,
                  PA, {USA}},
  pages        = {353--362},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2461328.2461380},
  doi          = {10.1145/2461328.2461380},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/MalyLKKV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/JingEK13,
  author       = {Gangyuan Jing and
                  R{\"{u}}diger Ehlers and
                  Hadas Kress{-}Gazit},
  title        = {Shortcut through an evil door: Optimality of correct-by-construction
                  controllers in adversarial environments},
  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},
  pages        = {4796--4802},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IROS.2013.6697048},
  doi          = {10.1109/IROS.2013.6697048},
  timestamp    = {Tue, 05 Sep 2023 15:06:24 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/JingEK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mldm/MaziluCGRHT13,
  author       = {Sinziana Mazilu and
                  Alberto Calatroni and
                  Eran Gazit and
                  Daniel Roggen and
                  Jeffrey M. Hausdorff and
                  Gerhard Tr{\"{o}}ster},
  editor       = {Petra Perner},
  title        = {Feature Learning for Detection and Prediction of Freezing of Gait
                  in Parkinson's Disease},
  booktitle    = {Machine Learning and Data Mining in Pattern Recognition - 9th International
                  Conference, {MLDM} 2013, New York, NY, USA, July 19-25, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7988},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39712-7\_11},
  doi          = {10.1007/978-3-642-39712-7\_11},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mldm/MaziluCGRHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/JohnsonHCK12,
  author       = {Benjamin Johnson and
                  Frank Havlak and
                  Mark E. Campbell and
                  Hadas Kress{-}Gazit},
  title        = {Execution and analysis of high-level tasks with dynamic obstacle anticipation},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
  pages        = {330--337},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICRA.2012.6224980},
  doi          = {10.1109/ICRA.2012.6224980},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/JohnsonHCK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcamd/StemplerLFASBGS11,
  author       = {Shiri Stempler and
                  Michal Levy{-}Sakin and
                  Anat Frydman{-}Marom and
                  Yaniv Amir and
                  Roni Scherzer{-}Attali and
                  Ludmila Buzhansky and
                  Ehud Gazit and
                  Hanoch Senderowitz},
  title        = {Quantitative structure-activity relationship analysis of {\(\beta\)}-amyloid
                  aggregation inhibitors},
  journal      = {J. Comput. Aided Mol. Des.},
  volume       = {25},
  number       = {2},
  pages        = {135--144},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10822-010-9405-x},
  doi          = {10.1007/S10822-010-9405-X},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcamd/StemplerLFASBGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/FainekosGKP09,
  author       = {Georgios E. Fainekos and
                  Antoine Girard and
                  Hadas Kress{-}Gazit and
                  George J. Pappas},
  title        = {Temporal logic motion planning for dynamic robots},
  journal      = {Autom.},
  volume       = {45},
  number       = {2},
  pages        = {343--352},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.automatica.2008.08.008},
  doi          = {10.1016/J.AUTOMATICA.2008.08.008},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/automatica/FainekosGKP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/Kress-GazitFP09,
  author       = {Hadas Kress{-}Gazit and
                  Georgios E. Fainekos and
                  George J. Pappas},
  title        = {Temporal-Logic-Based Reactive Mission and Motion Planning},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {25},
  number       = {6},
  pages        = {1370--1381},
  year         = {2009},
  url          = {https://doi.org/10.1109/TRO.2009.2030225},
  doi          = {10.1109/TRO.2009.2030225},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/trob/Kress-GazitFP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/Kress-GazitFP08,
  author       = {Hadas Kress{-}Gazit and
                  Georgios E. Fainekos and
                  George J. Pappas},
  title        = {Translating Structured English to Robot Controllers},
  journal      = {Adv. Robotics},
  volume       = {22},
  number       = {12},
  pages        = {1343--1359},
  year         = {2008},
  url          = {https://doi.org/10.1163/156855308X344864},
  doi          = {10.1163/156855308X344864},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ar/Kress-GazitFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/Kress-GazitFP07,
  author       = {Hadas Kress{-}Gazit and
                  Georgios E. Fainekos and
                  George J. Pappas},
  title        = {Where's Waldo? Sensor-Based Temporal Logic Motion Planning},
  booktitle    = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2007, 10-14 April 2007, Roma, Italy},
  pages        = {3116--3121},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ROBOT.2007.363946},
  doi          = {10.1109/ROBOT.2007.363946},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/Kress-GazitFP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Kress-GazitFP07,
  author       = {Hadas Kress{-}Gazit and
                  Georgios E. Fainekos and
                  George J. Pappas},
  title        = {From structured english to robot motion},
  booktitle    = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,
                  San Diego, California, {USA}},
  pages        = {2717--2722},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IROS.2007.4398998},
  doi          = {10.1109/IROS.2007.4398998},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/Kress-GazitFP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vr/GazitYC06,
  author       = {Elhanan Gazit and
                  Yoav Yair and
                  David Chen},
  title        = {The gain and pain in taking the pilot seat: learning dynamics in a
                  non immersive virtual solar system},
  journal      = {Virtual Real.},
  volume       = {10},
  number       = {3-4},
  pages        = {271--282},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10055-006-0053-3},
  doi          = {10.1007/S10055-006-0053-3},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vr/GazitYC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FainekosKP05,
  author       = {Georgios E. Fainekos and
                  Hadas Kress{-}Gazit and
                  George J. Pappas},
  title        = {Hybrid Controllers for Path Planning: {A} Temporal Logic Approach},
  booktitle    = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
                  Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
                  December, 2005},
  pages        = {4885--4890},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/CDC.2005.1582935},
  doi          = {10.1109/CDC.2005.1582935},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/FainekosKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/FainekosKP05,
  author       = {Georgios E. Fainekos and
                  Hadas Kress{-}Gazit and
                  George J. Pappas},
  title        = {Temporal Logic Motion Planning for Mobile Robots},
  booktitle    = {Proceedings of the 2005 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},
  pages        = {2020--2025},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ROBOT.2005.1570410},
  doi          = {10.1109/ROBOT.2005.1570410},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/FainekosKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/GalGGBCPSZW05,
  author       = {Eynat Gal and
                  Dina Goren{-}Bar and
                  E. Gazit and
                  Nirit Bauminger and
                  Alessandro Cappelletti and
                  Fabio Pianesi and
                  Oliviero Stock and
                  Massimo Zancanaro and
                  Patrice L. (Tamar) Weiss},
  editor       = {Mark T. Maybury and
                  Oliviero Stock and
                  Wolfgang Wahlster},
  title        = {Enhancing Social Communication Through Story-Telling Among High-Functioning
                  Children with Autism},
  booktitle    = {Intelligent Technologies for Interactive Entertainment, First International
                  Conference, {INTETAIN} 2005, Madonna di Campiglio, Italy, November
                  30 - December 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3814},
  pages        = {320--323},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11590323\_43},
  doi          = {10.1007/11590323\_43},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intetain/GalGGBCPSZW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/GazitCY04,
  author       = {Elchanan Gazit and
                  David Chen and
                  Yoav Yair},
  editor       = {Yasmin B. Kafai and
                  Noel Enyedy and
                  Bill Sandoval},
  title        = {Developing Understanding of Basic Astronomical Concepts By Using a
                  Virtual Solar System},
  booktitle    = {Embracing Diversity in the Learning Sciences: Proceedings of the 6th
                  International Conference for the Learning Sciences, {ICLS} 2004, Los
                  Angeles, CA, USA, June 22-26, 2004},
  publisher    = {International Society of the Learning Sciences},
  year         = {2004},
  url          = {https://repository.isls.org/handle/1/4019},
  timestamp    = {Tue, 11 May 2021 18:13:28 +0200},
  biburl       = {https://dblp.org/rec/conf/icls/GazitCY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/Gazit02,
  author       = {Ehud Gazit},
  title        = {Global analysis of tandem aromatic octapeptide repeats: The significance
                  of the aromatic-glycine motif},
  journal      = {Bioinform.},
  volume       = {18},
  number       = {6},
  pages        = {880--883},
  year         = {2002},
  url          = {https://doi.org/10.1093/bioinformatics/18.6.880},
  doi          = {10.1093/BIOINFORMATICS/18.6.880},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/Gazit02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}