dblp.uni-trier.dewww.uni-trier.de

Edward P. Stabler Vis

Edward P. Stabler Jr.

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
28EEYoosook 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
27EEJohn T. Hale, Edward P. Stabler: Strict Deterministic Aspects of Minimalist Grammars. LACL 2005: 162-176
2004
26EEEdward P. Stabler Jr.: Varieties of crossing dependencies: structure dependence and mild context sensitivity. Cognitive Science 28(5): 699-720 (2004)
2003
25EEEdward 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
23EEEdward 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
21EEEdward 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
17EEKathleen 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
16EEKathleen 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
13EEShiu-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
9EEShiu-Kai Chin, Edward P. Stabler, Kevin J. Greene: Using higher order logic and functional languages to synthesize correct hardware. ICCL 1988: 396-403
1987
8EEEdward 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)