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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/hri/LiangRKJ23,
  author       = {Claire Liang and
                  Andy Elliot Ricci and
                  Hadas Kress{-}Gazit and
                  Malte F. Jung},
  title        = {Lessons From a Robot Asking for Directions In-the-wild},
  booktitle    = {{HRI} (Companion)},
  pages        = {617--620},
  publisher    = {{ACM}},
  year         = {2023}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/hri/KubotaPRKR20,
  author       = {Alyssa Kubota and
                  Emma I. C. Peterson and
                  Vaishali Rajendren and
                  Hadas Kress{-}Gazit and
                  Laurel D. Riek},
  title        = {{JESSIE:} Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation
                  and Beyond},
  booktitle    = {{HRI}},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {2020}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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    = {{ICRA}},
  pages        = {6818--6824},
  publisher    = {{IEEE}},
  year         = {2018}
}
@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}
}
@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}
}
@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}
}
@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    = {{RO-MAN}},
  pages        = {502--509},
  publisher    = {{IEEE}},
  year         = {2017}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
  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}
}
@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}
}
@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},
  title        = {GaitAssist: a daily-life support and training system for parkinson's
                  disease patients with freezing of gait},
  booktitle    = {{CHI}},
  pages        = {2531--2540},
  publisher    = {{ACM}},
  year         = {2014}
}
@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    = {PerCom Workshops},
  pages        = {135--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}
@inproceedings{DBLP:conf/rss/WongEK14,
  author       = {Kai Weng Wong and
                  R{\"{u}}diger Ehlers and
                  Hadas Kress{-}Gazit},
  title        = {Correct High-level Robot Behavior in Environments with Unexpected
                  Events},
  booktitle    = {Robotics: Science and Systems},
  year         = {2014}
}
@inproceedings{DBLP:conf/vmcai/EhlersSK14,
  author       = {R{\"{u}}diger Ehlers and
                  Sanjit A. Seshia and
                  Hadas Kress{-}Gazit},
  title        = {Synthesis with Identifiers},
  booktitle    = {{VMCAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8318},
  pages        = {415--433},
  publisher    = {Springer},
  year         = {2014}
}
@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}
}
@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},
  title        = {Engineers meet clinicians: augmenting Parkinson's disease patients
                  to gather information for gait rehabilitation},
  booktitle    = {{AH}},
  pages        = {124--127},
  publisher    = {{ACM}},
  year         = {2013}
}
@inproceedings{DBLP:conf/huc/BarakCGT13,
  author       = {Omer Barak and
                  Gabriella Cohen and
                  Alla Gazit and
                  Eran Toch},
  title        = {The price is right?: economic value of location sharing},
  booktitle    = {UbiComp (Adjunct Publication)},
  pages        = {891--900},
  publisher    = {{ACM}},
  year         = {2013}
}
@inproceedings{DBLP:conf/hybrid/MalyLKKV13,
  author       = {Matthew R. Maly and
                  Morteza Lahijanian and
                  Lydia E. Kavraki and
                  Hadas Kress{-}Gazit and
                  Moshe Y. Vardi},
  title        = {Iterative temporal motion planning for hybrid systems in partially
                  unknown environments},
  booktitle    = {{HSCC}},
  pages        = {353--362},
  publisher    = {{ACM}},
  year         = {2013}
}
@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    = {{IROS}},
  pages        = {4796--4802},
  publisher    = {{IEEE}},
  year         = {2013}
}
@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},
  title        = {Feature Learning for Detection and Prediction of Freezing of Gait
                  in Parkinson's Disease},
  booktitle    = {{MLDM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7988},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {2013}
}
@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    = {{ICRA}},
  pages        = {330--337},
  publisher    = {{IEEE}},
  year         = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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    = {{ICRA}},
  pages        = {3116--3121},
  publisher    = {{IEEE}},
  year         = {2007}
}
@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    = {{IROS}},
  pages        = {2717--2722},
  publisher    = {{IEEE}},
  year         = {2007}
}
@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}
}
@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    = {{CDC/ECC}},
  pages        = {4885--4890},
  publisher    = {{IEEE}},
  year         = {2005}
}
@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    = {{ICRA}},
  pages        = {2020--2025},
  publisher    = {{IEEE}},
  year         = {2005}
}
@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},
  title        = {Enhancing Social Communication Through Story-Telling Among High-Functioning
                  Children with Autism},
  booktitle    = {{INTETAIN}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3814},
  pages        = {320--323},
  publisher    = {Springer},
  year         = {2005}
}
@inproceedings{DBLP:conf/icls/GazitCY04,
  author       = {Elchanan Gazit and
                  David Chen and
                  Yoav Yair},
  title        = {Developing Understanding of Basic Astronomical Concepts By Using a
                  Virtual Solar System},
  booktitle    = {{ICLS}},
  publisher    = {International Society of the Learning Sciences},
  year         = {2004}
}
@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}
}