Operations Research

Optimal ordering policy with multiple unreliable suppliers

61st Annual IIE Conference and Expo Proceedings. http://www.scopus.com/inward/record.url?eid=2-s2.0-84900342045&partnerID=MN8TOARS

CAUSES OF FOURTH AGED PATIENTS HOSPITALIZATION IN AN INTERNAL MEDICINE HOSPITAL CLINIC

European Journal of Internal Medicine, 22, S108–S109.

Elsevier OSN is Sad to Announce the Loss of Fabio Neri, co-Editor-in-Chief of the Journal, Distinguished Professor and Researcher

Optical Switching and Networking, 8(4), 286–287.

On an identity of Gessel and Stanton and the new little Göllnitz identities

Advances in Applied Mathematics, 46(1-4), 563–575.

Direct Transcription Solution of Optimal Control Problems with Control Delays

Presented at the NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics.

Expository research papers

SIAM Review, Vol. 53. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856706336&partnerID=MN8TOARS

Expository Research Papers

SIAM Review, 53(3), 503–503.

Expository Research Papers

SIAM Review, 53(4), 721–721.

An SDRE-Based Approach for HIV Feedback Control and Control of Thin Film Growth in a CVD Reactor

IFAC Proceedings Volumes, 44(1), 9601–9606.

Trust as Dependence: A Logical Approach

AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, 2, 863–870. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899408581&partnerID=MN8TOARS

Specifying and Applying Commitment-Based Business Patterns

AAMAS '11: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, 1, 475–482. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899421820&partnerID=MN8TOARS

Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, 1, 457–464. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899440400&partnerID=MN8TOARS

Kokomo: An empirically evaluated methodology for affective applications

Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 1, 293–300. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899438815&partnerID=MN8TOARS

Formal methods in agent-oriented software engineering

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 213–228).

Commitments with regulations: Reasoning about safety and control in REGULA

10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011, 1, 433–440. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899444781&partnerID=MN8TOARS

Methodology for engineering affective social applications

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 97–109).

LoST: Local State Transfer: An architectural style for the distributed enactment of business protocols

Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, 57–64.

Analyzing contract robustness through a model of commitments

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 17–36).

Colaba: Collaborative design of cross-organizational processes

2011 Workshop on Requirements Engineering for Systems, Services and Systems-of-Systems, RESS 2011 - Workshop Co-located with the 19th IEEE International Requirements Engineering Conference, 36–43.

Patient specific modeling of cardiovascular and respiratory dynamics during hypercapnia

Mathematical Biosciences, Vol. 241, pp. 56–74.