John Maraist

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 3

Top Venues

CoRR

SASO Workshops

AAAI Workshops

AAAI

Universität Karlsruhe (PHD)

Education History

Universität Karlsruhe

PHD

Publications

Todd W. Neller, Nathan Sprague, John Maraist, Lisa Zhang, Pouria Fewzee, Duri Long, Jonathan Moon, Brian Magerko, Alex Leto, Toni Lefton, Tom Williams
Model AI Assignments 2021. AAAI (2021)
John Maraist
String Shuffling over a Gap between Parsing and Plan Recognition. AAAI Workshops (2017)
John Maraist
Generalized LR parsing and the shuffle operator. CoRR (2016)
Mark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems. SASO Workshops (2012)
Robert P. Goldman, John Maraist
Shopper: A System for Executing and Simulating Expressive Plans. ICAPS (2010)
John Maraist
NST: a unit testing system for common Lisp. ILC (2010)
J. Thomas Haigh, Steven A. Harp, Richard C. O'Brien, Charles N. Payne, Johnathan Gohde, John Maraist
Trapping Malicious Insiders in the SPDR Web. HICSS (2009)
Christopher W. Geib, John Maraist, Robert P. Goldman
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting. ICAPS (2008)
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228 (1-2) (1999)
John Maraist
Separating Weakening and Contraction in a Linear Lambda Calculus. CATS (1998)
John Maraist, Martin Odersky, Philip Wadler
The Call-by-Need Lambda Calculus. J. Funct. Program. 8 (3) (1998)
Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
The Call-by-Need Lambda Calculus. POPL (1995)
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS (1995)
John Maraist, Frank S. K. Silbermann
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. PLILP (1994)

John Maraist.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Maraist