A call-by-need lambda calculus ZM Ariola, M Felleisen, J Maraist, M Odersky, P Wadler POPL '95 - Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on …, 1995 | 499 | 1995 |
The call-by-need lambda calculus J Maraist, M Odersky, P Wadler Journal of functional programming 8 (3), 275-317, 1998 | 183 | 1998 |
Call-by-name, call-by-value, call-by-need and the linear lambda calculus J Maraist, M Odersky, DN Turner, P Wadler Theoretical Computer Science 228 (1-2), 175-210, 1999 | 104 | 1999 |
Call-by-name, call-by-value, call-by-need, and the linear lambda calculus J Maraist, M Odersky, DN Turner, P Wadler Electronic Notes in Theoretical Computer Science 1, 370-392, 1995 | 100 | 1995 |
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting. CW Geib, J Maraist, RP Goldman ICAPS, 91-98, 2008 | 64 | 2008 |
Stratus: Strategic and tactical resiliency against threats to ubiquitous systems M Burstein, D Wile, R Goldman, P Robertson, R Laddaga, R Balzer, ... 2012 IEEE Sixth International Conference on Self-Adaptive and Self …, 2012 | 12 | 2012 |
The call-by-need lambda calculus (unabridged) J Maraist, M Odersky, P Wadler Universität Karlsruhe, Fakultät für Informatik, 1994 | 12 | 1994 |
Trapping malicious insiders in the SPDR web JT Haigh, SA Harp, RC O'Brien, CN Payne, J Gohde, J Maraist System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on, 1-10, 2009 | 9 | 2009 |
Separating Weakening and Contraction in a Linear Lambda Calculus J Maraist in: Proc. CATS'98, Computing: the Fourth Australian Theory Symposium, Perth, 1998 | 8 | 1998 |
String Shuffling over a Gap between Parsing and Plan Recognition J Maraist Workshop on Plan, Activity, and Intent Recognition (PAIR), 2017 | 7 | 2017 |
LTML—a language for representing semantic web service workflow procedures M Burstein, RP Goldman, DV McDermott, D McDonald, J Beal, J Maraist Proceedings ISWC workshop on Semantics for the Rest of Us, 2009 | 5 | 2009 |
Comparing reduction strategies in resource-conscious lambda calculi J Maraist Univ. Karlsruhe, 1997 | 5 | 1997 |
SHOPPER: interpreter for a high-level web services language RP Goldman, J Maraist Proc. Int’l Lisp Conference, 2009 | 3 | 2009 |
A Pattern-Based Approach for a Flexible, Self-Extending Document System C Salzmann, J Maraist Proceedings of the 24th International Conference on Technology of Object …, 1997 | 3 | 1997 |
Identifying culprits when probabilistic verification fails DJ Musliner, T Woods, J Maraist International Design Engineering Technical Conferences and Computers and …, 2012 | 2 | 2012 |
On plan recognition and parsing J Maraist, CW Geib, RP Goldman | 2 | 2009 |
Model AI Assignments 2021 TW Neller, N Sprague, J Maraist, L Zhang, P Fewzee, D Long, J Moon, ... Proceedings of the AAAI Conference on Artificial Intelligence 35 (17), 15705 …, 2021 | 1 | 2021 |
Experimental evaluation of qualitative probability applied to sensor fusion and intrusion detection/diagnosis RP Goldman, J Maraist 28th International Workshop on Qualitative Reasoning, Minneapolis, 2015 | 1 | 2015 |
NST: A unit testing system for Common Lisp J Maraist Proceedings of the 2010 international conference on Lisp, 53-64, 2010 | 1 | 2010 |
A graph reduction technique with sharing across narrowings for functional-logic languages J Maraist, FSK Silbermann International Symposium on Programming Language Implementation and Logic …, 1994 | 1 | 1994 |