The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Edward P. Stabler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edward P. Stabler, H. Bingol
    Boolean Comparison by Simulation. [Citation Graph (0, 0)][DBLP]
    DAC, 1987, pp:584-587 [Conf]
  2. Yoosook Lee, Travis C. Collier, Gregory M. Kobele, Edward P. Stabler, Charles E. Taylor
    Grammar Structure and the Dynamics of Language Evolution. [Citation Graph (0, 0)][DBLP]
    ECAL, 2005, pp:624-633 [Conf]
  3. Edward P. Stabler, Travis C. Collier, Gregory M. Kobele, Yoosook Lee, Ying Lin, Jason Riggle, Yuan Yao, Charles E. Taylor
    The Learning and Emergence of Mildly Context Sensitive Languages. [Citation Graph (0, 0)][DBLP]
    ECAL, 2003, pp:525-534 [Conf]
  4. Tracy K. Teal, Daniel Albro, Edward P. Stabler, Charles E. Taylor
    Compression and Adaptation. [Citation Graph (0, 0)][DBLP]
    ECAL, 1999, pp:709-719 [Conf]
  5. Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin
    Parallel implementation of BDD Algorithms using a Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1994, pp:16-25 [Conf]
  6. Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene
    Using higher order logic and functional languages to synthesize correct hardware. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:396-403 [Conf]
  7. Wang Jiang Chau, Edward P. Stabler
    Collective Test Generation and Test Set Compaction. [Citation Graph (0, 0)][DBLP]
    ISCAS, 1995, pp:2008-2011 [Conf]
  8. Edward P. Stabler
    Recognizing Head Movement. [Citation Graph (0, 0)][DBLP]
    LACL, 2001, pp:245-260 [Conf]
  9. Edward P. Stabler
    Derivational Minimalism. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:68-95 [Conf]
  10. John T. Hale, Edward P. Stabler
    Strict Deterministic Aspects of Minimalist Grammars. [Citation Graph (0, 0)][DBLP]
    LACL, 2005, pp:162-176 [Conf]
  11. X. Wang, Edward P. Stabler
    Formalization of VHDL Synthesis Procedure in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:106-120 [Conf]
  12. A. Mete Kabakçioglu, Edward P. Stabler
    Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs. [Citation Graph (0, 0)][DBLP]
    International Journal in Computer Simulation, 1991, v:1, n:3, pp:- [Journal]
  13. Vijay Pitchumani, Edward P. Stabler
    An Inductive Assertion Method for Register Transfer Level Design Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1983, v:32, n:12, pp:1073-1080 [Journal]
  14. Vijay Pitchumani, Edward P. Stabler
    Verification of Register Transfer Level Parallel Control Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:8, pp:761-765 [Journal]
  15. Shiu-Kai Chin, Edward P. Stabler
    Synthesis of arithmetic hardware using hardware metafunctions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1990, v:9, n:8, pp:793-803 [Journal]
  16. Edward P. Stabler, Edward L. Keenan
    Structural similarity within and among languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:2, pp:345-363 [Journal]

  17. ITP Interpretext system: MUC-3 test results and analysis. [Citation Graph (, )][DBLP]


  18. ITP: description of the Interpretext system as used for MUC-3. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002