Edward P. Stabler

Edward P. Stabler Jr.

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)

Coauthor Index

1	Daniel Albro	[22]
2	H. Bingol	[8]
3	Philippe Blache	[29]
4	Joan Busquets	[29]
5	Wang Jiang Chau	[20]
6	Shiu-Kai Chin	[9] [13] [19]
7	Travis C. Collier	[25] [28]
8	Verónica Dahl	[6]
9	Kathleen Dahlgren	[10] [16] [17]
10	Kevin J. Greene	[9]
11	John T. Hale	[27]
12	A. Mete Kabakçioglu	[14]
13	Edward L. Keenan	[24]
14	Gregory M. Kobele	[25] [28]
15	Yoosook Lee	[25] [28]
16	Robert Levine	[6]
17	Ying Lin	[25]
18	Carol Lord	[16] [17]
19	Joyce P. McDowell	[10] [16] [17]
20	Hideo Miyoshi	[6]
21	Richard Moot	[29]
22	Yegnashankar Parasuram	[19]
23	Vijay Pitchumani	[1] [3]
24	Jason Riggle	[25]
25	Patrick Saint-Dizier	[6]
26	Charles E. Taylor	[22] [25] [28]
27	Tracy K. Teal	[22]
28	Hajime Wada	[16] [17]
29	X. Wang	[15]
30	Yuan Yao	[25]

Colors in the list of coauthors