Information Trust Institute

Research Output

Research Output per year

1974 2021

• 5560 Conference contribution
• 3686 Article
• 650 Conference article
• 412 Paper
• 861 More
  • 274 Chapter
  • 233 Editorial
  • 170 Book
  • 88 Review article
  • 27 Comment/debate
  • 22 Foreword/postscript
  • 13 Other report
  • 13 Letter
  • 8 Other chapter contribution
  • 3 Technical report
  • 3 Entry for encyclopedia/dictionary
  • 3 Short survey
  • 3 Working paper
  • 1 Anthology

Research Output per year

Research Output per year

Search results

• 2020

  Modelchecking Safety Properties in Randomized Security Protocols

  Bauer, M. S., Chadha, R. & Viswanathan, M., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 167-183 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12300 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Security Protocols
  • Safety
  • Model Checking
  • Network protocols
  • Automated Reasoning
• 2019

  Cybersecurity Ethics

  Blanken-Webb, J., Palmer, I., Campbell, R., Burbules, N. C. & Bashir, M. N., 2019, Foundations of Information Ethics. Burgess, J. T. F. & Knox, E. J. M. (eds.). ALA Neal-Schuman

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Networks and technology

  Barley, W. & Poole, M. S., Jan 1 2019, Movements in Organizational Communication Research: Current Issues and Future Directions. Taylor and Francis, p. 233-252 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Information and Communication Technology
  • social technology
  • Social Structure
  • Duality
  • social structure

• Runtime verification past experiences and future projections

  Havelund, K., Reger, G. & Roşu, G., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 532-562 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10000).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  • Runtime Verification
  • Trace
  • Projection
  • Predictive analytics
  • Specifications

• The social creation of action and inaction: From concepts to goals to behaviors

  Albarracin, D., Sunderrajan, A., Dai, W. & White, B. X., 2019, Advances in Experimental Social Psychology. Olson, J. M. (ed.). Academic Press Inc., p. 223-271 49 p. (Advances in Experimental Social Psychology; vol. 60).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• The Stackelberg Equilibria of the Kelly Mechanism

  De Pellegrini, F., Massaro, A. & Başar, T., Jan 1 2019, Static and Dynamic Game Theory: Foundations and Applications. Birkhauser, p. 107-123 17 p. (Static and Dynamic Game Theory: Foundations and Applications).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Stackelberg Equilibrium
  • Resources
  • Nash Equilibrium
  • Stackelberg Game
  • Revenue
• 2018

  Action, inaction, and actionability: Definitions and implications for communications and interventions to change behaviors

  Albarracín, D., Sunderrajan, A. & Dai, W., Jan 1 2018, Nebraska Symposium on Motivation. Springer New York LLC, p. 75-99 25 p. (Nebraska Symposium on Motivation; vol. 65).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Persuasive Communication
  • Communication
  • Gift Giving
  • Clergy
  • Aptitude

• Architecture

  Connors, D. A. & Hwu, W. M. W., Jan 1 2018, Mechatronic System Control, Logic, and Data Acquisition. CRC Press, p. 24-1-24-22

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Dialectical thinking and attitudes toward action/inaction beyond East Asia

  Zell, E., Su, R. & Albarracín, D., Jan 18 2018, The Psychological and Cultural Foundations of East Asian Cognition: Contradiction, Change, and Holism. Oxford University Press, p. 595-610 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Far East
  • Japan
  • Guatemala
  • Republic of Korea
  • Hong Kong

• Dynamic data-driven adaptive observations in data assimilation for multi-scale systems

  Yeong, H. C., Beeson, R., Namachchivaya, N. S., Perkowski, N. & Sauer, P. W., Nov 13 2018, Handbook of Dynamic Data Driven Applications Systems. Springer International Publishing, p. 47-73 27 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Dynamical systems
  • Information theory
  • Large scale systems
  • Uncertainty
  • Sensors

• Evolution of temporal multimedia synchronization principles

  Huang, Z., Nahrstedt, K. & Steinmetz, R., Mar 26 2018, MediaSync: Handbook on Multimedia Synchronization. Springer International Publishing, p. 33-71 39 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Synchronization
  • Multimedia systems
  • Patents and inventions
  • Telephone

• HPVM: Heterogeneous Parallel Virtual Machine

  Kotsifakou, M., Srivastava, P., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., Feb 10 2018, ACM SIGPLAN Notices. 1 ed. Association for Computing Machinery, Vol. 53. p. 68-80 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  • Virtual machine
  • Graphics processing unit
  • Scheduling
  • Computer hardware
  • Program processors

• HVAC system modeling and control: Vapor compression system modeling and control

  Rasmussen, B. P., Price, C., Koeln, J., Keating, B. & Alleyne, A., Jan 1 2018, Advances in Industrial Control. 9783319684611 ed. Springer International Publishing, p. 73-103 31 p. (Advances in Industrial Control; no. 9783319684611).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • HVAC
  • Vapors
  • Auxiliary equipment
  • Intelligent buildings
  • Refrigeration

• Multi-zone temperature modeling and control

  Koeln, J., Keating, B., Alleyne, A., Price, C. & Rasmussen, B. P., Jan 1 2018, Advances in Industrial Control. 9783319684611 ed. Springer International Publishing, p. 139-166 28 p. (Advances in Industrial Control; no. 9783319684611).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Temperature
  • Thermal energy
  • Cooling systems
  • Temperature control
  • Heating

• Network games

  Etesami, S. R. & Başar, T., Aug 12 2018, Handbook of Dynamic Game Theory. Springer International Publishing, p. 547-593 47 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Network Games
  • Game
  • Network Formation Games
  • Congestion Games
  • Resource Allocation

• Nonzero-sum differential games

  Başar, T., Haurie, A. & Zaccour, G., Aug 12 2018, Handbook of Dynamic Game Theory. Springer International Publishing, p. 61-110 50 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Nonzero-sum Games
  • Information Structure
  • Solution Concepts
  • Differential Games
  • Closed-form Solution

• Rationally irrational? The ecologies and economics of honor

  Cohen, D., Hernandez, I., Gruschow, K., Nowak, A., Gelfand, M. J. & Borkowski, W., Mar 22 2018, Socio-Economic Environment and Human Psychology: Social, Ecological, and Cultural Perspectives. Oxford University Press, p. 77-102 26 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Social networks

  Bolouki, S., Nedich, A. & Başar, T., Aug 12 2018, Handbook of Dynamic Game Theory. Springer International Publishing, p. 907-949 43 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Social Networks
  • Game
  • Strategic Voting
  • Coalition Formation
  • Social Choice

• Time-regularized and periodic event-triggered control for linear systems

  Borgers, D. P., Dolk, V. S., Dullerud, G. E., Teel, A. R. & Heemels, W. P. M. H., Jan 1 2018, Lecture Notes in Control and Information Sciences. Springer-Verlag Berlin Heidelberg, p. 121-149 29 p. (Lecture Notes in Control and Information Sciences; vol. 475).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • control system
  • event
  • time
  • energy
  • communication

• Understanding Aggressive and Nonaggressive Individual Behaviors in Massively Multiplayer Online Games

  Ahmed, I., Pilny, A. & Poole, M. S., Jul 5 2018, Social Interactions in Virtual Worlds: An Interdisciplinary Perspective. Lakkaraju, K., Sukthankar, G. & Wigand, R. T. (eds.). Cambridge University Press, p. 43-61

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2017

  Achieving multiple objectives with limited resources: Using utility theory and control theory

  Abbas, A. E. & Stipanović, D. M., Jan 1 2017, Improving Homeland Security Decisions. Cambridge University Press, p. 427-444 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Utility Theory
  • Multiple Objectives
  • Control Theory
  • Resources
  • Surveillance

• An introduction to computational social science for organizational communication

  Pilny, A. N. & Poole, M. S., Jul 12 2017, Transformative Practice and Research in Organizational Communication. IGI Global, p. 184-199 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Organizational Communication
  • Social Sciences
  • Big Data
  • Hubris
  • Machine Learning

• A Process Method Approach to Study the Development of Virtual Research Environments: A Theoretical Framework

  Ahmed, I. & Poole, M. S., Sep 14 2017, Learning, Design, and Technology: An International Compendium of Theory, Research, Practice, and Policy. Spector, M. J., Lockee, B. B. & Childress, M. D. (eds.). Springer International Publishing, p. 1-21

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • scientific community
  • networking
  • electronics
  • learning
  • software

• Architecture

  Connors, D. A. & Hwu, W-M. W., Jan 1 2017, Mechatronic System Control, Logic, and Data Acquisition. CRC Press

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Microprocessor chips
  • Computer systems
  • Computer hardware
  • Industry
  • Systems analysis

• Architecture

  Connors, D. A. & Hwu, W. M. W., Jan 1 2017, Mechatronic System Control, Logic, and Data Acquisition. CRC Press

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Microprocessor chips
  • Computer systems
  • Computer hardware
  • Industry
  • Systems analysis

• Converging approaches to automated communications-based assessment of team situation awareness

  Weil, S. A., Foster, P., Freeman, J., Carley, K., Diesner, J., Franz, T., Cooke, N. J., Shope, S. & Gorman, J. C., Jan 1 2017, Macrocognition in Teams: Theories and Methodologies. CRC Press, p. 277-303 27 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Communication
  • Linguistics
  • Language
  • Agglomeration
  • Synchronization

• Countering false beliefs: An analysis of the evidence and recommendations of best practices for the retraction and correction of scientific misinformation

  Chan, M. P. S., Jones, C. & Albarracín, D., Jan 1 2017, The Oxford Handbook of the Science of Science Communication. Oxford University Press, p. 341-350 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Practice Guidelines
  • Communication
  • Decision Trees
  • Meta-Analysis
  • Psychology

• Deployment and Operation

  Hu, Y. C., Klausmann, T., Perrig, A., Reischuk, R. M., Shirley, S., Szalachowski, P. & Ucan, E., Jan 1 2017, Information Security and Cryptography. 9783319670799 ed. Springer International Publishing, p. 191-239 49 p. (Information Security and Cryptography; no. 9783319670799).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Field Research Methods

  Van De Ven, A. H. & Poole, M. S., Oct 23 2017, The Blackwell Companion to Organizations. Baum, J. A. C. (ed.). Blackwell Publishing Ltd., p. 867-888

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • field research
  • research method
  • organizational change
  • Group
  • event

• Fundamentals of detection theory

  Veeravalli, V. V., Jan 1 2017, Mathematical Foundations for Signal Processing, Communications, and Networking. CRC Press, p. 369-410 42 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Image analysis
  • Radar
  • Surveillance
  • Image Analysis
  • Engineering Application

• InfoMax: A transport-layer paradigm for the age of data overload

  Lee, J., Kapoor, A., Al Amin, M. T., Zhang, Z., Goyal, R., Abdelzaher, T., Wang, Z. & Moiseenko, I., Feb 1 2017, Advances in Computer Communications and Networks From Green, Mobile, Pervasive Networking to Big Data Computing. River Publishers, p. 547-584 38 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Sampling
  • Redundancy
  • Semantics
  • Set theory
  • Communication

• Introduction

  Pilny, A. & Poole, M. S., Mar 8 2017, Group Processes: Data-Driven Computational Approaches. Pilny, A. & Poole, M. S. (eds.). Springer, p. 1-4 Chapter 1. (Computational Social Sciences).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Introduction

  Ahn, K. K., Alleyne, A., Bobrow, J. E., Boiko, I., Bu, F., Chen, W., Fales, R., Guan, C., He, W., Jiao, Z., Kaddissi, C., Kelkar, A., Khalil, H. K., Kim, W., Krstic, M., Li, S., Liu, G., Manring, N. D., Milić, V., Moradi, M. & 21 others, Nakkarat, P., Niksefat, N., Pan, H., Pi, Y., Shen, G., Shi, Y., Song, X., Sun, H., Sun, W., Ursu, I., Wang, J., Wang, Q., Wang, S., Wei, J., Won, D., Yang, C., Yao, B., Yao, J., Yu, H., Zhang, S. & Zuo, Z., Jan 1 2017, Nonlinear Control Techniques for Electro-Hydraulic Actuators in Robotics Engineering. CRC Press, p. 1-6 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Actuators
  • Pneumatic actuators
  • Hydraulic actuators
  • Hydraulics
  • Servomechanisms

• K: A semantic framework for programming languages and formal analysis tools

  Rosu, G., Jan 1 2017, Dependable Software Systems Engineering. IOS Press, p. 186-206 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Computer programming languages
  • Semantics

• Name Resolution

  Asoni, D., Hu, Y. C., Reischuk, R. M. & Trammell, B., Jan 1 2017, Information Security and Cryptography. 9783319670799 ed. Springer International Publishing, p. 101-118 18 p. (Information Security and Cryptography; no. 9783319670799).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Internet
  • Time Scales
  • Communication
  • Destination
  • World Wide Web

• New solutions for cross-layer system-level and high-level synthesis

  Zuo, W., Gurumani, S., Rupnow, K. & Chen, D., Apr 19 2017, Emerging Technology and Architecture for Big-data Analytics. Springer International Publishing, p. 103-134 32 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Self-adaptation for individual self-aware computing systems

  Maggio, M., Abdelzaher, T., Esterle, L., Giese, H., Kephart, J. O., Mengshoel, O. J., Papadopoulos, A. V., Robertsson, A. & Wolter, K., Feb 21 2017, Self-Aware Computing Systems. Springer International Publishing, p. 375-399 25 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Self-adaptation in Collective Self-aware Computing Systems

  Kephart, J. O., Diaconescu, A., Giese, H., Robertsson, A., Abdelzaher, T., Lewis, P., Filieri, A., Esterle, L. & Frey, S., Feb 21 2017, Self-Aware Computing Systems. Springer International Publishing, p. 401-435 35 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Self-awareness of cloud applications

  Iosup, A., Zhu, X., Merchant, A., Kalyvianaki, E., Maggio, M., Spinner, S., Abdelzaher, T., Mengshoel, O. & Bouchenak, S., Feb 21 2017, Self-Aware Computing Systems. Springer International Publishing, p. 575-610 36 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Information technology
  • Scheduling
  • Communication

• Sequential Synchronization Analysis

  Murase, T., Poole, M. S., Asencio, R. & Mcdonald, J., Mar 8 2017, Group Processes: Data-Driven Computational Approaches. Pilny, A. & Poole, M. S. (eds.). Springer, p. 119-144 ( Computational Social Sciences).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Synchronization
  • Communication

• Social Network Signal Processing for Cyber-Physical Systems

  Abdelzaher, T., Wang, S., Giridhar, P., Amin, T. A., Seetharamu, P., Roy, H., Wang, H., Kaplan, L., Bowman, E. & George, J., Jan 1 2017, Cyber-Physical Systems: Foundations, Principles and Applications. Elsevier Inc., p. 161-174 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Cyber Physical System
  • Signal processing
  • Acoustics

• Test bed for evaluation of power grid cyber-infrastructure

  Bergman, D. C. & Nicol, D. M., Jan 1 2017, Real-Time Simulation Technologies: Principles, Methodologies, and Applications. CRC Press, p. 349-370 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2016

  A double-sided jamming game with resource constraints

  Bhattacharya, S., Khanafer, A. & Başar, T., Jan 1 2016, Annals of the International Society of Dynamic Games. Birkhauser, p. 209-227 19 p. (Annals of the International Society of Dynamic Games; vol. 14).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Jamming
  • Resource Constraints
  • Power Allocation
  • Game
  • Power and Energy

• An experimental evaluation of datacenter workloads on low-power embedded micro servers

  Zhao, Y., Li, S., Hu, S., Wang, H., Yao, S., Shao, H. & Abdelzaher, T., 2016, Proceedings of the VLDB Endowment. 9 ed. Association for Computing Machinery, p. 696-707 12 p. (Proceedings of the VLDB Endowment; vol. 9, no. 9).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Servers
  • Web services
  • Scalability
  • Energy efficiency
  • Wearable technology

• Architecture

  Connors, D. A. & Hwu, W. M. W., Apr 19 2016, The VLSI Handbook: Second Edition. CRC Press, p. 66.1-66.23

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• A survey of recommendation systems in electronic commerce

  Wei, C. P., Shaw, M. J. & Easley, R. F., Sep 16 2016, E-Service: New Directions in Theory and Practice. Taylor and Francis, p. 168-199 32 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• A systems framework for health care team communication

  Real, K. & Poole, M. S., Jan 1 2016, Organizations, Communication, and Health. Harrison, T. R. & Williams, E. A. (eds.). Taylor and Francis, p. 49-64 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• A zero-sum game between the network designer and an adversary in consensus protocols

  El Chamie, M. & Başar, T., Jan 1 2016, Annals of the International Society of Dynamic Games. Birkhauser, p. 117-137 21 p. (Annals of the International Society of Dynamic Games; vol. 14).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Zero-sum Game
  • Zero sum game
  • Designer
  • Optimal Control
  • Mixed Strategy

• Compiler Technology

  Chung, W. H. J., Lyu, Y. H., Sung, I. J. R., Lee, Y. W. & Hwu, W. M. W., 2016, Heterogeneous System Architecture: A New Compute Platform Infrastructure. Elsevier Inc., p. 97-129 33 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Data storage equipment
  • Parallel programming
  • Graphics processing unit
  • Computer programming languages
  • Program processors

• Efficient direct mining of selective discriminative patterns for classification

  Cheng, H., Han, J., Yan, X. & Yu, P. S., Apr 19 2016, Contrast Data Mining: Concepts, Algorithms, and Applications. CRC Press, p. 39-58 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter