BibTeX records: Amiram Yehudai

download as .bib file

@inproceedings{DBLP:conf/icsm/LevinY19,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Processing Large Datasets of Fined Grained Source Code Changes},
  booktitle    = {2019 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2019, Cleveland, OH, USA, September 29 - October 4, 2019},
  pages        = {382--385},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSME.2019.00064},
  doi          = {10.1109/ICSME.2019.00064},
  timestamp    = {Tue, 10 Dec 2019 20:50:05 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/LevinY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/LevinY19,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Visually Exploring Software Maintenance Activities},
  booktitle    = {2019 Working Conference on Software Visualization, {VISSOFT} 2019,
                  Cleveland, OH, USA, September 30 - October 1, 2019},
  pages        = {110--114},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/VISSOFT.2019.00021},
  doi          = {10.1109/VISSOFT.2019.00021},
  timestamp    = {Tue, 19 Nov 2019 16:05:40 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/LevinY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04909,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Towards Software Analytics: Modeling Maintenance Activities},
  journal      = {CoRR},
  volume       = {abs/1903.04909},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.04909},
  eprinttype    = {arXiv},
  eprint       = {1903.04909},
  timestamp    = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-04909.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08907,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Visually Exploring Software Maintenance Activities},
  journal      = {CoRR},
  volume       = {abs/1910.08907},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.08907},
  eprinttype    = {arXiv},
  eprint       = {1910.08907},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-08907.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08908,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Processing Large Datasets of Fined Grained Source Code Changes},
  journal      = {CoRR},
  volume       = {abs/1910.08908},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.08908},
  eprinttype    = {arXiv},
  eprint       = {1910.08908},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-08908.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BellTY18,
  author       = {Tim Bell and
                  Paul Tymann and
                  Amiram Yehudai},
  title        = {The Big Ideas in Computer Science for {K-12} Curricula},
  journal      = {Bull. {EATCS}},
  volume       = {124},
  year         = {2018},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/521},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/BellTY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/LevinY17,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {The Co-evolution of Test Maintenance and Code Maintenance through
                  the Lens of Fine-Grained Semantic Changes},
  booktitle    = {2017 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2017, Shanghai, China, September 17-22, 2017},
  pages        = {35--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSME.2017.9},
  doi          = {10.1109/ICSME.2017.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/LevinY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promise/LevinY17,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  editor       = {Burak Turhan and
                  David Bowes and
                  Emad Shihab},
  title        = {Boosting Automatic Commit Classification Into Maintenance Activities
                  By Utilizing Source Code Changes},
  booktitle    = {Proceedings of the 13th International Conference on Predictive Models
                  and Data Analytics in Software Engineering, {PROMISE} 2017, Toronto,
                  Canada, November 8, 2017},
  pages        = {97--106},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3127005.3127016},
  doi          = {10.1145/3127005.3127016},
  timestamp    = {Wed, 25 Sep 2019 18:22:29 +0200},
  biburl       = {https://dblp.org/rec/conf/promise/LevinY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09029,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {The Co-Evolution of Test Maintenance and Code Maintenance through
                  the lens of Fine-Grained Semantic Changes},
  journal      = {CoRR},
  volume       = {abs/1709.09029},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09029},
  eprinttype    = {arXiv},
  eprint       = {1709.09029},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-05340,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Boosting Automatic Commit Classification Into Maintenance Activities
                  By Utilizing Source Code Changes},
  journal      = {CoRR},
  volume       = {abs/1711.05340},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.05340},
  eprinttype    = {arXiv},
  eprint       = {1711.05340},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-05340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/LevinY16,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Using Temporal and Semantic Developer-Level Information to Predict
                  Maintenance Activity Profiles},
  booktitle    = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages        = {463--467},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICSME.2016.21},
  doi          = {10.1109/ICSME.2016.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/LevinY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LevinY16,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Using Temporal and Semantic Developer-Level Information to Predict
                  Maintenance Activity Profiles},
  journal      = {CoRR},
  volume       = {abs/1611.10053},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.10053},
  eprinttype    = {arXiv},
  eprint       = {1611.10053},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LevinY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LevinY15,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Collaborative Real Time Coding or How to Avoid the Dreaded Merge},
  journal      = {CoRR},
  volume       = {abs/1504.06741},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.06741},
  eprinttype    = {arXiv},
  eprint       = {1504.06741},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LevinY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LevinY15a,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Improving software team collaboration with Synchronized Software Development},
  journal      = {CoRR},
  volume       = {abs/1504.06742},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.06742},
  eprinttype    = {arXiv},
  eprint       = {1504.06742},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LevinY15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenY15,
  author       = {Dekel Cohen and
                  Amiram Yehudai},
  title        = {Localization of real world regression Bugs using single execution},
  journal      = {CoRR},
  volume       = {abs/1505.01286},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.01286},
  eprinttype    = {arXiv},
  eprint       = {1505.01286},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CohenY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LevinY15b,
  author       = {Stanislav Levin and
                  Amiram Yehudai},
  title        = {Alleviating Merge Conflicts with Fine-grained Visual Awareness},
  journal      = {CoRR},
  volume       = {abs/1508.01872},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.01872},
  eprinttype    = {arXiv},
  eprint       = {1508.01872},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LevinY15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VainerY14,
  author       = {Evgeny Vainer and
                  Amiram Yehudai},
  title        = {Taming the Concurrency: Controlling Concurrent Behavior while Testing
                  Multithreaded Software},
  journal      = {CoRR},
  volume       = {abs/1409.0982},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.0982},
  eprinttype    = {arXiv},
  eprint       = {1409.0982},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/VainerY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/GelfgatTY12,
  author       = {Igor Gelfgat and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Granulated Code Generation of Interfering Functionalities},
  booktitle    = {Federated Conference on Computer Science and Information Systems -
                  FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings},
  pages        = {1333--1340},
  year         = {2012},
  url          = {https://fedcsis.org/proceedings/2012/pliks/209.pdf},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fedcsis/GelfgatTY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZagalskyBY12,
  author       = {Alexey Zagalsky and
                  Ohad Barzilay and
                  Amiram Yehudai},
  editor       = {Walid Maalej and
                  Martin P. Robillard and
                  Robert J. Walker and
                  Thomas Zimmermann},
  title        = {Example overflow: using social media for code recommendation},
  booktitle    = {Proceedings of the Third International Workshop on Recommendation
                  Systems for Software Engineering, {RSSE} 2012, Zurich, Switzerland,
                  June 4, 2012},
  pages        = {38--42},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/RSSE.2012.6233407},
  doi          = {10.1109/RSSE.2012.6233407},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ZagalskyBY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saem/BeckertGTY11,
  author       = {Bernhard Beckert and
                  Christoph Gladisch and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {KeYGenU: combining verification-based and capture and replay techniques
                  for regression unit testing},
  journal      = {Int. J. Syst. Assur. Eng. Manag.},
  volume       = {2},
  number       = {2},
  pages        = {97--113},
  year         = {2011},
  url          = {https://doi.org/10.1007/s13198-011-0068-3},
  doi          = {10.1007/S13198-011-0068-3},
  timestamp    = {Fri, 24 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/saem/BeckertGTY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CibulskiY11,
  author       = {Hagai Cibulski and
                  Amiram Yehudai},
  title        = {Regression Test Selection Techniques for Test-Driven Development},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {115--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.28},
  doi          = {10.1109/ICSTW.2011.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/CibulskiY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarzilayHY11,
  author       = {Ohad Barzilay and
                  Orit Hazzan and
                  Amiram Yehudai},
  editor       = {Tibor Gyim{\'{o}}thy and
                  Andreas Zeller},
  title        = {Using social media to study the diversity of example usage among professional
                  developers},
  booktitle    = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
                  Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
                  Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
                  2011},
  pages        = {472--475},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2025113.2025195},
  doi          = {10.1145/2025113.2025195},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/BarzilayHY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/Yehudai10,
  author       = {Amiram Yehudai},
  editor       = {Juraj Hromkovic and
                  Richard Kr{\'{a}}lovic and
                  Jan Vahrenhold},
  title        = {Perspective on Computer Science Education},
  booktitle    = {Teaching Fundamentals Concepts of Informatics, 4th International Conference
                  on Informatics in Secondary Schools - Evolution and Perspectives,
                  {ISSEP} 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5941},
  pages        = {35},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11376-5\_4},
  doi          = {10.1007/978-3-642-11376-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/issep/Yehudai10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GladischTBY10,
  author       = {Christoph Gladisch and
                  Shmuel S. Tyszberowicz and
                  Bernhard Beckert and
                  Amiram Yehudai},
  editor       = {Gordon Fraser and
                  Angelo Gargantini},
  title        = {Generating Regression Unit Tests Using a Combination of Verification
                  and Capture {\&} Replay},
  booktitle    = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
                  Spain, July 1-2, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6143},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13977-2\_7},
  doi          = {10.1007/978-3-642-13977-2\_7},
  timestamp    = {Mon, 23 Nov 2020 12:33:05 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/GladischTBY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PasternakTY09,
  author       = {Benny Pasternak and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {GenUTest: a unit test and mock aspect generation tool},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {11},
  number       = {4},
  pages        = {273--290},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10009-009-0115-4},
  doi          = {10.1007/S10009-009-0115-4},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/PasternakTY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/BarzilayHY09,
  author       = {Ohad Barzilay and
                  Orit Hazzan and
                  Amiram Yehudai},
  title        = {A Multidimensional Software Engineering Course},
  journal      = {{IEEE} Trans. Educ.},
  volume       = {52},
  number       = {3},
  pages        = {413--424},
  year         = {2009},
  url          = {https://doi.org/10.1109/TE.2008.930094},
  doi          = {10.1109/TE.2008.930094},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/te/BarzilayHY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BarzilayHY09,
  author       = {Ohad Barzilay and
                  Orit Hazzan and
                  Amiram Yehudai},
  editor       = {Patrick Br{\'{e}}zillon and
                  Ingrid Russell and
                  Jean{-}Marc Labat},
  title        = {Evaluation of a software engineering course by reflection},
  booktitle    = {Proceedings of the 14th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2009, Paris, France,
                  July 6-9, 2009},
  pages        = {273--277},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1562877.1562961},
  doi          = {10.1145/1562877.1562961},
  timestamp    = {Tue, 09 Mar 2021 15:32:11 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/BarzilayHY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/PhinkY08,
  author       = {Yuri Phink and
                  Amiram Yehudai},
  editor       = {Richard F. Paige and
                  Bertrand Meyer},
  title        = {Virtual Machine Support for Stateful Aspects},
  booktitle    = {Objects, Components, Models and Patterns, 46th International Conference,
                  {TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
                  Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {11},
  pages        = {80--99},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69824-1\_6},
  doi          = {10.1007/978-3-540-69824-1\_6},
  timestamp    = {Wed, 24 Jun 2020 15:26:33 +0200},
  biburl       = {https://dblp.org/rec/conf/tools/PhinkY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/NirTY07,
  author       = {Dor Nir and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  editor       = {Karen Yorav},
  title        = {Locating Regression Bugs},
  booktitle    = {Hardware and Software: Verification and Testing, Third International
                  Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
                  23-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4899},
  pages        = {218--234},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77966-7\_18},
  doi          = {10.1007/978-3-540-77966-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/NirTY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PasternakTY07,
  author       = {Benny Pasternak and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  editor       = {Karen Yorav},
  title        = {GenUTest: {A} Unit Test and Mock Aspect Generation Tool},
  booktitle    = {Hardware and Software: Verification and Testing, Third International
                  Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
                  23-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4899},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77966-7\_20},
  doi          = {10.1007/978-3-540-77966-7\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/PasternakTY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/KleymanTY07,
  author       = {M. Kleyman and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {Refactoring Aspects into Java Code},
  booktitle    = {{IEEE} International Conference on Software-Science, Technology {\&}
                  Engineering, SwSTE'07, Herzlia, Israel, October 30-31, 2007},
  pages        = {35--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SwSTE.2007.7},
  doi          = {10.1109/SWSTE.2007.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/swste/KleymanTY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcc/HarrusiAY06,
  author       = {S. Harrusi and
                  Amir Averbuch and
                  Amiram Yehudai},
  title        = {{XML} Syntax Conscious Compression},
  booktitle    = {2006 Data Compression Conference {(DCC} 2006), 28-30 March 2006, Snowbird,
                  UT, {USA}},
  pages        = {402--411},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/DCC.2006.85},
  doi          = {10.1109/DCC.2006.85},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcc/HarrusiAY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LevinY06,
  author       = {Stella Levin and
                  Amiram Yehudai},
  editor       = {Eyal Bin and
                  Avi Ziv and
                  Shmuel Ur},
  title        = {Evolutionary Testing: {A} Case Study},
  booktitle    = {Hardware and Software, Verification and Testing, Second International
                  Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
                  23-26, 2006. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4383},
  pages        = {155--165},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70889-6\_12},
  doi          = {10.1007/978-3-540-70889-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/LevinY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/JencmenY06,
  author       = {Avi Jencmen and
                  Amiram Yehudai},
  title        = {Fortified Web Services Contracts for Trusted Components},
  booktitle    = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
                  18-22 September 2006, Chicago, Illinois, {USA}},
  pages        = {919--926},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICWS.2006.66},
  doi          = {10.1109/ICWS.2006.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/JencmenY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LitvakTY03,
  author       = {Boris Litvak and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {Behavioral Consistency Validation of {UML} Diagrams},
  booktitle    = {1st International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
  pages        = {118--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/SEFM.2003.1236213},
  doi          = {10.1109/SEFM.2003.1236213},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/LitvakTY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ShomratY02,
  author       = {Mati Shomrat and
                  Amiram Yehudai},
  editor       = {Harold Ossher and
                  Gregor Kiczales},
  title        = {Obvious or not?: regulating architectural decisions using aspect-oriented
                  programming},
  booktitle    = {Proceedings of the 1st International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2002, University of Twente, Enschede,
                  The Netherlands, April 22-26, 2002},
  pages        = {3--9},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/508386.508388},
  doi          = {10.1145/508386.508388},
  timestamp    = {Tue, 06 Nov 2018 16:57:06 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/ShomratY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AridorCY98,
  author       = {Yariv Aridor and
                  Shimon Cohen and
                  Amiram Yehudai},
  title        = {Design of an Actor Language for Implicit Parallel Programming},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {33},
  number       = {6},
  pages        = {39--47},
  year         = {1998},
  url          = {https://doi.org/10.1145/284563.284574},
  doi          = {10.1145/284563.284574},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/AridorCY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GafniFY99,
  author       = {Vered Gafni and
                  Yishai A. Feldman and
                  Amiram Yehudai},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Real-Time Systems Development with {MASS}},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {73--86},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00133-1},
  doi          = {10.1016/S1571-0661(04)00133-1},
  timestamp    = {Wed, 23 Nov 2022 16:14:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GafniFY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/EdenGY97,
  author       = {Amnon H. Eden and
                  Joseph Gil and
                  Amiram Yehudai},
  title        = {Automating the Application of Design Patterns},
  journal      = {J. Object Oriented Program.},
  volume       = {10},
  number       = {2},
  pages        = {44--46},
  year         = {1997},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/joop/EdenGY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oos/AridorCY97,
  author       = {Yariv Aridor and
                  Shimon Cohen and
                  Amiram Yehudai},
  title        = {{SYMPAL:} a software environment for implicit concurrent object-oriented
                  programming},
  journal      = {Object Oriented Syst.},
  volume       = {4},
  pages        = {53--81},
  year         = {1997},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/oos/AridorCY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/EdenY97,
  author       = {Amnon H. Eden and
                  Amiram Yehudai},
  editor       = {Jan Bosch and
                  Stuart Mitchell},
  title        = {Patterns of the Agenda},
  booktitle    = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
                  Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
  series       = {Lecture Notes in Computer Science},
  volume       = {1357},
  pages        = {100--104},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-69687-3\_19},
  doi          = {10.1007/3-540-69687-3\_19},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/EdenY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EdenYG97,
  author       = {Amnon H. Eden and
                  Amiram Yehudai and
                  Joseph Gil},
  title        = {Precise Specification and Automatic Application of Design Patterns},
  booktitle    = {1997 International Conference on Automated Software Engineering, {ASE}
                  1997, Lake Tahoe, CA, USA, November 2-5, 1997},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ASE.1997.632834},
  doi          = {10.1109/ASE.1997.632834},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/EdenYG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/SimhiGY96,
  author       = {Shaul Simhi and
                  Vered Gafni and
                  Amiram Yehudai},
  title        = {Combining Reflection and Finite State Diagrams for Design Enforcement},
  journal      = {Theory Pract. Object Syst.},
  volume       = {2},
  number       = {4},
  pages        = {269--281},
  year         = {1996},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tapos/SimhiGY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Gal-EzerBHY95,
  author       = {Judith Gal{-}Ezer and
                  Catriel Beeri and
                  David Harel and
                  Amiram Yehudai},
  title        = {A High School Program in Computer Science},
  journal      = {Computer},
  volume       = {28},
  number       = {10},
  pages        = {73--80},
  year         = {1995},
  url          = {https://doi.org/10.1109/2.467599},
  doi          = {10.1109/2.467599},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Gal-EzerBHY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/YehudaiL95,
  author       = {Amiram Yehudai and
                  Fernando Libedinsky},
  title        = {On Tuning Recursive Procedures},
  journal      = {Softw. Pract. Exp.},
  volume       = {25},
  number       = {9},
  pages        = {997--1002},
  year         = {1995},
  url          = {https://doi.org/10.1002/spe.4380250904},
  doi          = {10.1002/SPE.4380250904},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/YehudaiL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GafniYF94,
  author       = {Vered Gafni and
                  Amiram Yehudai and
                  Yishai A. Feldman},
  editor       = {Hans Langmaack and
                  Willem P. de Roever and
                  Jan Vytopil},
  title        = {Activation-Oriented Specification of Real-Time Systems},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
                  Symposium Organized Jointly with the Working Group Provably Correct
                  Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {863},
  pages        = {268--287},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58468-4\_170},
  doi          = {10.1007/3-540-58468-4\_170},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/GafniYF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GabberAY93,
  author       = {Eran Gabber and
                  Amir Averbuch and
                  Amiram Yehudai},
  title        = {Portable, Parallelizing Compiler},
  journal      = {{IEEE} Softw.},
  volume       = {10},
  number       = {2},
  pages        = {71--81},
  year         = {1993},
  url          = {https://doi.org/10.1109/52.199740},
  doi          = {10.1109/52.199740},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/GabberAY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BerzinsLY93,
  author       = {Valdis Berzins and
                  Luqi and
                  Amiram Yehudai},
  title        = {Using Transformations in Specification-Based Prototyping},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {19},
  number       = {5},
  pages        = {436--452},
  year         = {1993},
  url          = {https://doi.org/10.1109/32.232011},
  doi          = {10.1109/32.232011},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BerzinsLY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/TyszerowiczY92,
  author       = {Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {{OBSERV} - {A} Prototyping Language and Environment},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {1},
  number       = {3},
  pages        = {269--309},
  year         = {1992},
  url          = {https://doi.org/10.1145/131736.131751},
  doi          = {10.1145/131736.131751},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/TyszerowiczY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CohenTY91,
  author       = {Aviv Cohen and
                  Shmuel S. Tyszberowicz and
                  Amiram Yehudai},
  title        = {Specification of user-interfaces using {CRUISE/OBSERV}},
  booktitle    = {Proceedings of the Fifteenth Annual International Computer Software
                  and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
                  1991},
  pages        = {104--109},
  publisher    = {{IEEE}},
  year         = {1991},
  url          = {https://doi.org/10.1109/CMPSAC.1991.170159},
  doi          = {10.1109/CMPSAC.1991.170159},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/CohenTY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/GabberAY91,
  author       = {Eran Gabber and
                  Amir Averbuch and
                  Amiram Yehudai},
  title        = {Experience with a Portable Parallelizing Pascal Compiler},
  booktitle    = {Proceedings of the International Conference on Parallel Processing,
                  {ICPP} '91, Austin, Texas, USA, August 1991. Volume {II:} Software},
  pages        = {207--210},
  publisher    = {{CRC} Press},
  year         = {1991},
  timestamp    = {Mon, 28 Jul 2014 17:06:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/GabberAY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaonY86,
  author       = {Yael Maon and
                  Amiram Yehudai},
  title        = {Balance of Many-Valued Transductions and Equivalence Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {47},
  number       = {3},
  pages        = {247--262},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90151-9},
  doi          = {10.1016/0304-3975(86)90151-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MaonY86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ItzhaikY84,
  author       = {Yair Itzhaik and
                  Amiram Yehudai},
  title        = {An Intermediate Machine Technique for Deciding Equivalence between
                  a {DPDA} and a Linear {DPDA}},
  journal      = {Inf. Control.},
  volume       = {62},
  number       = {1},
  pages        = {26--35},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80008-X},
  doi          = {10.1016/S0019-9958(84)80008-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ItzhaikY84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaonY84,
  author       = {Yael Maon and
                  Amiram Yehudai},
  title        = {On Test Sets for Checking Morphism Equivalence on Languages with Fair
                  Distribution of Letters},
  journal      = {Theor. Comput. Sci.},
  volume       = {33},
  pages        = {239--260},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90089-6},
  doi          = {10.1016/0304-3975(84)90089-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MaonY84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItzhaikY84,
  author       = {Yair Itzhaik and
                  Amiram Yehudai},
  title        = {New Families of Non Real Time DPDA's and their Decidability Results},
  journal      = {Theor. Comput. Sci.},
  volume       = {34},
  pages        = {255--274},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90054-9},
  doi          = {10.1016/0304-3975(84)90054-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ItzhaikY84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KrevnerY83,
  author       = {Yael Krevner and
                  Amiram Yehudai},
  title        = {An Iteration Theorem for Simple Precedence Languages},
  journal      = {J. {ACM}},
  volume       = {30},
  number       = {4},
  pages        = {820--833},
  year         = {1983},
  url          = {https://doi.org/10.1145/2157.322408},
  doi          = {10.1145/2157.322408},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KrevnerY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PittlY83,
  author       = {Jan Pittl and
                  Amiram Yehudai},
  title        = {Constructing a Realtime Deterministic Pushdown Automaton from a Grammar},
  journal      = {Theor. Comput. Sci.},
  volume       = {22},
  pages        = {57--69},
  year         = {1983},
  url          = {https://doi.org/10.1016/0304-3975(83)90138-X},
  doi          = {10.1016/0304-3975(83)90138-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PittlY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ItzhaikY83,
  author       = {Yair Itzhaik and
                  Amiram Yehudai},
  editor       = {Marek Karpinski},
  title        = {On Containment Problems for Finite-Turn Languages (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, Proceedings of the 1983 International
                  FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
  series       = {Lecture Notes in Computer Science},
  volume       = {158},
  pages        = {219--231},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12689-9\_106},
  doi          = {10.1007/3-540-12689-9\_106},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ItzhaikY83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Yehudai82,
  author       = {Amiram Yehudai},
  title        = {A Hierarchy of Real-Time Deterministic Languages and Their Equivalence},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {91--100},
  year         = {1982},
  url          = {https://doi.org/10.1016/0022-0000(82)90057-5},
  doi          = {10.1016/0022-0000(82)90057-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Yehudai82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KrevnerY82,
  author       = {Yael Krevner and
                  Amiram Yehudai},
  editor       = {Mogens Nielsen and
                  Erik Meineche Schmidt},
  title        = {An Iteration Theorem for Simple Precedence Languages (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
                  July 12-16, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {140},
  pages        = {360--368},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0012783},
  doi          = {10.1007/BFB0012783},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/KrevnerY82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HarrisonY81,
  author       = {Michael A. Harrison and
                  Amiram Yehudai},
  title        = {Eliminating Null Rules in Linear Time},
  journal      = {Comput. J.},
  volume       = {24},
  number       = {2},
  pages        = {156--161},
  year         = {1981},
  url          = {https://doi.org/10.1093/comjnl/24.2.156},
  doi          = {10.1093/COMJNL/24.2.156},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/HarrisonY81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Ben-AriY81,
  author       = {Mordechai Ben{-}Ari and
                  Amiram Yehudai},
  title        = {A methodology for modular use of Ada},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {16},
  number       = {12},
  pages        = {22--26},
  year         = {1981},
  url          = {https://doi.org/10.1145/954262.954266},
  doi          = {10.1145/954262.954266},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Ben-AriY81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ItzhaikY81,
  author       = {Yair Itzhaik and
                  Amiram Yehudai},
  editor       = {Shimon Even and
                  Oded Kariv},
  title        = {A Decision Procedure for the Equivalence of Two DPDAs, One of Which
                  is Linear (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
                  Israel, July 13-17, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {115},
  pages        = {229--237},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10843-2\_19},
  doi          = {10.1007/3-540-10843-2\_19},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ItzhaikY81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Yehudai80,
  author       = {Amiram Yehudai},
  title        = {The Decidability of Equivalence for a Family of Linear Grammars},
  journal      = {Inf. Control.},
  volume       = {47},
  number       = {2},
  pages        = {122--136},
  year         = {1980},
  url          = {https://doi.org/10.1016/S0019-9958(80)90741-X},
  doi          = {10.1016/S0019-9958(80)90741-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Yehudai80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Yehudai80,
  author       = {Amiram Yehudai},
  title        = {Automatic indention versus program formatting},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {15},
  number       = {10},
  pages        = {85--87},
  year         = {1980},
  url          = {https://doi.org/10.1145/947727.947734},
  doi          = {10.1145/947727.947734},
  timestamp    = {Wed, 04 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Yehudai80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Yehudai79,
  author       = {Amiram Yehudai},
  title        = {A Note on the Pumping Lemma for Regular Languages},
  journal      = {Inf. Process. Lett.},
  volume       = {9},
  number       = {3},
  pages        = {135--136},
  year         = {1979},
  url          = {https://doi.org/10.1016/0020-0190(79)90054-1},
  doi          = {10.1016/0020-0190(79)90054-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Yehudai79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarrisonY79,
  author       = {Michael A. Harrison and
                  Amiram Yehudai},
  title        = {A Hierarchy of Deterministic Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {19},
  number       = {1},
  pages        = {63--78},
  year         = {1979},
  url          = {https://doi.org/10.1016/0022-0000(79)90014-X},
  doi          = {10.1016/0022-0000(79)90014-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HarrisonY79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarrisonHY79,
  author       = {Michael A. Harrison and
                  Ivan M. Havel and
                  Amiram Yehudai},
  title        = {On Equivalence of Grammars Through Transformation Trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {9},
  pages        = {173--205},
  year         = {1979},
  url          = {https://doi.org/10.1016/0304-3975(79)90024-0},
  doi          = {10.1016/0304-3975(79)90024-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HarrisonHY79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}