Publications
Export 300 results:
.
2007.
Attribute Grammar-based Language Extensions for Java. In Proceedings of European Conference on Object Oriented Programming (ECOOP).
.
2007. Automatic Generation of Static Fault Trees from AADL Models. DNS Workshop on Architecting Dependable Systems.
.
2007. Context-Aware Scanning for Parsing Extensible Languages. GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering.
.
2007. .
2007. Exploiting Automatically Inferred Constraint-Models for Building Identification in Satellite Imagery. 15th annual ACM international symposium on Advances in Geographic Information Systems (ACMGIS 2007). :35-42.
.
2007. Exploiting Problem Data to Refine Models of Constraint Problems. International Conference on Automated Planning and Scheduling (ICAPS 2007): Doctoral Consortium. :97-102.
.
2007. .
2007. .
2007. Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance. Real-Time Systems Symposium.
.
2007. .
2007. Reformulating Constraint Models Using Input Data. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). 4612:402-404.
.
2007. Reformulating Constraint Satisfaction Problems to Improve Scalability. 7th International Symposium on Abstraction, Reformulation, and Approximation (SARA 2007). :64-79.
.
2007. Reformulating CSPs for Scalability with Application to Geospatial Reasoning. 13th International Conference on the Principles and Practice of Constraint Programming (CP 2007). :164-179.
.
2007. .
2007. .
2006. .
2006. .
2006.
Dual-Color Photon Counting Histogram Analysis of mRFP1and EGFP in Living Cells . Biophysical Journal . 91(11):4273-4284.
.
2006. .
2006. Formal Modeling and Analysis of the AFDX Frame Management Design. Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.
.
2006. A Generalized Query Framework for Geospatial Reasoning. AAAI 2006: Doctoral Consortium .
.
2006. Generating Policies for Defense in Depth (DiD). IAnewsletter. 9
.
2006. Information Assurance Technology Forecast 2005. IEEE Security & Privacy. 4:62-69.
.
2006. Automatically Utilizing Secondary Sources to Align Information Across Sources. AI Magazine, Special Issue on Semantic Integration. 26:33-45.
.
2005.