Concepedia

Austin Parker

AP

8

Publications

218

Citations

8

H-Index

2005

Active since

Affiliations

University of Maryland, College Park(Current)

Towson University

Austin Parker is an author at University of Maryland, College Park specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningManagementFormal MethodsFormal VerificationReasoningSemanticsPsychologyData Science

Publications per year

2005–2017

8

Publications

8

Ribosomal stress and Tp53-mediated neuronal apoptosis in response to capsid protein of the Zika virus

Łukasz P. Słomnicki, Donghoon Chung, Austin Parker et al. · Scientific Reports · 2017 · 61 citations · Full text

Annotated probabilistic temporal logic

Paulo Shakarian, Austin Parker, Gerardo I. Simari et al. · ACM Transactions on Computational Logic · 2011 · 39 citations

Engineering, Verification, Logic Programs +19

A Logical Formulation of Probabilistic Spatial Databases

Austin Parker, V. S. Subrahmanian, John Grant · IEEE Transactions on Knowledge and Data Engineering · 2007 · 32 citations

Engineering, Range Searching, Localization +19

Game-tree search with combinatorially large belief states

Austin Parker, Dana Nau, V. S. Subrahmanian · 2005 · 25 citations

When is it better not to look ahead?

Dana Nau, Mitja Luštrek, Austin Parker et al. · Artificial Intelligence · 2010 · 23 citations

Behavioral Decision Making, Anticipatory Process, Foresight +7

Rows per page

1–5 of 8