Publications

Wilk S, Michalowski W, Michalowski M, Farion K, Hing MMainegra, Mohapatra S.  2013.  Mitigation of Adverse Interactions in Pairs of Clinical Practice Guidelines Using Constraint Logic Programming. Journal of Biomedical Informatics. 46(2):341-353.

• Google Scholar
• BibTex

Payne C, Sonnek J, Harp S.  2013.  XEBHRA: A Virtualized Platform for Cross Domain Information Sharing. 8th Cyber Security and Information Intelligence Research Workshop.

• Google Scholar
• BibTex

Boddy M.  2012.  Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness. COPLAS-12.

• Google Scholar
• BibTex

Boddy M, Shackleton H, Carpenter T, Nelson K.  2012.  Inferring System Level Properties.

• Google Scholar
• BibTex

Michalowski M.  2012.  Using Constraint Logic Programming to Support the Concurrent Application of Multiple Practice Guidelines: Adjusting Medication Dosages and Resolving Open-Ended Actions Related to Treatment. 12th Conference of the IFIP Working Group 7.6 on Advanced Analytics.

• Google Scholar
• BibTex

Michalowski M, Boddy M, Neilsen M.  2011.  Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco CA (2011).

• Google Scholar
• BibTex

Michalowski M, Hing MMainegra, Wilk S, Michalowski W, Farion K.  2011.  A Constraint Logic Programming Approach to Identifying Inconsistencies in Clinical Practice Guidelines for Patients with Comorbidity. 13th Conference on Artificial Intelligence in Medicine (AIME’11).

• Google Scholar
• BibTex

Atighetchi M, Pal P, Adler A, Gronosky A, Yaman F, Webb J, Loyall J, Sinclair A, Payne C.  2011.  Crumple Zones: Absorbing Attack Effects Before They Become a Problem. CrossTalk Magazine.

• Google Scholar
• BibTex

Boddy M, Michalowski M, Schwerdfeger A, Shackleton H, Vestel S.  2011.  FUSED: A Tool Integration Framework for Collaborative System Engineering. 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS-11). :1-8.

• Google Scholar
• BibTex

Wilk S, Michalowski M, Hing MMainegra, Michalowski W, Farion K.  2011.  Reconciliation of Concurrently Applied Clinical Practice Guidelines Using Constraint Logic Programming. 6th International Symposium on Health Informatics and Bioinformatics, (HIBIT 2011). :138-144.

• Google Scholar
• BibTex

Wilk S, Michalowski M, Michalowski W, Hing MMainegra, Farion K.  2011.  Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming. AMIA 2011 Annual Symposium.

• Google Scholar
• BibTex

Michalowski M, Hing MMainegra, Michalowski W, Wilk S, Farion K.  2011.  Representing Concurrent Clinical Practice Guidelines as a Constraint Logic Programming Model. 2011 INFORMS Conference on Healthcare.

• Google Scholar
• BibTex

Nelson K, Bischoff BJ.  2010.  Activity Monitoring.

• Google Scholar
• BibTex

Haigh J.T, Harp S, Payne C.  2010.  AIMFIRST: Planning for Mission Assurance.

• Google Scholar
• BibTex

C. D;Michael, Janet C;, D. W;Stephen, M. V;Patricia, Carciofini J.  2010.  Communications system based on real-time neurophysiological characterization.

• Google Scholar
• BibTex

Schwerdfeger A.  2010.  Context-Aware Scanning and Determinism-Preserving Grammar Composition, in Theory and Practice.

• Google Scholar
• BibTex

Michalowski M, Boddy M, Carpenter T.  2010.  Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.

• Google Scholar
• BibTex

O’Sullivan D, Michalowski W, Michalowski M, Wilk S.  2010.  Enhanced Document Representation to Support Automatic Retrieval of Clinical Evidence from The Cochrane Library. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).

• Google Scholar
• BibTex

Klement W, Wilk S, Michalowski M, Farion K.  2010.  Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data.

• Google Scholar
• BibTex

Hing MMainegra, Michalowski M, Wilk S, Michalowski W, Farion K.  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).

• Google Scholar
• BibTex

Santosh M;, M. V;Patricia, C. D;Michael, Carciofini J, D. W;Stephen.  2010.  Neurophysiologically driven high speed image triage system and method.

• Google Scholar
• BibTex

Sonnek J, Geensky J., Reutiman R., Chandra A..  2010.  Starling: Minimizing Communication Overhead in Virtualized Computing Platforms Using Decentralized Affinity-Aware Migration. 39th International Conference on Parallel Processing (ICPP).

• Google Scholar
• BibTex

VanRiper R, Musliner D, Geib CW.  2010.  System and method for network security.

• Google Scholar
• BibTex

Goldman RP, Kong D, Mankins D, Schwartz B, Spicuzza D, Zatko PMudge, Strayer T, Milliken W, Watro R, Heimerdinger W et al..  2009.  An Architecture for Scalable Network Defense.

• Google Scholar
• BibTex

Payne C, O’Brien R, Haigh J.T.  2009.  The Case for Prevention-based, Host-resident Defenses in the Modern PCS Network.

• Google Scholar
• BibTex