John Maraist

15 papers A* 4B 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2021 A* conf
Model AI Assignments 2021.
AAAI
Todd W. Neller, Nathan Sprague, John Maraist, Lisa Zhang, Pouria Fewzee, Duri Long, Jonathan Moon, Brian Magerko, Alex Leto, Toni Lefton, Tom Williams
2017 — conf
String Shuffling over a Gap between Parsing and Plan Recognition.
AAAI Workshops
John Maraist
2016 J jnl
Generalized LR parsing and the shuffle operator.
CoRR
John Maraist
2012 — conf
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.
SASO Workshops
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
2010 — conf
NST: a unit testing system for common Lisp.
ILC
John Maraist
2010 A* conf
Shopper: A System for Executing and Simulating Expressive Plans.
ICAPS
Robert P. Goldman, John Maraist
2009 — conf
Trapping Malicious Insiders in the SPDR Web.
HICSS
J. Thomas Haigh, Steven A. Harp, Richard C. O'Brien, Charles N. Payne, Johnathan Gohde, John Maraist
2008 A* conf
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting.
ICAPS
Christopher W. Geib, John Maraist, Robert P. Goldman
1999 J jnl
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus.
Theor. Comput. Sci.
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1998 — conf
Separating Weakening and Contraction in a Linear Lambda Calculus.
CATS
John Maraist
1998 J jnl
The Call-by-Need Lambda Calculus.
J. Funct. Program.
John Maraist, Martin Odersky, Philip Wadler
1997 — —
Comparing reduction strategies in resource-conscious lambda calculi.
John Maraist
1995 B conf
Call-by-name, call-by-value, call-by-need and the linear lambda calculus.
MFPS
John Maraist, Martin Odersky, David N. Turner, Philip Wadler
1995 A* conf
The Call-by-Need Lambda Calculus.
POPL
Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler
1994 — conf
A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages.
PLILP
John Maraist, Frank S. K. Silbermann