== Research ==

I worked with Peter Revesz for both my Master's and Ph.D. In my Master's thesis, we worked on complete security policy languages. This didn't go anywhere, so we turned our research tools to program verification. This resulted in a paper in which we discovered an error in a program that an existing system had verified as correct. For my dissertation, I worked with constraint databases (cdb or constraintdb) in spatial temporal applications. 

 * Grade-up, Paper: ACM Midsoutheast Conference. Anderson 2017.
 * Technology Software and Processes at Khirbet Qeiyafa. Khirbet Qeiyafa Site Report. Anderson and Dant, 2012.
 * Survey Recording Techniques and GIS Referencing. Khirbet Qeiyafa Site Report. Perez, Anderson, Dant and Scot, 2012.
 * Frameworks vs. Textbooks: Teaching How ORM Frameworks Change Database Design. Presentation: ACM Midsoutheast Conference. Anderson, 2011
 * 2011: Program committee for [[https://www.aaai.org/Library/SARA/sara11contents.php|SARA]]   
 * New Virtual Lab Software. Presentation: ACM Midsoutheast Conference. Anderson and Munger, 2010
 * Scot Anderson: MaxCount Spatiotemporal Aggregate Operator. Encyclopedia of GIS 2017: 1196-1197
 * Scot Anderson, Peter Z. Revesz: Efficient MaxCount and threshold operators of moving objects. GeoInformatica 13(4): 355-396 (2009)
 * Scot Anderson, Peter Z. Revesz: CDB-PV: A Constraint Database-Based Program Verifier. SARA 2007: 35-49
 * Scot Anderson: Aggregation Estimation for 2D Moving Points. TIME 2006: 137-144
 * Scot Anderson, Peter Z. Revesz: Efficient Threshold Aggregation of Moving Objects. CoRR abs/cs/0611031 (2006)
 * Scot Anderson, Peter Z. Revesz: Verifying the Incorrectness of Programs and Automata. SARA 2005: 1-13

== Other Research Links ==

 * [[http://citeseer.ist.psu.edu/|ResearchIndex.com]]
 * [[http://www.acm.org/sigmod/dblp/db/index.html|DBLP]]
 * [[http://www.informatik.uni-trier.de/~ley/db/conf/index.a.html|DBLP:Conferences & Workshops]]
 * [[http://clip.dia.fi.upm.es/~vocal/public_info/seminar_notes/node6.html|Constraint Logic Programming]]
 * [[http://arxiv.org/corr/home|Computer Research Repository CoRR]]