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

    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

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

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

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

  5. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: Thesis › Doctoral Thesis

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  89. Published

    Corecursion for Compositional Verification

    Caminati, M. B. & Kerber, M., 14/01/2016

    Research output: Other contribution

  90. Published

    Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 15/06/2015, Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15). ACM, p. 547-564

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

  91. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

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

  92. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

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

  93. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

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

  94. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

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

  95. Published

    A contribution to an Auction Theory Toolbox through code and discussion

    Caminati, M. B., 30/04/2013, 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB).

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

  96. Published

    VCG-combinatorial Vickrey-clarke-groves auctions

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 30/04/2015, In: Archive of Formal Proofs.

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

  97. Published

    Vickrey-clarke-groves (vcg) auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 2015, In: College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA.

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

  98. Published

    Custom automations in Mizar

    Caminati, M. B. & Rosolini, G., 1/11/2012, In: Journal of Automated Reasoning. 50, p. 147–160

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

  99. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paper › Preprint

  100. Published

    A simplified framework for first-order languages and its formalization in Mizar

    Caminati, M. B., 19/05/2012

    Research output: Thesis › Doctoral Thesis

Previous 1 2 3 Next

Back to top