Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
90991 - 91000 out of 98,580Page size: 10
Sort by: Type
  1. Chapter
  2. Published

    Correctness properties for multiagent systems

    Singh, M. P. & Chopra, A. K., 2009, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Baldoni, M., Bentahar, J., Riemsdijk, M. B. V. & Lloyd, J. (eds.). Berlin: Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 5948).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    Map-based design for autonomic wireless sensor networks

    Khelil, A., Shaikh, F. K., Szczytowski, P., Ayari, B. & Suri, N., 2009, Autonomic Communication. Tsinghua University Press & Springer-Verlag, p. 309-326 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  4. Published

    INcreasing security and protection through infrastructure REsilience: The INSPIRE project

    D'Antonio, S., Romano, L., Khelil, A. & Suri, N., 2009, Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers. Springer, Vol. 5508 LNCS. p. 109-118 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  5. Published

    Role-based symmetry reduction of fault-tolerant distributed protocols with language support

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  6. Published

    Abortable fork-linearizable storage

    Majuntke, M., Dobre, D., Serafini, M. & Suri, N., 2009, Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, Vol. 5923 LNCS. p. 255-269 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  7. Published

    Efficient robust storage using secret tokens

    Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 2009, Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer, Vol. 5873 LNCS. p. 269-283 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  8. Published

    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    The value of stories in understanding the past and shaping the future in merged organizations

    Cartwright, S. & Magni, L., 2009, Advances in Mergers and Acquisitions. Cooper, C. L. & Finkelstein, S. (eds.). Emerald, Vol. 8. p. 43-60 17 p. (Advances in mergers and acquisitions; vol. 8).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  10. Published

    Advances in Video Summarization and Skimming

    Jiang, R. M., Sadka, A. H. & Crookes, D., 2009, Recent Advances in Multimedia Signal Processing and Communications. Springer, p. 27-50 24 p. ( Studies in Computational Intelligence ; vol. 231).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  11. Published

    Lune: dancing as land surveying

    Stewart, N., 2009, Practice-as-research in performance and screen. Fuschini, L. A., Jones, S., Kershaw, B. & Piccini, A. (eds.). Basingstoke: Palgrave

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Previous 1...9096 9097 9098 9099 9100 9101 9102 9103 ...9858 Next

Back to top