John Maraist

According to our database, John Maraist authored at least 14 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Model AI Assignments 2021.

Todd W. Neller, Nathan Sprague, John Maraist, Lisa Zhang, Pouria Fewzee, Duri Long, Jonathan Moon, Brian Magerko, Alex Leto, Toni Lefton, Tom Williams

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2017

String Shuffling over a Gap between Parsing and Plan Recognition.

John Maraist

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Generalized LR parsing and the shuffle operator.

John Maraist

CoRR, 2016

2012

STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.

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

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2010

NST: a unit testing system for common Lisp.

John Maraist

Proceedings of the International Lisp Conference, 2010

Shopper: A System for Executing and Simulating Expressive Plans.

Robert P. Goldman, John Maraist

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Trapping Malicious Insiders in the SPDR Web.

J. Thomas Haigh, Steven A. Harp, Richard C. O'Brien, Charles N. Payne, Johnathan Gohde, John Maraist

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

A New Probabilistic Plan Recognition Algorithm Based on String Rewriting.

Christopher W. Geib, John Maraist, Robert P. Goldman

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

1998

The Call-by-Need Lambda Calculus.

John Maraist, Martin Odersky, Philip Wadler

J. Funct. Program., 1998

Separating Weakening and Contraction in a Linear Lambda Calculus.

John Maraist

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1997

Comparing reduction strategies in resource-conscious lambda calculi.

John Maraist

PhD thesis, 1997

1995

Call-by-name, call-by-value, call-by-need and the linear lambda calculus.

John Maraist, Martin Odersky, David N. Turner, Philip Wadler

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

The Call-by-Need Lambda Calculus.

Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994

A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages.

John Maraist, Frank S. K. Silbermann

Proceedings of the Programming Language Implementation and Logic Programming, 1994