Search the dblp DataBase
Amiram Yehudai :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mati Shomrat , Amiram Yehudai Obvious or not?: regulating architectural decisions using aspect-oriented programming. [Citation Graph (0, 0)][DBLP ] AOSD, 2002, pp:3-9 [Conf ] S. Harrusi , Amir Averbuch , Amiram Yehudai XML Syntax Conscious Compression. [Citation Graph (0, 0)][DBLP ] DCC, 2006, pp:402-411 [Conf ] Amnon H. Eden , Amiram Yehudai Patterns of the Agenda. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1997, pp:100-104 [Conf ] Yair Itzhaik , Amiram Yehudai On Containment Problems for Finite-Turn Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP ] FCT, 1983, pp:219-231 [Conf ] Vered Gafni , Amiram Yehudai , Yishai A. Feldman Activation-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:268-287 [Conf ] Stella Levin , Amiram Yehudai Evolutionary Testing: A Case Study. [Citation Graph (0, 0)][DBLP ] Haifa Verification Conference, 2006, pp:155-165 [Conf ] Yair Itzhaik , Amiram Yehudai A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1981, pp:229-237 [Conf ] Yael Krevner , Amiram Yehudai An Iteration Theorem for Simple Precedence Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1982, pp:360-368 [Conf ] Eran Gabber , Amir Averbuch , Amiram Yehudai Experience with a Portable Parallelizing Pascal Compiler. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1991, pp:207-210 [Conf ] Avi Jencmen , Amiram Yehudai Fortified Web Services Contracts for Trusted Components. [Citation Graph (0, 0)][DBLP ] ICWS, 2006, pp:919-926 [Conf ] Amnon H. Eden , Amiram Yehudai , Joseph Gil Precise Specification and Automatic Application of Design Patterns. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:143-152 [Conf ] Boris Litvak , Shmuel S. Tyszberowicz , Amiram Yehudai Behavioral Consistency Validation of UML Diagrams. [Citation Graph (0, 0)][DBLP ] SEFM, 2003, pp:118-125 [Conf ] Michael A. Harrison , Amiram Yehudai Eliminating Null Rules in Linear Time. [Citation Graph (0, 0)][DBLP ] Comput. J., 1981, v:24, n:2, pp:156-161 [Journal ] Judith Gal-Ezer , Catriel Beeri , David Harel , Amiram Yehudai A High School Program in Computer Science. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1995, v:28, n:10, pp:73-80 [Journal ] Vered Gafni , Yishai A. Feldman , Amiram Yehudai Real-Time Systems Development with MASS. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal ] Yair Itzhaik , Amiram Yehudai An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA [Citation Graph (0, 0)][DBLP ] Information and Control, 1984, v:62, n:1, pp:26-35 [Journal ] Amiram Yehudai The Decidability of Equivalence for a Family of Linear Grammars [Citation Graph (0, 0)][DBLP ] Information and Control, 1980, v:47, n:2, pp:122-136 [Journal ] Amiram Yehudai A Note on the Pumping Lemma for Regular Languages. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1979, v:9, n:3, pp:135-136 [Journal ] Yael Krevner , Amiram Yehudai An Iteration Theorem for Simple Precedence Languages [Citation Graph (0, 0)][DBLP ] J. ACM, 1983, v:30, n:4, pp:820-833 [Journal ] Michael A. Harrison , Amiram Yehudai A Hierarchy of Deterministic Languages. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1979, v:19, n:1, pp:63-78 [Journal ] Amiram Yehudai A Hierarchy of Real-Time Deterministic Languages and Their Equivalence. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1982, v:24, n:1, pp:91-100 [Journal ] Amnon H. Eden , Joseph Gil , Amiram Yehudai Automating the Application of Design Patterns. [Citation Graph (0, 0)][DBLP ] JOOP, 1997, v:10, n:2, pp:44-46 [Journal ] Yariv Aridor , Shimon Cohen , Amiram Yehudai SYMPAL: a software environment for implicit concurrent object-oriented programming. [Citation Graph (0, 0)][DBLP ] Object Oriented Systems, 1997, v:4, n:, pp:53-81 [Journal ] Yariv Aridor , Shimon Cohen , Amiram Yehudai Design of an Actor Language for Implicit Parallel Programming. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1998, v:33, n:6, pp:39-47 [Journal ] Eran Gabber , Amir Averbuch , Amiram Yehudai Portable, Parallelizing Compiler. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1993, v:10, n:2, pp:71-81 [Journal ] Amiram Yehudai , Fernando Libedinsky On Tuning Recursive Procedures [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1995, v:25, n:9, pp:997-1002 [Journal ] Shaul Simhi , Vered Gafni , Amiram Yehudai Combining Reflection and Finite State Diagrams for Design Enforcement. [Citation Graph (0, 0)][DBLP ] TAPOS, 1996, v:2, n:4, pp:269-281 [Journal ] Michael A. Harrison , Ivan M. Havel , Amiram Yehudai On Equivalence of Grammars Through Transformation Trees. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1979, v:9, n:, pp:173-205 [Journal ] Yair Itzhaik , Amiram Yehudai New Families of Non Real Time DPDA's and their Decidability Results. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:34, n:, pp:255-274 [Journal ] Yael Maon , Amiram Yehudai On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:33, n:, pp:239-260 [Journal ] Yael Maon , Amiram Yehudai Balance of Many-Valued Transductions and Equivalence Problems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:47, n:3, pp:247-262 [Journal ] Jan Pittl , Amiram Yehudai Constructing a Realtime Deterministic Pushdown Automaton from a Grammar. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:22, n:, pp:57-69 [Journal ] Shmuel Tyszberowicz , Amiram Yehudai OBSERV - A Prototyping Language and Environment. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1992, v:1, n:3, pp:269-309 [Journal ] Valdis Berzins , Luqi , Amiram Yehudai Using Transformations in Specification-Based Prototyping. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:5, pp:436-452 [Journal ] Locating Regression Bugs. [Citation Graph (, )][DBLP ] GenUTest: A Unit Test and Mock Aspect Generation Tool. [Citation Graph (, )][DBLP ] Perspective on Computer Science Education. [Citation Graph (, )][DBLP ] Refactoring Aspects into Java Code. [Citation Graph (, )][DBLP ] Virtual Machine Support for Stateful Aspects. [Citation Graph (, )][DBLP ] Evaluation of a software engineering course by reflection. [Citation Graph (, )][DBLP ] Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs