Export 300 results:
Hydrogen compounds of group-IV nanosheets. Applied Physics Letters. 97. 2010.
Identifying Inconsistencies in Multiple Clinical Practice Guidelines for a Patient with Co-morbidity. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).. 2010.
Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.. 2010.
A Compositional Scheduling Framework for Digital Avionics Systems. IEEE Real-Time Computing Systems and Applications.. 2009.
Modeling Clinical Practice Guidelines using Predicate Logic for Reasoning with Incomplete Patient’s Data. 20th International Conference on Multiple Criteria Decision Making, Chengdu China (2009).. 2009.
Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).. 2009.
Verifiable Composition of Deterministic Grammars. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).. 2009.
Verifiable Parse Table Composition for Deterministic Parsing. 2nd International Conference on Software Language Engineering.. 2009.
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. Euromicro Conference on Real-Time Systems (ECRTS) 2008.. 2008.