Harry G. Mairson Coauthor index DBLP Vis pubzone.org

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

DBLP keys2008
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Van Horn, Harry G. Mairson: Deciding kCFA is complete for EXPTIME. ICFP 2008: 275-282
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Van Horn, Harry G. Mairson: Flow Analysis, Linearity, and PTIME. SAS 2008: 255-269
2007
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96
2005
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi: Editorial. Higher-Order and Symbolic Computation 18(1-2): 5-6 (2005)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Robert Paige (1947-1999). Higher-Order and Symbolic Computation 18(1-2): 7-8 (2005)
2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Møller Neergaard, Harry G. Mairson: Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. ICFP 2004: 138-149
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Linear lambda calculus and PTIME-completeness. J. Funct. Program. 14(6): 623-633 (2004)
2003
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. ICFP 2003: 125
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson, Kazushige Terui: On the Computational Complexity of Cut-Elimination in Linear Logic. ICTCS 2003: 23-36
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi: Editorial: Special Issue Dedicated to Bob Paige. Higher-Order and Symbolic Computation 16(1-2): 5-6 (2003)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. SIGPLAN Notices 38(9): 125 (2003)
2002
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson, Xavier Rival: Proofnets and Context Semantics for the Additives. CSL 2002: 151-166
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple. FSTTCS 2002: 2-17
2001
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Asperti, Harry G. Mairson: Parallel Beta Reduction Is Not Elementary Recursive. Inf. Comput. 170(1): 49-80 (2001)
2000
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia L. Lawall, Harry G. Mairson: Sharing Continuations: Proofnets for Languages with Explicit Control. ESOP 2000: 245-259
1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAssaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells: Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). ICFP 1999: 90-101
1998
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Asperti, Harry G. Mairson: Parallel Beta Reduction is not Elementary Recursive. POPL 1998: 303-315
1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia L. Lawall, Harry G. Mairson: on Global Dynamics of Optimal Graph Reduction. ICFP 1997: 188-195
1996
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Complexity-Theoretic Aspects for Programming Language Design. CP 1996: 572
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia L. Lawall, Harry G. Mairson: Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ICFP 1996: 92-101
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi: In Memoriam Paris C. Kanellakis. ACM Comput. Surv. 28(1): 3-15 (1996)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson: Database Query Languages Embedded in the Typed Lambda Calculus. Inf. Comput. 127(2): 117-144 (1996)
1995
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Undecidable Boundedness Problems for Datalog Programs. J. Log. Program. 25(2): 163-190 (1995)
1994
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson: An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction. ICALP 1994: 83-105
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Generating Words in a Context-Free Language Uniformly at Random. Inf. Process. Lett. 49(2): 95-99 (1994)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFritz Henglein, Harry G. Mairson: The Complexity of Type Inference for Higher-Order Typed lambda Calculi. J. Funct. Program. 4(4): 435-477 (1994)
1993
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson: Database Query Languages Embedded in the Typed Lambda Calculus LICS 1993: 332-343
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: A Constructive Logic of Multiple Subtyping. POPL 1993: 313-324
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs. J. ACM 40(3): 683-713 (1993)
1992
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: The Effect of Table Expansion on the Program Complexity of Perfect Hash Funtions. BIT 32(3): 430-440 (1992)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Quantifier Elimination and Parametric Polymorphism in Programming Languages. J. Funct. Program. 2(2): 213-226 (1992)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: A Simple Proof of a Theorem of Statman. Theor. Comput. Sci. 103(2): 387-394 (1992)
1991
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Harry G. Mairson, John C. Mitchell: Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson 1991: 444-478
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Outline of a Proof Theory of Parametricity. FPCA 1991: 313-327
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi: Tools for Datalog Boundedness. PODS 1991: 1-12
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFritz Henglein, Harry G. Mairson: The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. POPL 1991: 119-130
1990
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Deciding ML Typability is Complete for Deterministic Exponential Time. POPL 1990: 382-401
1987
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi: Undecidable Optimization Problems for Database Logic Programs LICS 1987: 106-115
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Average Case Lower Bounds on the Construction and Searching of Partial Orders FOCS 1985: 303-311
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Dolev, David Maier, Harry G. Mairson, Jeffrey D. Ullman: Correcting Faults in Write-Once Memory STOC 1984: 225-229
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: The Program Complexity of Searching a Table FOCS 1983: 40-47
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarry G. Mairson: Some New Upper Bounds on the Generation of Prime Numbers. Commun. ACM 20(9): 664-669 (1977)

Coauthor Index

1Serge Abiteboul [22]
2Andrea Asperti [26] [29]
3Olivier Danvy [33] [39]
4Danny Dolev [3]
5Haim Gaifman [5] [14]
6Fritz Henglein [7] [17] [33] [39]
7Gerd G. Hillebrand [8] [16] [19] [20] [21]
8David Van Horn [40] [41] [42]
9Paris C. Kanellakis [8] [10] [16] [19] [20] [21]
10Assaf J. Kfoury (A. J. Kfoury) [27]
11Gabriel M. Kuper [22]
12Julia L. Lawall [23] [25] [28]
13David Maier [3]
14John C. Mitchell [10]
15Peter Møller Neergaard [37]
16Alberto Pettorossi [33] [39]
17Xavier Rival [31]
18Yehoshua Sagiv [5] [14]
19Alexander A. Shvartsman [22]
20Kazushige Terui [34]
21Franklyn A. Turbak [27]
22Jeffrey D. Ullman [3]
23Moshe Y. Vardi [5] [8] [14] [20] [22]
24J. B. Wells [27]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)