פיתוחים והמצאות
יסדה את תחום המחקר של מערכות אוטומטיות שמקיימות משא ומתן עם אנשים. עבודותיה מהוות בסיס למחקרים של חוקרים נוספים
פיתחה לראשונה אלגוריתמים ליצירת קואליציות בין מערכות ממוחשבות
המודל לפעילות שיתופית, שפיתחה עם פרופסור ברברה גרוס מאוניברסיטת הרווארד, השפיע רבות על המחקר והמימוש של מערכות שיתופיות. המודל כולל מפרט פורמלי לעיצוב של סוכנים היכולים לשתף פעולה ומהווה תשתית לחקירת שאלות בסיסיות בנושא שיתוף פעולה
תרמה לפיתוח אלגוריתמים לשבירת שיגרה בסביבות של משאבים מוגבלים. אלגוריתמים אלו שימושיים במיוחד בתחום האבטחה
היא תכננה עבור שדה התעופה בלוס אנג'לס, השמיני בגודלו בעולם, מערכת שמחליטה עבור אנשי הביטחון היכן לערוך בדיקות פתע. החשיבות היא בגורם ההפתעה, שאינו ניתן לפענוח תצפיתי ואינו מאפשר לגורמים עוינים ללמוד את השיטה ולעקוף אותה. המערכת מיושמת בהצלחה ומאפשרת תפיסה של מבריחי סמים, טרוריסטים ופושעים אחרים
מערכת המלצות לצפייה בטלוויזיה בוי או די על פי נתונים אישיים – פותחה בעבור חברת אורקה
מערכת לאימון חוקרים. בפרויקט עם משטרת ישראל, נבנית מערכת שמאמנת חוקרים בעריכת חקירות במטרה לשפר את יכולותיהם להביא לחשיפת האמת
ייעצה לבית החולים שיבא בבניית קלינאית תקשורת ממוחשבת
אפליקציה סודית לחברת אלביט המשמשת לעריכת סימולציות אימון לטייסים ולאנשי צבא
MARS-500 בפרויקט האירופאי
אוניברסיטת בר אילן התאימה אסטרונאוטים במערכת שפיתחה פרופ' קראוס במצבים שבהם דרושה עבודת צוות – פרויקט זה נעשה בשיתוף פרופ' ברברה גרוס מאוניברסיטת הרווארד
