The SCEAS System
Navigation Menu

Search the dblp DataBase


Amiram Yehudai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. S. Harrusi, Amir Averbuch, Amiram Yehudai
    XML Syntax Conscious Compression. [Citation Graph (0, 0)][DBLP]
    DCC, 2006, pp:402-411 [Conf]
  3. Amnon H. Eden, Amiram Yehudai
    Patterns of the Agenda. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:100-104 [Conf]
  4. Yair Itzhaik, Amiram Yehudai
    On Containment Problems for Finite-Turn Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:219-231 [Conf]
  5. 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]
  6. Stella Levin, Amiram Yehudai
    Evolutionary Testing: A Case Study. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:155-165 [Conf]
  7. 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]
  8. Yael Krevner, Amiram Yehudai
    An Iteration Theorem for Simple Precedence Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:360-368 [Conf]
  9. 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]
  10. Avi Jencmen, Amiram Yehudai
    Fortified Web Services Contracts for Trusted Components. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:919-926 [Conf]
  11. 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]
  12. Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai
    Behavioral Consistency Validation of UML Diagrams. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:118-125 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]

  35. Locating Regression Bugs. [Citation Graph (, )][DBLP]

  36. GenUTest: A Unit Test and Mock Aspect Generation Tool. [Citation Graph (, )][DBLP]

  37. Perspective on Computer Science Education. [Citation Graph (, )][DBLP]

  38. Refactoring Aspects into Java Code. [Citation Graph (, )][DBLP]

  39. Virtual Machine Support for Stateful Aspects. [Citation Graph (, )][DBLP]

  40. Evaluation of a software engineering course by reflection. [Citation Graph (, )][DBLP]

  41. Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. [Citation Graph (, )][DBLP]

Search in 0.056secs, Finished in 0.057secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002