Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

101 - 200 out of 290Page size: 100
RSS feed of this list
  1. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  2. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  3. Published

    Automated Planning and BDI Agents: A Case Study

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 25/09/2021, Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Dignum, F., Corchado, J. M. & Prieta, F. D. L. (eds.). Cham: Springer, p. 52-63 12 p. (Lecture Notes in Computer Science ; vol. 12946).

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

  4. Published

    MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

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

  5. Published

    LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 23/09/2020, The Multi-Agent Programming Contest 2019: Agents Assemble – Block by Block to Victory. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Cham: Springer, p. 31-58 28 p. (Lecture Notes in Computer Science ; vol. 12381).

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

  6. Published

    Common inventory modeling assumptions that fall short: Arborescent networks, Poisson demand, and single-echelon approximations

    Cattani, K. D., Jacobs, F. R. & Schoenfelder, J., 1/07/2011, In: Journal of Operations Management. 29, 5, p. 488-499 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Giving notice to employability: Editorial

    Chertkovskaya, E., Watt, P., Tramer, S. & Spoelstra, S., 11/2013, In: Ephemera. 13, 4, p. 701-716 16 p.

    Research output: Contribution to Journal/Magazine › Editorial › peer-review

  8. Published

    Against idle complicity: Challenging the employability agenda in teaching and daily academic life

    Chertkovskaya, E. & Watt, P., 24/04/2017, The Corporatization of the Business School: Minerva Meets the Market. Huzzard, T., Benner, M. & Kärreman, D. (eds.). London: Routledge

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

  9. Published

    What killed Moritz Erhardt? internships and the cultural dangers of “positive” ideas

    Costea, B., Watt, P. & Amiridis, K., 2015, In: tripleC: Communication, Capitalism and Critique. 13, 2, p. 375-389 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    The Financial Impact of ISO 14001 Certification: Top-Line, Bottom-Line, or Both?

    de Jong, P., Paulraj, A. & Blome, C., 31/01/2014, In: Journal of Business Ethics. 119, 1, p. 131-149 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    AutomotiveUI 2010 - 2nd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Conference Proceedings: Preface

    Dey, A. K., Schmidt, A., Boll, S., Kun, A. L. & Asif, A., 2010, In: AutomotiveUI 2010 - 2nd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Conference Proceedings. p. i-ii

    Research output: Contribution to Journal/Magazine › Editorial › peer-review

  12. Published

    Facilitating artificial intelligence powered supply chain analytics through alliance management during the pandemic crises in the B2B context

    Dubey, R., Bryde, D. J., Blome, C., Roubaud, D. & Giannakis, M., 1/07/2021, In: Industrial Marketing Management. 96, p. 135-146 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  13. Published

    Swift trust and commitment: The missing links for humanitarian supply chain coordination?

    Dubey, R., Altay, N. & Blome, C., 1/12/2019, In: Ann. Oper. Res.. 283, 1-2, p. 159-177 19 p., 1-2.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  14. Published

    Antecedents of Resilient Supply Chains: An Empirical Study.

    Dubey, R., Gunasekaran, A., Childe, S. J., Papadopoulos, T., Blome, C. & Luo, Z., 1/02/2019, In: IEEE Trans. Engineering Management. 66, 1, p. 8-19 12 p., 7994695.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Supply chain agility, adaptability and alignment: Empirical evidence from the Indian auto components industry

    Dubey, R., Altay, N., Gunasekaran, A., Blome, C., Papadopoulos, T. & Childe, S. J., 2/01/2018, In: International Journal of Operations and Production Management. 38, 1, p. 129-148 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Big Data and Predictive Analytics and Manufacturing Performance: Integrating Institutional Theory, Resource-Based View and Big Data Culture

    Dubey, R., Gunasekaran, A., Childe, S. J., Blome, C. & Papadopoulos, T., 30/04/2019, In: British Journal of Management. 30, 2, p. 341-361 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Published

    The performance impact of supply chain agility and supply chain adaptability: The moderating effect of product complexity

    Eckstein, D., Goellner, M., Blome, C. & Henke, M., 31/05/2015, In: International Journal of Production Research. 53, 10, p. 3028-3046 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  18. Published

    State of the art in physician scheduling

    Erhard, M., Schoenfelder, J., Fügener, A. & Brunner, J. O., 16/02/2018, In: European Journal of Operational Research. 265, 1, p. 1-18

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  19. Published

    Location Analysis for Arabic COVID-19 Twitter Data Using Enhanced Dialect Identification Models

    Essam, N., Moussa, A. M., Elsayed, K. M., Abdou, S., Rashwan, M., Khatoon, S., Hasan, M. M., Asif, A. & Alshamari, M. A., 30/11/2021, In: Applied Sciences (Switzerland). 11, 23, 12 p., 11328.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  20. Published

    Syspect: Modelling, specifying, and verifying real-time systems with rich data.

    Faber, J., Linker, S., Quesel, J.-D. & Olderog, E.-R., 2011, In: International Journal of Software and Informatics. 5, 1-2, p. 117-137 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  21. Published

    Engineering Blockchain-based Software Systems: Foundations, Survey, and Future Directions

    Fahmideh, M., Grundy, J., Ahmad, A., Shen, J., Yan, J., Mougouei, D., Wang, P., Ghose, A., Gunawardana, A., Aickelin, U. & Abedin, B., 30/06/2023, In: ACM Computing Surveys. 55, 6, p. 110:1-110:44 44 p., 110.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    A comprehensive framework for analyzing iot platforms: A smart city industrial experience

    Fahmideh, M., Yan, J., Shen, J., Mougouei, D., Zhai, Y. & Ahmad, A., 28/04/2021, In: Smart Cities. 4, 2, p. 588-622 35 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. Published

    StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms

    Ferrando, A. & Papacchini, F., 10/03/2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Cham: Springer, p. 114-136 23 p. (Lecture Notes in Computer Science; vol. 13190).

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

  24. Published

    Bridging the gap between single- and multi-model predictive runtime verification

    Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    An Overview of Verification and Validation Challenges for Inspection Robots

    Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M. T., 29/04/2021, In: Robotics. 10, 2, 29 p., 67.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  26. Published

    Supply market orientation: a dynamic capability of the purchasing and supply management function

    Foerstl, K., Kähkönen, A. K., Blome, C. & Goellner, M., 4/01/2021, In: Supply Chain Management. 26, 1, p. 65-83 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  27. Published

    Managing supplier sustainability risks in a dynamically changing environment-Sustainable supplier management in the chemical industry

    Foerstl, K., Reuter, C., Hartmann, E. & Blome, C., 30/06/2010, In: Journal of Purchasing and Supply Management. 16, 2, p. 118-130 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  28. Published

    Towards a Supply Risk Management Capability Process Model: An Analysis of What Constitutes Excellence in Supply Risk Management Across Different Industry Sectors

    Foerstl, K., Blome, C., Henke, M. & Schoenherr, T., 20/05/2011, QUANTITATIVE FINANCIAL RISK MANAGEMENT. Springer, p. 265-280 16 p.

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

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

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

  31. Published

    Designing servicescapes for transformative service conversations: lessons from mental health services

    Gopaldas, A., Siebert, A. & Ertimur, B., 19/08/2022, In: Journal of Consumer Marketing. 36, 6, p. 649-659 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  32. Published

    Service conversation: advisory, relational and transformative approaches

    Gopaldas, A., Carnevale, M., Kedzior, R. & Siebert, A., 26/11/2021, In: Journal of Services Marketing. 35, 8, p. 988-999 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  33. Published

    What You're Getting Wrong About Customer Journeys

    Gopaldas, A. & Siebert, A., 1/07/2022, In: Harvard Business Review. 100, 4, p. 92-99 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  34. Published

    Women over 40, foreigners of color, and other missing persons in globalizing mediascapes: understanding marketing images as mirrors of intersectionality

    Gopaldas, A. & Siebert, A., 31/08/2018, In: Consumption, Markets and Culture. 21, 4, p. 323-346 24 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  35. Published

    Antecedents of proactive supply chain risk management - A contingency theory perspective

    Grötsch, V. M., Blome, C. & Schleper, M. C., 31/05/2013, In: International Journal of Production Research. 51, 10, p. 2842-2867 26 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  36. Published

    Dynamic gate configurations at airports: A network optimization approach

    Hagspihl, T., Kolisch, R., Ruf, C. & Schiffels, S., 16/09/2022, In: European Journal of Operational Research. 301, 3, p. 1133-1148 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  37. Published

    Private Equity Investments and Value Creation in Small and Medium-Sized Enterprises

    Hammer, B., Härtel, N., Naiem, S. & Schwetzler, B., 31/07/2022, Modern Finance and Risk Management: Festschrift in Honour of Hermann Locarek-Junge. Klein, T., Loßagk, S., Straßberger , M. & Walther, T. (eds.). Singapore: World Scientific Publishing Co., Vol. 4. p. 137-170 34 p. (Transformations in Banking, Finance and Regulation; vol. 4).

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

  38. Published

    Pricing and value creation in private equity-backed buy-and-build strategies

    Hammer, B., Marcotty-Dehm, N., Schweizer, D. & Schwetzler, B., 31/12/2022, In: Journal of Corporate Finance. 77, 28 p., 102285.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  39. Published

    Management Buyouts in Times of Economic Policy Uncertainty

    Hammer, B., Mettner, S., Schweizer, D. & Wünsche, N., 31/03/2023, In: Finance Research Letters. 52, 8 p., 103499.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  40. Published

    Mobile Edge Provision with Flexible Deployment

    Hao, P., Hu, L., Jiang, J., Hu, J. & Che, X., 30/09/2019, In: IEEE Transactions on Services Computing. 12, 5, p. 750-761 12 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  41. Published

    Tactical scheduling of surgeries to level bed utilization in the intensive care unit

    Heider, S., Schoenfelder, J., McRae, S., Koperna, T. & Brunner, J. O., 20/07/2020, In: IISE Transactions on Healthcare Systems Engineering. 10, 4, p. 229-242 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  42. Published

    Balancing control and autonomy in master surgery scheduling: Benefits of ICU quotas for recovery units

    Heider, S., Schoenfelder, J., Koperna, T. & Brunner, J. O., 9/02/2022, In: Health Care Management Science. 25, p. 311-332 22 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  43. Published

    A Scalable Forecasting Framework to Predict COVID-19 Hospital Bed Occupancy

    Heins, J., Schoenfelder, J., Heider, S., Heller, A. R. & Brunner, J. O., 30/11/2022, In: INFORMS Journal on Applied Analytics. 52, 6, p. 508-523 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  44. Published

    A national initiative in data science for health: an evaluation of the UK Farr Institute

    Hemingway, H., Lyons, R., Li, Q., Buchan, I., Ainsworth, J., Pell, J., Morris, A., Barnes, M. R., Bedford, H., Bennie, M., others, 1. & Caminati, M., 8/04/2020, In: International Journal of Population Data Science. 5, 1, 32935051.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  45. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 31/05/2020, In: ACM Transactions on Computational Logic (TOCL). 21, 3, 47 p., 20.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  46. Published

    Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying

    Hernich, A., Papacchini, F., Lutz, C. & Wolter, F., 13/07/2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. IJCAI, p. 1861-1867 7 p.

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

  47. Published

    Horn Rewritability vs PTime Query Answering for Description Logic TBoxes

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 2017, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.

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

  48. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 2017, Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017.

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

  49. Published

    The New York Times as a Resource for Mode 2

    Hicks, D. & Wang, J., 30/11/2013, In: Science Technology and Human Values. 38, 6, p. 851-877 27 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  50. Published

    Coverage and overlap of the new social sciences and humanities journal lists

    Hicks, D. & Wang, J., 28/02/2011, In: Journal of The American Society for Information Science and Technology. 62, 2, p. 284-294 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  51. Published

    Proving safety of traffic manoeuvres on country roads

    Hilscher, M., Linker, S. & Olderog, E.-R., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 196-212 17 p. (Lecture Notes in Computer Science; vol. 8051).

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

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

  53. Published

    Case mix planning in hospitals: a review and future agenda

    Hof, S., Fügener, A., Schoenfelder, J. & Brunner, J. O., 1/06/2017, In: Health Care Management Science. 20, p. 207-220 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  54. Published

    Supply chain collaboration and eco-innovations: An institutional perspective from China

    Hofman, P. S., Blome, C., Schleper, M. C. & Subramanian, N., 1/09/2020, In: Business Strategy and the Environment. 29, 6, p. 2734-2754 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  55. Published

    Conflict Minerals and Supply Chain Due Diligence: An Exploratory Study of Multi-tier Supply Chains

    Hofmann, H., Schleper, M. C. & Blome, C., 1/01/2018, In: Journal of Business Ethics. 147, 1, p. 115-141 27 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  56. Published

    Does sustainable supplier co-operation affect performance? Examining implications for the triple bottom line

    Hollos, D., Blome, C. & Foerstl, K., 15/06/2012, In: International Journal of Production Research. 50, 11, p. 2968-2986 19 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  57. Published

    A Dynamic Service Trading in a DLT-Assisted Industrial IoT Marketplace

    Hu, J., Reed, M., Thomos, N., Al-Naday, M. F. & Yang, K., 1/12/2022, In: IEEE Transactions on Network and Service Management. 19, 4, p. 4691-4705 15 p., 4.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  58. Published

    Reward-Aided Sensing Task Execution in Mobile Crowdsensing Enabled by Energy Harvesting

    Hu, J., Yang, K., Hu, L. & Wang, K., 25/07/2018, In: IEEE Access. 6, p. 37604-37614 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  59. Published

    Securing SDN-Controlled IoT Networks Through Edge Blockchain

    Hu, J., Reed, M. J., Thomos, N., Al-Naday, M. F. & Yang, K., 15/02/2021, In: IEEE Internet of Things Journal. 8, 4, p. 2102-2115 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  60. Published

    Hybrid Blockchain for IoT - Energy Analysis and Reward Plan.

    Hu, J., Reed, M. J., Al-Naday, M. F. & Thomos, N., 5/01/2021, In: Sensors. 21, 1, 305.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  61. Published

    A Blockchain-Based Reward Mechanism for Mobile Crowdsensing.

    Hu, J., Yang, K., Wang, K. & Zhang, K., 28/02/2020, In: IEEE Transactions on Computational Social Systems. 7, 1, p. 178-191 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  62. Published

    Blockchain-Aided Flow Insertion and Verification in Software Defined Networks.

    Hu, J., Reed, M. J., Al-Naday, M. F. & Thomos, N., 06/2020, p. 1-6. 6 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  63. Published

    False positive elimination in intrusion detection based on clustering

    Hu, L., Li, T., Xie, N. & Hu, J., 2015, 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD). IEEE, p. 519-523 5 p.

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

  64. Published

    Towards an integrated conceptual framework of supply chain finance: An information processing perspective

    Jia, F., Blome, C., Sun, H., Yang, Y. & Zhi, B., 1/01/2020, In: International Journal of Production Economics. 219, p. 18-30 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  65. Published

    Achieving sustainability in global sourcing: towards a conceptual framework

    Jiang, Y., Jia, F., Blome, C. & Chen, L., 16/01/2020, In: Supply Chain Management. 25, 1, p. 35-60 26 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  66. Published

    Q-FDBA: improving QoE fairness for video streaming.

    Jiang, J., Hu, L., Hao, P., Sun, R., Hu, J. & Li, H., 31/05/2018, In: Multimedia Tools and Applications. 77, 9, p. 10787-10806 20 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  67. Published

    Digital technology adoption for modern slavery risk mitigation in supply chains: An institutional perspective

    Jiang, M., Chen, L., Blome, C. & Jia, F., 31/07/2023, In: Technological Forecasting and Social Change. 192, 122595.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  68. Published

    Model Comparison Games for Horn Description Logics

    Jung, J. C., Papacchini, F., Wolter, F. & Zakharyaschev, M., 5/08/2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.

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

  69. Published

    Model Comparison Games for Horn Description Logics: A Summary

    Jung, J. C., Papacchini, F., Wolter, F. & Zakharyaschev, M., 2019, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Vol. 2373. (CEUR Workshop Proceedings).

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

  70. Published

    Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time: Formal Techniques for Safety-Critical Systems. FTSCS 2018

    Kamali, M., Linker, S. & Fisher, M., 2/02/2019, Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Artho, C. & Ölveczky , P. C. (eds.). Cham: Springer, p. 18-36 19 p. (Communications in Computer and Information Science; vol. 1008).

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

  71. Published

    AI Ethics: An Empirical Study on the Views of Practitioners and Lawmakers

    Khan, A. A., Akbar, M. A., Fahmideh, M., Liang, P., Waseem, M., Ahmad, A., Niazi, M. & Abrahamsson, P., 1/12/2023, In: IEEE Transactions on Computational Social Systems. 10, 6, p. 2971-2984 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  72. Published

    Software architecture for quantum computing systems — A systematic review

    Khan, A. A., Ahmad, A., Waseem, M., Liang, P., Fahmideh, M., Mikkonen, T. & Abrahamsson, P., 31/07/2023, In: Journal of Systems and Software. 201, 29 p., 11182.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  73. Published

    Social Media-Based Intelligence for Disaster Response and Management in Smart Cities

    Khatoon, S., Asif, A., Hasan, M. M. & Alshamari, M., 9/01/2022, Springer Optimization and Its Applications. London: Springer, p. 211-235 25 p. (Springer Optimization and Its Applications; vol. 186).

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

  74. Published

    Development of social media analytics system for emergency event detection and crisismanagement

    Khatoon, S., Alshamari, M. A., Asif, A., Hasan, M. M., Abdou, S., Elsayed, K. M. & Rashwan, M., 6/05/2021, In: Computers, Materials and Continua. 68, 3, p. 3079-3100 22 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  75. Published

    Image-based automatic diagnostic system for tomato plants using deep learning

    Khatoon, S., Hasan, M. M., Asif, A., Alshmari, M. & Yap, Y. K., 12/01/2021, In: Computers, Materials and Continua. 67, 1, p. 595-612 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  76. Published

    The use of Data Envelopment Analysis (DEA) in healthcare with a focus on hospitals

    Kohl, S., Schoenfelder, J., Fügener, A. & Brunner, J. O., 15/06/2019, In: Health Care Management Science. 22, 2, p. 245-286 42 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  77. Published

    Operations adding value to society

    Kovács, G., Kuula, M., Seuring, S. & Blome, C., 30/11/2020, In: International Journal of Operations and Production Management. 40, 9, p. 1293-1300 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  78. Published

    A qualitative comparison of the suitability of four theorem provers for basic auction theory

    Lange, C., Caminati, M. B., Kerber, M., Mossakowski, T., Rowat, C., Wenzel, M. & Windsteiger, W., 1/07/2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6. Springer, Vol. 7961. p. 200-215

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

  79. Published

    Auction Theory Toolbox

    Lange, C., Rowat, C., Kerber, M., Wenzel, M., Caminati, M., Mossakowski, T. & Windsteiger, W., 2013

    Research output: Exhibits, objects and web-based outputs › Software

  80. Published

    Creativity in scientific teams: Unpacking novelty and impact

    Lee, Y. N., Walsh, J. P. & Wang, J., 1/04/2015, In: Research Policy. 44, 3, p. 684-697 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  81. Published

    Formalising Sensor Topologies for Target Counting

    Linker, S. & Sevegnani, M., 6/02/2018, First Workshop on Architectures, Languages and Paradigms for IoT. p. 43-57

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

  82. Published

    Sequent Calculus for Euler Diagrams

    Linker, S., 18/06/2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Cham: Springer, p. 399-407 9 p. (Lecture Notes in Computer Science; vol. 10871).

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

  83. Published

    Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL

    Linker, S., 20/09/2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Cham: Springer, p. 34-49 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  84. Published

    Measuring User Comprehension of Inference Rules in Euler Diagrams

    Linker, S., Burton, J. & Blake, A., 10/08/2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). Cham: Springer, p. 32-39 8 p. (Lecture Notes in Computer Science; vol. 9781).

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

  85. Published

    Tactical Diagrammatic Reasoning

    Linker, S., Burton, J. & Jamnik, M., 25/01/2017, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers UITP 2016. Autexier, S. & Quaresma, P. (eds.). EPTCS, p. 29-42 14 p. (EPTCS; vol. 239).

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

  86. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 18/08/2015, In: Logical Methods in Computer Science. 11, 3, 27 p., 4.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  87. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: Thesis › Doctoral Thesis

  88. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 2013, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).

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

  89. Published

    Translating Structural Process Properties to Petri Net Markings

    Linker, S., 2/08/2012, 2012 12th International Conference on Application of Concurrency to System Design. IEEE, 10 p.

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

  90. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  91. Published

    Diagrammatic specification of mobile real-time systems

    Linker, S., 2010, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Goel, A. K., Jamnik, M. & Narayanan, N. H. (eds.). Berlin: Springer, p. 316-318 3 p. (Lecture Notes in Computer Science; vol. 6170).

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

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

  93. Published

    Supply chain integration capabilities, green design strategy and performance: a comparative study in the auto industry

    Liu, Y., Blome, C., Sanderson, J. & Paulraj, A., 17/10/2018, In: Supply Chain Management. 23, 5, p. 431-443 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  94. Published

    Supply chain evolution – theory, concepts and science

    MacCarthy, B. L., Blome, C., Olhager, J., Srai, J. S. & Zhao, X., 5/12/2016, In: International Journal of Operations and Production Management. 36, 12, p. 1696-1718 23 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  95. Published

    Financial and market impacts of buyer-supplier sustainability asymmetries: Empirical evidence from sensitive industries

    Montes-Sancho, M. J., Tachizawa, E. M. & Blome, C., 10/10/2022, In: Journal of Cleaner Production. 370, 12 p., 133256.

    Research output: Contribution to Journal/Magazine › Review article › peer-review

  96. Published

    Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. B. & Bowles, J., 31/07/2018, University of St Andrews.

    Research output: Other contribution

  97. Published

    Re-visiting collaborative behavior in supply networks – structural embeddedness and the influence of contextual changes and sanctions

    Nair, A., Blome, C., Choi, T. Y. & Lee, G., 31/03/2018, In: Journal of Purchasing and Supply Management. 24, 2, p. 135-150 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  98. Published

    Local Reductions for the Modal Cube

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

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

  99. Published

    Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 2/09/2023, Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham: Springer, p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).

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

  100. Published

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).

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

Previous 1 2 3 Next

Back to top