Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 100 out of 290Page size: 100
RSS feed of this list
Sort by: Type
  1. Chapter (peer-reviewed)
  2. Published

    Constructivist Machine Learning

    Schmid, T., 31/08/2023, Compendium of Neurosymbolic Artificial Intelligence. Hitzler, P., Sarker, M. K. & Eberhart, A. (eds.). IOS Press, (Frontiers in Artificial Intelligence and Applications).

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

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

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

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

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

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

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

  9. Published

    How non-Western consumers negotiate competing ideologies of sharing through the consumption of digital technology

    Siebert, A., 7/05/2013, The Routledge Companion to Digital Consumption. Belk, R. & Llamas, R. (eds.). New York, NY: Routledge, p. 137-147 11 p. (The Routledge Companion to Digital Consumption).

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

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

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

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

  14. Published

    Leadership Development

    Watt, P., Gold, J. & Boak, G., 28/02/2020, Organizational Leadership. Bratton, J. (ed.). London: Sage

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

  15. Published

    Balancing prescriptions with constraint solvers

    Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.

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

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

  17. Published

    How IT can enable sustainability throughout supply chains

    Berg, C., Blome, C. & Hack, S., 31/01/2014, Beyond Sustaianbility. Scholz, C. & Zentes, J. (eds.). Nomos, p. 183-201 19 p.

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

  18. Published

    A comparative study of financial and operational measures in the automotive industry

    Blome, C., Groetsch, V., Henke, M. & Tang, C. S., 31/10/2011, Handbook for supply chain risk management : case studies, effective practices, and emerging trends. Khan, O. & Zsidisin, G. A. (eds.). J. Ross Publishing, p. 153-162 10 p.

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

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

  20. Published

    Gap Analysis of Ontology Mapping Tools and Techniques

    Anjum, N., 2010, Enterprise Interoperability IV. Springer

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

  21. Published

    Single versus multiple sourcing: A supply risk management perspective

    Blome, C. & Henke, M., 1/01/2009, International Series in Operations Research and Management Science. 1 ed. Springer, p. 125-135 11 p.

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

  22. Conference contribution/Paper
  23. 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

  24. Published

    Automated Identification of Performance Changes at Code Level

    Reichelt, D. G., Kühne, S. & Hasselbring, W., 20/03/2023, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022. IEEE, p. 916-925 10 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS; vol. 2022-December).

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

  25. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

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

  26. Published

    Embracing Iterations in Quantum Software: A Vision

    Ali Khan, A., Fehmideh, M., Ahmad, A., Waseem, M., Niazi, M., Lahtinen, V. & Mikkonen, T., 10/11/2022, QP4SE 2022: Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering. New York: ACM, p. 11-14 4 p. (QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022).

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

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

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

  29. Published

    An overview of ontologies and tool support for COVID-19 analytics

    Ahmad, A., Bandara, M., Fahmideh, M., Proper, H. A., Guizzardi, G. & Soar, J., 1/12/2021, 2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE, 8 p.

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

  30. Published

    A Decision Model for Selecting Patterns and Strategies to Decompose Applications into Microservices

    Waseem, M., Liang, P., Márquez, G., Shahin, M., Khan, A. A. & Ahmad, A., 22/11/2021, Service-Oriented Computing : 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings. Cham: Springer, p. 850-858 9 p. (Lecture Notes in Computer Science; vol. 13121).

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

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

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

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

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

  35. Published

    Correct pronunciation detection for classical Arabic phonemes using deep learning

    Alqadheeb, F., Asif, A. & Ahmad, H. F., 24/05/2021, 2021 International Conference of Women in Data Science at Taif University, WiDSTaif 2021. IEEE, 9430236. (2021 International Conference of Women in Data Science at Taif University, WiDSTaif 2021).

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

  36. Published

    Overhead Comparison of OpenTelemetry, inspectIT and Kieker.

    Reichelt, D. G., Kühne, S. & Hasselbring, W., 2021, SSP. CEUR Workshop Proceedings, (CEUR Workshop Proceedings; vol. 3043).

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

  37. Published

    Testselektion für Performanzregressionsbenchmarks in CI-Prozessen.

    Reichelt, D. G., Kühne, S. & Hasselbring, W., 2021, GI-Jahrestagung. p. 1819-1824 6 p.

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

  38. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

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

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

  41. Published

    Towards an Infrastructure for Energy Model Computation and Linkage.

    Reichelt, D. G., Kühne, S., Scheller, F., Abitz, D. & Johanning, S., 2020, GI-Jahrestagung. p. 225-235 11 p.

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

  42. Published

    Driving NPD performance in high-tech SMEs through IT ambidexterity: Unveiling the influence of leadership decision-making styles

    Tahir Abbas, S., Constantin, B. & Thanos, P., 2020, 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019. vom Brocke, J., Gregor, S. & Muller, O. (eds.). Association for Information Systems, (27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019).

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

  43. Published

    An integrated approach to a combinatorial optimisation problem

    Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382

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

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

  45. Published

    Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

    Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M., Papacchini, F. & Ferrando, A., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings.

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

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

  47. Published

    PeASS: A Tool for Identifying Performance Changes at Code Level.

    Reichelt, D. G., Kühne, S. & Hasselbring, W., 2019, ASE. p. 1146-1149 4 p.

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

  48. Published

    Wakeup: Designing Multimodal Alerts for Drowsy Drivers with SmartPhones

    Alotaibi, A. S. & Asif, A., 27/12/2018, 21st Saudi Computer Society National Computer Conference, NCC 2018. Institute of Electrical and Electronics Engineers Inc., 8593003. (21st Saudi Computer Society National Computer Conference, NCC 2018).

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

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

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

  51. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

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

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

  53. Published

    A Van Benthem Theorem for Horn Description and Modal Logic

    Papacchini, F. & Wolter, F., 2018, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018.

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

  54. Published

    Better Early Than Never: Performance Test Acceleration by Regression Test Selection.

    Reichelt, D. G. & Kühne, S., 2018, ICPE Companion. p. 127-130 4 p.

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

  55. Published

    How to Detect Performance Changes in Software History: Performance Analysis of Software System Versions.

    Reichelt, D. G. & Kühne, S., 2018, ICPE Companion. p. 183-188 6 p.

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

  56. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

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

  57. Published

    Correct composition of dephased behavioural models

    Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.

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

  58. Published

    A verified algorithm enumerating event structures

    Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.

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

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

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

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

  62. Published

    Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776

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

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

  64. Published

    Generating readable diagrammatic proofs

    Burton, J. & Linker, S., 17/12/2015, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2 p.

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

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

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

  67. Published

    Configuration management and its implementation barriers in public sector engineering organizations of Pakistan: An empirical study

    Anjum, N., 27/04/2015, IEOM 2015 - 5th International Conference on Industrial Engineering and Operations Management, Proceeding. IEEE

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

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

  69. Published

    Terminating Minimal Model Generation Procedures for Propositional Modal Logics

    Papacchini, F. & Schmidt, R. A., 22/07/2014, Automated Reasoning - 7th International Joint Conference, IJCAR . Cham: Springer, Vol. 8562. p. 381-395 15 p.

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

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

  71. Published

    Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe Framework.

    Reichelt, D. G. & Braubach, L., 2014, Software Engineering. p. 119-124 6 p.

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

  72. Published

    Berücksichtigung von Softwareperformanz im Entwicklungsprozess.

    Reichelt, D. G., 2014, GI-Jahrestagung. p. 2329-2334 6 p.

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

  73. Published

    Computing Minimal Models Modulo Subset-Simulation for Modal Logics

    Papacchini, F. & Schmidt, R. A., 18/09/2013, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer, Vol. 8152. p. 279-294 16 p.

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

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

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

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

  77. Published

    Reference ontologies for manufacturing based ecosystems

    Anjum, N., 1/01/2011, Third International Working Conference on Enterprise Interoperability, IWEI 2011. p. 61-72

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

  78. Published

    Shape feature based ontological engineering product models

    Anjum, N., 1/01/2011, Third International IFIP Working Conference on Enterprise Interoperability, IWEI 2011.

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

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

  80. Published

    Where to turn my car? Comparison of a tactile display and a conventional car navigation system under high load condition

    Asif, A. & Boll, S., 11/11/2010, AutomotiveUI 2010 - 2nd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Conference Proceedings. p. 64-71 8 p. (AutomotiveUI 2010 - 2nd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Conference Proceedings).

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

  81. Published

    Exploring distance encodings with a tactile display to convey turn by turn information in automobiles

    Asif, A., Heuten, W. & Boll, S., 10/2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 32-41 10 p. (NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction).

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

  82. Published

    An exploration of foundation ontologies and verification methods for manufacturing knowledge sharing

    Anjum, N., 1/01/2010, Third International IFIP Working Conference on Enterprise Interoperability, IWEI 2011.

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

  83. Published

    Cross domain knowledge verification: verifying knowledge in foundation based domain ontologies

    Anjum, N., 1/01/2010, KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development.

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

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

  85. Published

    Einstein Podolsky Rosen correlations involving mesoscopic quantum systems

    Caminati, M., De Martini, F. & Sciarrino, F., 10/07/2006, AIP Conference Proceedings. 1 ed. American Institute of Physics, Vol. 844.

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

  86. Conference paper
  87. 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

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

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

  90. Book/Film/Article review
  91. Published

    Book Review: Ethical capitalism: Shibusawa Eiichi and business leadership in global perspective

    Watt, P., 1/09/2018, Management Learning, 49, 4, p. 504-507 4 p.

    Research output: Contribution to specialist publication › Book/Film/Article review

  92. Published

    Book review: The unmanageable consumer

    Watt, P., 1/09/2016, Management Learning, 47, 4, p. 479-484 6 p.

    Research output: Contribution to specialist publication › Book/Film/Article review

  93. Software
  94. 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

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

  96. Web publication/site
  97. Published

    Goldman Sachs: banks benefit from trainees who think they must be superhuman to measure up

    Watt, P. (Artist) & Costea, B., 23/03/2021

    Research output: Exhibits, objects and web-based outputs › Web publication/site

  98. Published

    Elizabeth Holmes: Theranos scandal has more to it than just toxic Silicon Valley culture

    Watt, P., 27/03/2019

    Research output: Exhibits, objects and web-based outputs › Web publication/site

  99. Doctoral Thesis
  100. Published

    Untersuchung von Performanzveränderungen auf Quelltextebene.

    Reichelt, D. G., 23/01/2023, 151 p.

    Research output: Thesis › Doctoral Thesis

  101. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: Thesis › Doctoral Thesis

  102. Published

    Minimal model reasoning for modal logic

    Papacchini, F., 2015, University of Manchester. 170 p.

    Research output: Thesis › Doctoral Thesis

  103. Published

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

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

    Research output: Thesis › Doctoral Thesis

  104. Other contribution
  105. 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

  106. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

  107. Journal article
  108. Published

    Geopolitical disruptions in global supply chains: a state-of-the-art literature review

    Bednarski, L., Roscoe, S., Blome, C. & Schleper, M. C., 12/03/2025, In: Production Planning and Control. 36, 4, p. 536-562 27 p.

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

  109. Published

    Sustainable humanitarian supply chains: a systematic literature review and research propositions

    Anjomshoae, A., Banomyong, R., Hossein Azadnia, A., Kunz, N. & Blome, C., 1/02/2025, In: Production Planning and Control. 36, 3, p. 357-377 21 p.

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

  110. Published

    Software engineering for internet of underwater things to analyze oceanic data

    Razzaq, A., Ahmad, A., Malik, A. W., Fahmideh, M. & Ramadan, R. A., 31/12/2023, In: Internet of Things (Netherlands). 24, 100893.

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

Previous 1 2 3 Next

Back to top