Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
92081 - 92090 out of 99,691Page size: 10
Sort by: Type
  1. Chapter
  2. 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

  3. 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

  4. 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

  5. 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

  6. Published

    Making sense of IS Failures

    Dalcher, D., 2009, Encyclopedia of Information Science and Technology. Idea Group Publishing, Vol. 5. p. 2476-2483 8 p.

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

  7. Published

    The age-metallicity relation of the SMC

    Kayser, A., Grebel, E. K., Harbeck, D., Cole, A. A., Koch, A., Gallagher III, J. S. & Da Costa, G., 2009, Globular Clusters: Guides to Galaxies. Richtler, T. & Larsen, S. (eds.). Springer, p. 157-160 4 p. (Eso Astrophysics Symposia).

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

  8. Published

    Young star clusters in the SMC

    Glatt, K., Grebel, E. K. & Koch, A., 2009, Globular Clusters: Guides to Galaxies. Richtler, T. & Larsen, S. (eds.). Springer, p. 119-120 2 p. (Eso Astrophysics Symposia).

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

  9. Published

    Dr. Franz Riedweg and the Enforcement of Non-German 'Germanic Civilians' to SS Standards during the Second World War

    Wyss, M., 2009, Military Conflicts and Civil Populations: Total Wars, Limited Wars, Asymmetric Wars. Paesano, M. (ed.). Rome: Ministero della Difesa / Commissione Italiana di Storia Militare, p. 448-458 11 p.

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

  10. Published

    A mobile healthcare system using IMS and the HL7 framework

    Nikolidakis, S., Giotsas, V., Vergados, D. & Douligeris, C., 2009, ANCS '09 Proceedings of the 5th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. New York: ACM Press, p. 187-188 2 p.

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

  11. Published

    Intonational Variation in Swiss German

    Leemann, A., 2009, Language variation. European perspectives II: selected papers from the 4th International Conference on Language Variation in Europe (ICLAVE 4), Nicosia, June 2007. Tsiplakou, S., Karyolemou, M. & Pavlou, P. Y. (eds.). Philadelphia: John Benjamins Publishing Company, p. 135-143 9 p. (Studies in language variation; vol. 5).

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

Previous 1...9205 9206 9207 9208 9209 9210 9211 9212 ...9970 Next

Back to top