Home > Research Search

Research

Search for research

761 - 770 out of 9,497Page size: 10
Sort by: Rating
  1. Published

    Adaptation in open systems: giving interaction its rightful place

    Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Published

    Modeling and reasoning about service-oriented applications via goals and commitments

    Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Pernici, B. (ed.). Berlin: Springer, p. 113-128 16 p. (Lecture Notes in Computer Science; vol. 6051).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Local Wayfinding Decisions in a Complex Real-World Building

    Jazuk, K., Gubler, G.-L., Mavros, P., Conroy-Dalton, R. & Hölscher, C., 25/08/2020, Spatial Cognition XII: 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings. Latvia: Springer-Verlag, Vol. 2020. p. 122-125 4 p. (Lecture Notes in Computer Science ; vol. 12162).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Solving the distributed two machine flow-shop scheduling problem using differential evolution

    Dempster, P., Li, P. & Drake, J. H., 1/08/2017, Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I. Tan, Y., Tagaki, H. & Shi, Y. (eds.). Cham: Springer, p. 449-457 9 p. (Lecture Notes in Computer Science; vol. 10385).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    On Demand Network Level Service Deployment in Ad-Hoc Networks

    Prince, D., Scott, A. & Shepherd, W., 09/2003, Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. Conti, M., Giordano, S., Gregori, E. & Olariu, S. (eds.). Berlin: Springer, p. 817-822 6 p. (Lecture Notes in Computer Science; vol. 2775).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres

    Hilscher, M., Linker, S., Olderog, E.-R. & Ravn, A. P., 2011, Formal Methods and Software Engineering: Proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011. Qin, S. & Qiu, Z. (eds.). Berlin: Springer, p. 404-419 16 p. (Lecture Notes in Computer Science; vol. 6991).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 11/10/2018, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham: Springer, p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Finite Models for a Spatial Logic with Discrete and Topological Path Operators

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 5/09/2017, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 224–239 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  10. Published

    Synthesizing Controllers for Multi-lane Traffic Maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E.-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...73 74 75 76 77 78 79 80 ...950 Next