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

Robert L. Constable Vis

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

*2009
64EERobert L. Constable: Building Mathematics-Based Software Systems to Advance Science and Create Knowledge. Efficient Algorithms 2009: 3-17
63EEMark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures CoRR abs/0906.4315: (2009)
62EERobert L. Constable: Computational type theory. Scholarpedia 4(2): 7618 (2009)
2008
61EERobert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics CoRR abs/0806.1281: (2008)
60EERobert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science 4(3): (2008)
2007
59EERobert L. Constable, Wojciech Moczydlowski: Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. LFCS 2007: 147-161
2006
58EERobert L. Constable, Wojciech Moczydlowski: Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics. IJCAR 2006: 162-176
57EEStuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006)
2004
56EEMark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465
55EELori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable: A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. MKM 2004: 220-235
2003
54EEJason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu: MetaPRL - A Modular Logical Environment. TPHOLs 2003: 287-303
2001
53EEXiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable: Protocol Switching: Exploiting Meta-Properties. ICDCS Workshops 2001: 37-42
2000
52EEStuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo: The Nuprl Open Logical Environment. CADE 2000: 170-176
51 Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe: Constructively formalizing automata theory. Proof, Language, and Interaction 2000: 213-238
1999
50 Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable: Verbalization of High-Level Formal Proofs. AAAI/IAAI 1999: 277-284
49EEXiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable: Building reliable, high-performance communication systems from components. SOSP 1999: 80-92
48 William E. Aitken, Robert L. Constable, Judith L. Underwood: Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reasoning 22(2): 171-221 (1999)
1998
47 Robert L. Constable: A Note on Complexity Measures for Inductive Classes in Constructive Type Theory. Inf. Comput. 143(2): 137-153 (1998)
1997
46EERobert L. Constable: ML Programming in Constructive Type Theory (abstract). TPHOLs 1997: 87
1995
45 Robert L. Constable: Experience with Type Theory as a Foundation for Computer Science LICS 1995: 266-279
1994
44EERobert L. Constable: Exporting and Refecting Abstract Metamathematics. CADE 1994: 529
43 Robert L. Constable: Expressing Computational Complexity in Constructive Type Theory. LCC 1994: 131-144
1993
42 Robert L. Constable, Scott F. Smith: Computational Foundations of Basic Recursive Function Theory. Theor. Comput. Sci. 121(1&2): 89-112 (1993)
1992
41 Robert L. Constable: Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic. 25th Anniversary of INRIA 1992: 105-127
1991
40 Robert L. Constable: Type Theory as a Foundation for Computer Science. TACS 1991: 226-243
1990
39 Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken: The Semantics of Reflected Proof LICS 1990: 95-105
1988
38 Robert L. Constable, Scott F. Smith: Computational Foundations of Basic Recursive Function Theory LICS 1988: 360-371
1987
37 Robert L. Constable, Scott F. Smith: Partial Objects In Constructive Type Theory LICS 1987: 183-193
1986
36 Todd B. Knoblock, Robert L. Constable: Formalized Metareasoning in Type Theory LICS 1986: 237-248
35 N. P. Mendler, Prakash Panangaden, Robert L. Constable: Infinite Objects in Type Theory LICS 1986: 249-255
1985
34 Robert L. Constable, N. P. Mendler: Recursive Definitions in Type Theory. Logic of Programs 1985: 61-78
33EEJoseph L. Bates, Robert L. Constable: Proofs as Programs. ACM Trans. Program. Lang. Syst. 7(1): 113-136 (1985)
32 Robert L. Constable, Todd B. Knoblock, Joseph L. Bates: Writing Programs that Construct Proofs. J. Autom. Reasoning 1(3): 285-326 (1985)
1984
31EERobert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV3. ACM Trans. Program. Lang. Syst. 6(1): 94-117 (1984)
1983
30 Robert L. Constable: Constructive Mathematics as a Programming Logic I: Some Principles of Theory. FCT 1983: 64-77
29 Robert L. Constable: Mathematics as Programming. Logic of Programs 1983: 116-128
28 Robert L. Constable: Partial functions in constructive formal theories. Theoretical Computer Science 1983: 1-18
27 Robert L. Constable: Programs as Proofs: A Synopsis. Inf. Process. Lett. 16(3): 105-112 (1983)
1982
26 Robert L. Constable, Scott Johnson, C. D. Eichenlaub: An Introduction to the PL/CV2 Programming Logic Springer 1982
1981
25 Robert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV 3. Logic of Programs 1981: 72-93
1980
24 Robert L. Constable: Programs and Types FOCS 1980: 118-128
23 Harry B. Hunt III, Robert L. Constable, Sartaj Sahni: On the Computational Complexity of Program Scheme Equivalence. SIAM J. Comput. 9(2): 396-416 (1980)
1979
22EERobert L. Constable, Scott Johnson: A PL/CV Precis. POPL 1979: 7-20
21EERobert L. Constable, James E. Donahue: A Hierarchial Approach to Formal Semantics With Application to the Definition of PL/CS. ACM Trans. Program. Lang. Syst. 1(1): 98-114 (1979)
1977
20 Robert L. Constable: A Constructive Programming Logic. IFIP Congress 1977: 733-738
19 Robert L. Constable: On the Theory of Programming Logics STOC 1977: 269-285
1976
18 Herbert Egli, Robert L. Constable: Computability Concepts for Programming Language Semantics. Theor. Comput. Sci. 2(2): 133-145 (1976)
1975
17 Herbert Egli, Robert L. Constable: Computability Concepts for Programming Language Semantics STOC 1975: 98-106
1973
16 Robert L. Constable: Type Two Computational Complexity STOC 1973: 108-121
1972
15 John C. Cherniavsky, Robert L. Constable: Representing Program Schemes in Logic FOCS 1972: 27-39
14 Robert L. Constable, Steven S. Muchnick: Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems STOC 1972: 1-17
13EERobert L. Constable: The Operator Gap. J. ACM 19(1): 175-183 (1972)
12EERobert L. Constable, Allan Borodin: Subrecursive Programming Languages, Part I: efficiency and program structure. J. ACM 19(3): 526-568 (1972)
11 Robert L. Constable, Steven S. Muchnick: Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. J. Comput. Syst. Sci. 6(6): 480-537 (1972)
10 Robert L. Constable, David Gries: On Classes of Program Schemata. SIAM J. Comput. 1(1): 66-118 (1972)
1971
9 Robert L. Constable, David Gries: On Classes of Program Schemata FOCS 1971: 5-19
8 Robert L. Constable: Constructive Mathematics and Automatic Program Writers. IFIP Congress (1) 1971: 229-233
7 Robert L. Constable: Loop Schemata STOC 1971: 24-39
6 Robert L. Constable, Juris Hartmanis: Complexity of Formal Translations and Speed-Up Results STOC 1971: 244-250
5 Robert L. Constable: Subrecursive Programming Languages. II. On Program Size. J. Comput. Syst. Sci. 5(3): 315-334 (1971)
1970
4 Robert L. Constable, Allan Borodin: On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract) FOCS 1970: 60-67
3 Robert L. Constable: On the Size of Programs in Subrecursive Formalisms STOC 1970: 1-9
1969
2 Robert L. Constable: The Operator Gap FOCS 1969: 20-26
1 Allan Borodin, Robert L. Constable, John E. Hopcroft: Dense and Non-Dense Families of Complexity Classes FOCS 1969: 7-19

Coauthor Index

1William E. Aitken [39] [48]
2Stuart F. Allen [39] [52] [57]
3Brian E. Aydemir [54]
4Eli Barzilay [54]
5Regina Barzilay [50]
6Joseph L. Bates [32] [33]
7Mark Bickford [53] [56] [57] [63]
8Kenneth P. Birman (Ken Birman) [49]
9Allan Borodin [1] [4] [12]
10Yegor Bryukhov [54]
11John C. Cherniavsky [15]
12James E. Donahue [21]
13Richard Eaton [52] [54] [55] [57]
14Herbert Egli [17] [18]
15C. D. Eichenlaub [26]
16Adam Granicz [54]
17David Gries [9] [10]
18Joseph Y. Halpern [56] [63]
19Juris Hartmanis [6]
20Mark Hayden [49]
21Jason Hickey [49] [54]
22Amanda M. Holland-Minkley [50]
23John E. Hopcroft [1]
24Douglas J. Howe [39]
25Harry B. Hunt III [23]
26Paul B. Jackson [51]
27Scott Johnson [22] [26]
28Jon M. Kleinberg [55]
29Todd B. Knoblock [32] [36]
30Alexei Kopylov [54]
31Christoph Kreitz [49] [52] [53] [54] [57]
32Vladimir Krupski [54]
33Xiaoming Liu [49] [53]
34Lori Lorigo [52] [54] [55] [57]
35N. P. Mendler [34] [35]
36Wojciech Moczydlowski [58] [59] [60] [61]
37E. Moran [57]
38Steven S. Muchnick [11] [14]
39Pavel Naumov [51]
40Aleksey Nogin [54]
41Prakash Panangaden [35]
42Sabina Petride [56] [63]
43Robbert van Renesse [49] [53]
44Sartaj Sahni (Sartaj K. Sahni) [23]
45Stephan Schmitt [54]
46Scott F. Smith [37] [38] [42]
47Judith L. Underwood [48]
48Juan C. Uribe [51]
49Carl Witty [54]
50Xin Yu [54]
51Daniel R. Zlatin [25] [31]

Colors in the list of coauthors

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