Thomas R. Dean - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Thomas R. Dean' as author, editor, or advisor:

Input Output Grammar Coverage in FuzzingAndrew Fryer, Thomas Dean, Brian Lachine. milcom 2023: 937-943 [doi]
Learning invariant features using inertial priorsThomas Dean. AMAI, 47(3-4):223-250, 2006. [doi]
Using temporal hierarchies to efficiently maintain large temporal databasesThomas Dean. JACM, 36(4):687-718, 1989. [doi]
An Approach to Reasoning About Continuous Change for Applications in PlanningThomas Dean, Greg Siegle. AAAI 1990: 132-137
Recursive Sparse, Spatiotemporal CodingThomas Dean, Richard Washington, Greg Corrado. ism 2009: 645-650 [doi]
Model Minimization in Markov Decision ProcessesThomas Dean, Robert Givan. AAAI 1997: 106-111
Solving Stochastic Planning Problems with Large State and Action SpacesThomas Dean, Robert Givan, Kee-Eung Kim. aips 1998: 102-110
A Conditional Scheduling Approach to Designing Real-Time SystemsLloyd Greenwald, Thomas Dean. aips 1998: 224-231
Bounded Parameter Markov Decision ProcessesRobert Givan, Sonia M. Leach, Thomas Dean. ecp 1997: 234-246
International Neuroscience Initiatives through the Lens of High-Performance ComputingKristofer E. Bouchard, James B. Aimone, Miyoung Chun, Thomas Dean, Michael Denker, Markus Diesmann, David Donofrio, Loren M. Frank, Narayanan Kasthuri, Christof Koch, Oliver Rübel, Horst D. Simon, Friedrich T. Sommer, Prabhat. Computer, 51(4):50-59, 2018. [doi]
Robots With AI: A Retrospective on the AAAI Robot Competitions and ExhibitionsR. Peter Bonasso, Thomas Dean. AAAI 1996: 1321
Deadlines, Travel Time, and Robot Problem SolvingDavid P. Miller, R. James Firby, Thomas Dean. IJCAI 1985: 1052-1054
Hierarchical Solution of Markov Decision Processes using Macro-actionsMilos Hauskrecht, Nicolas Meuleau, Leslie Pack Kaelbling, Thomas Dean, Craig Boutilier. uai 1998: 220-229 [doi]
Model Reduction Techniques for Computing Approximately Optimal Solutions for Markov Decision ProcessesThomas Dean, Robert Givan, Sonia M. Leach. uai 1997: 124-131 [doi]
Planning under Time Constraints in Stochastic DomainsThomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson. ai, 76(1-2):35-74, 1995. [doi]
Reasoning About Partially Ordered EventsThomas Dean, Mark S. Boddy. ai, 36(3):375-399, 1988.
1992 AAAI Robot Exhibition and CompetitionThomas Dean, R. Peter Bonasso. aim, 14(1):35-48, 1993.
Localized Temporal Reasoning: A State-Based ApproachShieu-Hong Lin, Thomas Dean. time 1994: 3-12 [doi]
Using clone detection to find malware in acrobat filesSaruhan Karademir, Thomas Dean, Sylvain Leblanc. cascon 2013: 70-80 [doi]
Map Learning with Indistinguishable LocationsKenneth Basye, Thomas Dean. uai 1990: 331-342 [doi]
A Framework for the Development of Multiagent ArchitecturesMoises Lejter, Thomas Dean. expert, 11(6):47-59, 1996. [doi]
Probabilistic causal reasoningThomas Dean, Keiji Kanazawa. uai 1990: 27-42 [doi]
Coping With Uncertainty in Map LearningKenneth Basye, Thomas Dean, Jeffrey Scott Vitter. IJCAI 1989: 663-668
Solving Factored MDPs with Large Action Space Using Algebraic Decision DiagramsKee-Eung Kim, Thomas Dean. pricai 2002: 80-89 [doi]
Survey of Graph Rewriting applied to Model TransformationsFrancisco de la Parra, Thomas Dean. modelsward 2014: 431-441 [doi]
Strategic Directions in Artificial IntelligenceJon Doyle, Thomas Dean. ACM Comput. Surv., 28(4):653-670, 1996.
Solving Time-Dependent Planning ProblemsMark S. Boddy, Thomas Dean. IJCAI 1989: 979-984
Temporal Data Base ManagementThomas Dean, Drew V. McDermott. ai, 32(1):1-55, 1987.
Integrating Theory and Practice in PlanningThomas Dean. ACM Comput. Surv., 28(4es):2, 1996.
Calibrating the Gaussian multi-target tracking modelSinan Yildirim, Lan Jiang, Sumeetpal S. Singh, Thomas Dean. sac, 25(3):595-608, 2015. [doi]
Package routing in transportation networks with fixed vehicle schedulesLloyd Greenwald, Thomas Dean. networks, 27(1):81-93, 1996. [doi]
Inferring Finite Automata with Stochastic Output Functions and an Application to Map LearningThomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron. AAAI 1992: 208-214
On the Complexity of Solving Markov Decision ProblemsMichael L. Littman, Thomas Dean, Leslie Pack Kaelbling. uai 1995: 394-402 [doi]
Coping with Uncertainty in a Control System for Navigation and ExplorationThomas Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza. AAAI 1990: 1010-1015
The Irregulars: Third-Party Cyber Actors and Digital Resistance Movements in the Ukraine ConflictMargaret W. Smith, Thomas Dean. cycon 2023: 103-119 [doi]
Robustness of FDM-FDCP Modulation to Phase Noise in Millimeter Wave SystemsNicole Grimwood, Thomas Dean, Andrea Goldsmith. acssc 2018: 264-268 [doi]
Coping with Uncertainty in Map LearningKenneth Basye, Thomas Dean, Jeffrey Scott Vitter. ml, 29(1):65-88, 1997.
Learning Dynamics: System Identification for Perceptually Challenged AgentsKenneth Basye, Thomas Dean, Leslie Pack Kaelbling. ai, 72(1-2):139-171, 1995. [doi]
Decision-theoretic control of inference for time-critical applicationsThomas Dean. ijis, 6(4):417-441, 1991. [doi]
Scalable Inference in Hierarchical Generative ModelsThomas Dean. isaim 2006: [doi]
Equivalence notions and model minimization in Markov decision processesRobert Givan, Thomas Dean, Matthew Greig. ai, 147(1-2):163-223, 2003. [doi]
A Monte Carlo expectation maximisation algorithm for multiple target trackingSinan Yildirim, Lan Jiang, Sumeetpal S. Singh, Thomas Dean. fusion 2012: 2094-2101 [doi]
A Model for Projection and ActionKeiji Kanazawa, Thomas Dean. IJCAI 1989: 985-990
Approximate Solutions to Factored Markov Decision Processes via Greedy Search in the Space of Finite State ControllersKee-Eung Kim, Thomas Dean, Nicolas Meuleau. aips 2000: 323-330
Solving Factored MDPs via Non-Homogeneous PartitioningKee-Eung Kim, Thomas Dean. IJCAI 2001: 683-689
Solving Time-critical Decision-making Problems with Predictable Computational DemandsThomas Dean, Lloyd Greenwald. aips 1994: 25-30
Bounded-parameter Markov decision processesRobert Givan, Sonia M. Leach, Thomas Dean. ai, 122(1-2):71-109, 2000. [doi]
A Computational Model of the Cerebral CortexThomas Dean. AAAI 2005: 938-943
Deliberation Scheduling for Time-Critical Sequential Decision MakingThomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson. uai 1993: 309-316 [doi]
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pagesThomas Dean, editor, Morgan Kaufmann, 1999.
Planning With Deadlines in Stochastic DomainsThomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson. AAAI 1993: 574-579
Decomposition Techniques for Planning in Stochastic DomainsThomas Dean, Shieu-Hong Lin. IJCAI 1995: 1121-1129
Physical-layer cryptography through massive MIMOThomas Dean, Andrea Goldsmith. itw 2013: 1-5 [doi]
Solving factored MDPs using non-homogeneous partitionsKee-Eung Kim, Thomas Dean. ai, 147(1-2):225-251, 2003. [doi]
Transforming Embedded Java Code into Custom TagsShannon Xu, Thomas Dean. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2005. [doi]
Large-Scale Temporal Data Bases for Planning in Complex DomainsThomas Dean. IJCAI 1987: 860-866
Automated Migration of List Based JSP Web Pages to AJAXJason Chu, Thomas Dean. SCAM 2008: 217-226 [doi]
A Retrospective of the AAAI Robot CompetitionsR. Peter Bonasso, Thomas Dean. aim, 18(1):11-23, 1997.
Automated PlanningThomas Dean. ACM Comput. Surv., 28(1):85-87, 1996.
Special Issue on Web Site Evolution (WSE 2006)Davide Bolchini, Thomas Dean, Damiano Distante, Scott R. Tilley. SMR, 19(5):277-279, 2007. [doi]
The design and analysis of a generalized RESTART/DPR algorithm for rare event simulationThomas Dean, Paul Dupuis. anor, 189(1):63-102, 2011. [doi]
Exploiting Locality in Searching the WebJoel Young, Thomas Dean. uai 2003: 608-615
Incremental Causal ReasoningThomas Dean, Mark S. Boddy. AAAI 1987: 196-201
Temporal Reasoning Involving Counterfactuals and DisjunctionsThomas Dean. IJCAI 1985: 1060-1062
An empirical evaluation of a language-based security testing techniqueMuhammad AboElFotoh, Thomas Dean, Ryan Mayor. cascon 2009: 112-121 [doi]
Inferring Finite Automata with Stochastic Output Functions and an Application to Map LearningThomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron. ml, 18(1):81-108, 1995.
Context-Dependent Computational ComponentsThomas Dean. sigart, 7(2):3-6, 1996.
Hierarchical planning involving deadlines, travel time, and resourcesThomas Dean, R. James Firby, David P. Miller. ci, 4:381-398, 1988.
Agile Parsing to Transform Web ApplicationsThomas Dean, Mykyta Synytskyy. GTTSE 2006: 312-326 [doi]
Solving Very Large Weakly Coupled Markov Decision ProcessesNicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, Leonid Peshkin, Leslie Pack Kaelbling, Thomas Dean, Craig Boutilier. AAAI 1998: 165-172
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract)Thomas Dean. time 1994: 3-12 [doi]
Model Minimization, Regression, and Propositional STRIPS PlanningRobert Givan, Thomas Dean. IJCAI 1997: 1163-1168
Intrusion detection in a private network by satisfying constraintsMd Siam Hasan, Ali ElShakankiry, Thomas Dean, Mohammad Zulkernine. PST 2016: 623-628 [doi]
Hierarchical Bayesian Models of the Primate Visual CortexThomas Dean. isaim 2006: [doi]
Strategic Directions in Artificial Intelligence (Reprint)Jon Doyle, Thomas Dean. aim, 18(1):87-101, 1997.
Automated Migration of List Based JSP Web Pages to AJAXJason Chu, Thomas Dean. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2008. [doi]
Deliberation Scheduling for Problem Solving in Time-Constrained EnvironmentsMark S. Boddy, Thomas Dean. ai, 67(2):245-285, 1994.
A Decision-Theoretic Approach to Planning, Perception, and ControlKenneth Basye, Thomas Dean, Jak Kirman, Moises Lejter. expert, 7(4):58-65, 1992. [doi]
Planning and SchedulingThomas Dean, Subbarao Kambhampati. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 614-636, CRC Press, 1997.
Decision-Theoretic Planning: Structural Assumptions and Computational LeverageCraig Boutilier, Thomas Dean, Steve Hanks. jair, 11:1-94, 1999. [doi]
Review: AI Scheduling MethodsThomas Dean. expert, 10(1):76-77, 1995. [doi]
An Analysis of Time-Dependent PlanningThomas Dean, Mark S. Boddy. AAAI 1988: 49-54
On the Prospects for Building a Working Model of the Visual CortexThomas Dean, Glenn Carroll, Richard Washington. AAAI 2007: 1597-1600
Probabilistic Temporal ReasoningThomas Dean, Keiji Kanazawa. AAAI 1988: 524-529
Challenge Problems for Artificial Intelligence (Panel Statements)Bart Selman, Rodney A. Brooks, Thomas Dean, Eric Horvitz, Tom M. Mitchell, Nils J. Nilsson. AAAI 1996: 1340-1345
Localized Temporal Reasoning Using Subgoals and Abstract EventsShieu-Hong Lin, Thomas Dean. ci, 12:423-449, 1996.
Time-Critical Scheduling in Stochastic DomainsLloyd Greenwald, Thomas Dean. AAAI 1994: 1452
Variability Identification and Representation for Automotive Simulink ModelsManar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy. In Yanja Dajsuren, Mark van den Brand, editors, Automotive Systems and Software Engineering - State of the Art and Future Trends. pages 109-139, Springer, 2019. [doi]
Automated verification of role-based access control security models recovered from dynamic web applicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. WSE 2012: 1-10 [doi]
A semi-automated framework for migrating web applications from SQL to document oriented NoSQL databaseRahma S. Al Mahruqi, Manar H. Alalfi, Thomas R. Dean. cascon 2019: 44-53 [doi]
Generating a Real-Time Constraint Engine for Network ProtocolsMohamed Sami Rakha, Fahim T. Imam, Thomas R. Dean. WISTP 2019: 44-60 [doi]
Spy vs. Spy: counter-intelligence methods for backtracking malicious intrusionsJason S. Alexander, Thomas R. Dean, Scott Knight. cascon 2011: 1-14 [doi]
WAFA: Fine-grained dynamic analysis of web applicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. WSE 2009: 141-150 [doi]
Lessons Learned from a Survey of Web Applications TestingBen W. Y. Kam, Thomas R. Dean. itng 2009: 125-130 [doi]
Modernizing JavaServer Pages by TransformationShannon Xu, Thomas R. Dean. WSE 2005: 111-118 [doi]
Blind Joint MIMO Channel Estimation and DecodingThomas R. Dean, Mary Wootters, Andrea Goldsmith. globecom 2017: 1-6 [doi]
SCL: a language for security testing of network applicationsSylvain Marquis, Thomas R. Dean, Scott Knight. cascon 2005: 155-164 [doi]
Recovering Role-Based Access Control Security Models from Dynamic Web ApplicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. ICWE 2012: 121-136 [doi]
Robust multilingual parsing using island grammarsNikita Synytskyy, James R. Cordy, Thomas R. Dean. cascon 2003: 266-278 [doi]
Blind Joint MIMO Channel Estimation and DecodingThomas R. Dean, Mary Wootters, Andrea J. Goldsmith. TIT, 65(4):2507-2524, 2019. [doi]
Affordances in Representing the Behaviour of Event-Based SystemsFahim T. Imam, Thomas R. Dean. fois 2016: [doi]
Attacking OMG Data Distribution Service (DDS) Based Real-Time Mission Critical Distributed SystemsMichael James Michaud, Thomas R. Dean, Sylvain P. Leblanc. malware 2018: 68-77 [doi]
Detecting Android Malware Using Clone DetectionJian Chen, Manar H. Alalfi, Thomas R. Dean, Ying Zou. jcst, 30(5):942-956, 2015. [doi]
Physical-Layer Cryptography Through Massive MIMOThomas R. Dean, Andrea J. Goldsmith. TIT, 63(8):5419-5436, 2017. [doi]
Research Directions in Web Site Evolution II: Web Application SecurityPorfirio Tramontana, Thomas R. Dean, Scott R. Tilley. WSE 2007: 105-106 [doi]
Software Engineering by Source Transformation - Experience with TXL (Most Influential Paper, SCAM 2001)James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider. SCAM 2019: 140 [doi]
Modelling methods for web application verification and testing: state of the artManar H. Alalfi, James R. Cordy, Thomas R. Dean. stvr, 19(4):265-296, 2009. [doi]
Semi-automatic Identification and Representation of Subsystem Variability in Simulink ModelsManar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy. ICSM 2014: 486-490 [doi]
Analysis and clustering of model clones: An automotive industrial experienceManar H. Alalfi, James R. Cordy, Thomas R. Dean. CSMR 2014: 375-378 [doi]
A theory model core for module interconnection languagesThomas R. Dean, David Alex Lamb. cascon 1994: 13 [doi]
Linguistic security testing for text communication protocolsBen W. Y. Kam, Thomas R. Dean. SPE, 43(9):1103-1120, 2013. [doi]
Fast Blind MIMO Decoding Through Vertex HoppingThomas R. Dean, Jonathan Perlstein, Mary Wootters, Andrea J. Goldsmith. TWC, 18(7):3669-3682, 2019. [doi]
Evaluating Aspect Mining Techniques: A Case StudyChanchal Kumar Roy, Mohammad Gias Uddin, Banani Roy, Thomas R. Dean. IWPC 2007: 167-176 [doi]
Practical language-independent detection of near-miss clonesJames R. Cordy, Thomas R. Dean, Nikita Synytskyy. cascon 2014: 2 [doi]
Automating Coverage Metrics for Dynamic Web ApplicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. CSMR 2010: 51-60 [doi]
Context Sensitive and Secure Parser Generation for Deep Packet Inspection of Binary ProtocolsAli ElShakankiry, Thomas R. Dean. PST 2017: 77-86 [doi]
Near-miss model clone detection for Simulink modelsManar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson. iwsc 2012: 78-79 [doi]
Software Engineering by Source Transformation-Experience with TXLJames R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2001. [doi]
Packet decoding using context sensitive parsingSylvain Marquis, Thomas R. Dean, Scott Knight. cascon 2006: 263-274 [doi]
Clone detection in MATLAB Stateflow modelsJian Chen, Thomas R. Dean, Manar H. Alalfi. sqj, 24(4):917-946, 2016. [doi]
Models are code too: Near-miss clone detection for Simulink modelsManar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson. ICSM 2012: 295-304 [doi]
An approach to represent and transform application-specific constraints for an intrusion detection systemAyesha Babar, Fahim T. Imam, Thomas R. Dean, Jose Fernandez. cascon 2020: 53-62 [doi]
Grammar Programming in TXLThomas R. Dean, James R. Cordy, Andrew J. Malton, Kevin A. Schneider. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2002. [doi]
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web ApplicationsManar H. Alalfi, James R. Cordy, Thomas R. Dean. icst 2009: 287-294 [doi]
Rethinking Modulation and Detection for High Doppler ChannelsThomas R. Dean, Mainak Chowdhury, Nicole Grimwood, Andrea J. Goldsmith. TWC, 19(6):3629-3642, 2020. [doi]
Modelling Functional Behavior of Event-based Systems: A Practical Knowledge-based ApproachFahim T. Imam, Thomas R. Dean. kes 2016: 617-626 [doi]
A lightweight approach to state based security testingSongtao Zhang, Thomas R. Dean, Scott Knight. cascon 2006: 341-344 [doi]
Detection of feature interaction in dynamic scripting languagesOmar A. Al Harthi, Manar H. Alalfi, Thomas R. Dean. cascon 2019: 130-137 [doi]
Guest Editorial: Special Section on International Conference on Program Comprehension, 2011Filippo Ricca, Thomas R. Dean, Susan Elliott Sim. INFSOF, 55(4):719-721, 2013. [doi]
A Syntactic Theory of Software ArchitectureThomas R. Dean, James R. Cordy. TSE, 21(4):302-313, 1995. [doi]
Zero-Padded FDM-FDCP: Real-Time Signal Processing for Underwater ChannelsThomas R. Dean, Mainak Chowdhury, Andrea Goldsmith. spawc 2018: 1-5 [doi]
Towards the profiling of scientific software for accuracyNicholas Jie Meng, Diane Kelly, Thomas R. Dean. cascon 2011: 257-271 [doi]
A Constraint-based intrusion detection systemM. D. Siam Hasan, Thomas R. Dean, Fahim T. Imam, Francisco Garcia, Sylvain P. Leblanc, Mohammad Zulkernine. ECBS 2017: [doi]
Linguistic Security Testing for Text Communication ProtocolsBen W. Y. Kam, Thomas R. Dean. taicpart 2010: 104-117 [doi]
A new modulation technique for Doppler compensation in frequency-dispersive channelsThomas R. Dean, Mainak Chowdhury, Andrea Goldsmith. pimrc 2017: 1-7 [doi]
Clone Detector Use Questions: A List of Desirable Empirical StudiesThomas R. Dean, Massimiliano Di Penta, Kostas Kontogiannis, Andrew Walenstein. Dagstuhl 2007: [doi]
A Framework for Migrating Web Applications to Web ServicesAsil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean. ICWE 2013: 384-399 [doi]
Fast Blind MIMO Decoding through Vertex HoppingJonathan Perlstein, Thomas R. Dean, Mary Wootters, Andrea Goldsmith. acssc 2018: 148-154 [doi]
Modeling AUTOSAR Implementations in SimulinkJian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh. ECMDA-FA 2018: 279-292 [doi]
Software Structure Characterization Using ConnectivityThomas R. Dean, James R. Cordy. ICSE 1996: 33-48
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database SchemasManar H. Alalfi, James R. Cordy, Thomas R. Dean. WCRE 2008: 187-191 [doi]
Towards a framework for migrating web applications to web servicesAsil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean. cascon 2011: 229-241 [doi]
Normalizing object-oriented class styles in JavaScriptWidd Gama, Manar H. Alalfi, James R. Cordy, Thomas R. Dean. WSE 2012: 79-83 [doi]
LL(k) optimization of a network protocol parser generatorKyle Lavorato, Fahim T. Imam, Thomas R. Dean. cascon 2019: 183-192 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Thomas R. Dean's Profile

Unidentified Publications