John Maraist
Smart Information Flow Technologies (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Semantic Web and Ontologies, Advanced Software Engineering Methodologies
Most-Cited Works
- → A call-by-need lambda calculus(1995)247 cited
- → The call-by-need lambda calculus(1998)120 cited
- → Call-by-name, call-by-value, call-by-need and the linear lambda calculus(1999)100 cited
- → Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus(1995)39 cited
- A new probabilistic plan recognition algorithm based on string rewriting(2008)
- → STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems(2012)8 cited
- → Separating weakening and contraction in a linear lambda calculus(1996)3 cited
- String Shuffling over a Gap between Parsing and Plan Recognition.(2017)
- Comparing reduction strategies in resource conscious lambda calculi(1997)
- A Pattern-Based Approach for a Flexible, Self-Extending Document System(1997)