Edward P. Stabler Jr.
List of publications from the
2005 |
29 | | Philippe Blache,
Edward P. Stabler,
Joan Busquets,
Richard Moot:
Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Springer 2005 |
28 | EE | 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 |
27 | EE | John T. Hale,
Edward P. Stabler:
Strict Deterministic Aspects of Minimalist Grammars.
LACL 2005: 162-176 |
2004 |
26 | EE | Edward P. Stabler Jr.:
Varieties of crossing dependencies: structure dependence and mild context sensitivity.
Cognitive Science 28(5): 699-720 (2004) |
2003 |
25 | EE | 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 |
24 | | Edward P. Stabler,
Edward L. Keenan:
Structural similarity within and among languages.
Theor. Comput. Sci. 293(2): 345-363 (2003) |
2001 |
23 | EE | Edward P. Stabler:
Recognizing Head Movement.
LACL 2001: 245-260 |
1999 |
22 | | Tracy K. Teal,
Daniel Albro,
Edward P. Stabler,
Charles E. Taylor:
Compression and Adaptation.
ECAL 1999: 709-719 |
1996 |
21 | EE | Edward P. Stabler:
Derivational Minimalism.
LACL 1996: 68-95 |
1995 |
20 | | Wang Jiang Chau,
Edward P. Stabler:
Collective Test Generation and Test Set Compaction.
ISCAS 1995: 2008-2011 |
1994 |
19 | | Yegnashankar Parasuram,
Edward P. Stabler,
Shiu-Kai Chin:
Parallel implementation of BDD Algorithms using a Distributed Shared Memory.
HICSS (1) 1994: 16-25 |
1993 |
18 | | Edward P. Stabler Jr.:
Parsing as Non-Horn Deduction.
Artif. Intell. 63(1-2): 225-264 (1993) |
1991 |
17 | EE | 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 |
16 | EE | 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 |
15 | | X. Wang,
Edward P. Stabler:
Formalization of VHDL Synthesis Procedure in Higher-Order Logic.
TPHOLs 1991: 106-120 |
14 | | A. Mete Kabakçioglu,
Edward P. Stabler:
Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs.
International Journal in Computer Simulation 1(3): (1991) |
1990 |
13 | EE | 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) |
12 | | Edward P. Stabler Jr.:
Representing Knowledge with Theories about Theories.
J. Log. Program. 9(1): 105-138 (1990) |
1989 |
11 | | Edward P. Stabler Jr.:
Syntactic Equality in Knowledge Representation and Reasoning.
KR 1989: 459-466 |
10 | | Kathleen Dahlgren,
Joyce P. McDowell,
Edward P. Stabler Jr.:
Knowledge Representation for Commonsense Reasoning with Text.
Computational Linguistics 15(3): 149-170 (1989) |
1988 |
9 | EE | Shiu-Kai Chin,
Edward P. Stabler,
Kevin J. Greene:
Using higher order logic and functional languages to synthesize correct hardware.
ICCL 1988: 396-403 |
1987 |
8 | EE | Edward P. Stabler,
H. Bingol:
Boolean Comparison by Simulation.
DAC 1987: 584-587 |
7 | | Edward P. Stabler Jr.:
Parsing with Explicit Representations of Syntactic Constraints.
Natural Language Understanding and Logic Programming Workshop 1987: 15-27 |
6 | | 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 |
5 | | Edward P. Stabler Jr.:
Restricting Logic Grammars with Government-Binding Theory.
Computational Linguistics 13(1-2): 1-10 (1987) |
1986 |
4 | | Edward P. Stabler Jr.:
Restricting Logic Grammars.
AAAI 1986: 1048-1052 |
1985 |
3 | | Vijay Pitchumani,
Edward P. Stabler:
Verification of Register Transfer Level Parallel Control Sequences.
IEEE Trans. Computers 34(8): 761-765 (1985) |
1983 |
2 | | Edward P. Stabler Jr.:
Deterministic and Bottom-Up Parsing in Prolog.
AAAI 1983: 383-386 |
1 | | Vijay Pitchumani,
Edward P. Stabler:
An Inductive Assertion Method for Register Transfer Level Design Verification.
IEEE Trans. Computers 32(12): 1073-1080 (1983) |