Joshua S. Hodas

2002
13	EE	Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel: A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. CSL 2002: 167-182
12	EE	Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova: Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
11	EE	Joshua S. Hodas, Naoyuki Tamura: lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. IJCAR 2001: 670-684
2000
10	EE	Iliano Cervesato, Joshua S. Hodas, Frank Pfenning: Efficient resource management for linear logic proof search. Theor. Comput. Sci. 232(1-2): 133-163 (2000)
1998
9		Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang: Efficient Implementation of a Linear Logic Programming Language. IJCSLP 1998: 145-159
1997
8	EE	Joshua S. Hodas: A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies. LACL 1997: 160-179
1996
7		Iliano Cervesato, Joshua S. Hodas, Frank Pfenning: Efficient Resource Management for Linear Logic Proof Search. ELP 1996: 67-81
6	EE	Joshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. Electr. Notes Theor. Comput. Sci. 3: (1996)
1994
5		Joshua S. Hodas, Dale Miller: Logic Programming in a Fragment of Intuitionistic Linear Logic Inf. Comput. 110(2): 327-365 (1994)
1993
4		Joshua S. Hodas: Logic Programming with Multiple Context Management Schemes. ELP 1993: 171-182
1992
3		Joshua S. Hodas: Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. JICSLP 1992: 622-636
1991
2		Joshua S. Hodas, Dale Miller: Logic Programming in a Fragment of Intuitionistic Linear Logic LICS 1991: 32-42
1990
1		Joshua S. Hodas, Dale Miller: Representing Objects in a Logic Programming Langueage with Scoping Constructs. ICLP 1990: 511-526

Coauthor Index

1	Iliano Cervesato	[7] [10]
2	Kyoung-Sun Kang	[9]
3	Pablo López	[12] [13]
4	Dale Miller	[1] [2] [5]
5	Frank Pfenning	[7] [10]
6	Ernesto Pimentel	[12] [13]
7	Jeff Polakow (Jeffrey Polakow)	[6] [12] [13]
8	Lubomira Stoilova	[12] [13]
9	Naoyuki Tamura	[9] [11]
10	K. M. Watkins	[9]

Colors in the list of coauthors