Edward P. Stabler

Yoosook Lee, Travis C. Collier, Gregory M. Kobele, Edward P. Stabler, Charles E. Taylor: Grammar Structure and the Dynamics of Language Evolution. ECAL 2005: 624-633

John T. Hale, Edward P. Stabler: Strict Deterministic Aspects of Minimalist Grammars. LACL 2005: 162-176

Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot (Eds.): Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings. Lecture Notes in Computer Science 3492, Springer 2005, isbn 3-540-25783-7

Edward P. Stabler Jr.: Varieties of crossing dependencies: structure dependence and mild context sensitivity. Cognitive Science 28(5): 699-720 (2004)

Edward P. Stabler, Edward L. Keenan: Structural similarity within and among languages. Theor. Comput. Sci. 293(2): 345-363 (2003)

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. ECAL 2003: 525-534

Edward P. Stabler: Recognizing Head Movement. LACL 2001: 245-260

Tracy K. Teal, Daniel Albro, Edward P. Stabler, Charles E. Taylor: Compression and Adaptation. ECAL 1999: 709-719

Edward P. Stabler: Derivational Minimalism. LACL 1996: 68-95

Wang Jiang Chau, Edward P. Stabler: Collective Test Generation and Test Set Compaction. ISCAS 1995: 2008-2011

Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin: Parallel implementation of BDD Algorithms using a Distributed Shared Memory. HICSS (1) 1994: 16-25

Edward P. Stabler Jr.: Parsing as Non-Horn Deduction. Artif. Intell. 63(1-2): 225-264 (1993)

A. Mete Kabakçioglu, Edward P. Stabler: Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs. Int. Journal in Computer Simulation 1(3) (1991)

Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler: ITP Interpretext system: MUC-3 test results and analysis. MUC 1991: 79-83

Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler: ITP: description of the Interpretext system as used for MUC-3. MUC 1991: 163-170

X. Wang, Edward P. Stabler: Formalization of VHDL Synthesis Procedure in Higher-Order Logic. TPHOLs 1991: 106-120

Edward P. Stabler Jr.: Representing Knowledge with Theories about Theories. J. Log. Program. 9(1): 105-138 (1990)

Shiu-Kai Chin, Edward P. Stabler: Synthesis of arithmetic hardware using hardware metafunctions. IEEE Trans. on CAD of Integrated Circuits and Systems 9(8): 793-803 (1990)

Kathleen Dahlgren, Joyce P. McDowell, Edward P. Stabler Jr.: Knowledge Representation for Commonsense Reasoning with Text. Computational Linguistics 15(3): 149-170 (1989)

Edward P. Stabler Jr.: Syntactic Equality in Knowledge Representation and Reasoning. KR 1989: 459-466

Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene: Using higher order logic and functional languages to synthesize correct hardware. ICCL 1988: 396-403

Edward P. Stabler Jr.: Restricting Logic Grammars with Government-Binding Theory. Computational Linguistics 13(1-2): 1-10 (1987)

Edward P. Stabler, Haluk Bingol: Boolean Comparison by Simulation. DAC 1987: 584-587

Edward P. Stabler Jr.: Parsing with Explicit Representations of Syntactic Constraints. Natural Language Understanding and Logic Programming Workshop 1987: 15-27

Verónica Dahl, Robert Levine, Hideo Miyoshi, Patrick Saint-Dizier, Edward P. Stabler Jr.: Logic Grammar and Linguistic Theories (Panel Session). Natural Language Understanding and Logic Programming Workshop 1987: 335-345

Edward P. Stabler Jr.: Restricting Logic Grammars. AAAI 1986: 1048-1052

Vijay Pitchumani, Edward P. Stabler: Verification of Register Transfer Level Parallel Control Sequences. IEEE Trans. Computers 34(8): 761-765 (1985)

Paul W. Horstmann, Edward P. Stabler: Computer aided design (CAD) using logic programming. DAC 1984: 144-151

Vijay Pitchumani, Edward P. Stabler: An Inductive Assertion Method for Register Transfer Level Design Verification. IEEE Trans. Computers 32(12): 1073-1080 (1983)

Edward P. Stabler Jr.: Deterministic and Bottom-Up Parsing in Prolog. AAAI 1983: 383-386

Vijay Pitchumani, Edward P. Stabler: A formal method for computer design verification. DAC 1982: 809-814

Edward P. Stabler, Victor M. Kureichik, Valery A. Kalashnikov: Placement algorithm by partitioning for optimum rectangular placement. DAC 1979: 24-25