LANCASTER UNIVERSITY LEIPZIG

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 100 out of 290Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Author last name

Published
Erratum: Modernizing Legacy Software as Context-Sensitive and Portable Mobile-Enabled Application (IT Professional Mag 23: 1 (42-50) DOI: 10.1109/MITP.2020.2975997)
Ahmad, A., Alkhalil, A., Altamimi, A. B., Sultan, K. & Khan, W., 2021, In: IT Professional. 23, 3
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Modernizing Legacy Software as Context - Sensitive and Portable Mobile-Enabled Application
Ahmad, A., Alkhalil, A., Altamimi, A. B., Sultan, K. & Khan, W., 31/01/2021, In: IT Professional. 23, 1, p. 42-50 9 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning
Ahmed, M., Altamimi, A. B., Khan, W., Alsaffar, M., Ahmad, A., Khan, Z. H. & Alreshidi, A., 19/06/2023, In: IEEE Access. 11, p. 61249-61263 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Designing Multimodal Interactive Dashboard of Disaster Management Systems
Alabdulaali, A., Asif, A., Khatoon, S. & Alshamari, M., 5/06/2022, In: Sensors. 22, 11, 11 p., 4292.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Managing the “new normal”: the future of operations and supply chain management in unprecedented times
Alexander, A., Blome, C., Schleper, M. C. & Roscoe, S., 8/08/2022, In: International Journal of Operations and Production Management. 42, 8, p. 1061-1076 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Studying Users’ Perceptions of COVID-19 Mobile Applications in Saudi Arabia
Alghareeb, M., Albesher, A. S. & Asif, A., 4/01/2023, In: Sustainability. 15, 2
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
End-users’ knowledge and perception about security of clinical mobile health apps: A case study with two Saudi Arabian mHealth providers
Aljedaani, B., Ahmad, A., Zahedi, M. & Babar, M. A., 31/01/2023, In: Journal of Systems and Software. 195, 24 p., 111519.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Service-based, Multi-Provider, Fog Ecosystem with Joint Optimization of Request Mapping and Response Routing
AL-Naday, M., Thomos, N., Hu, J., Volckaert, B., de Turck, F. & Reed, M. J., 1/05/2023, In: IEEE Transactions on Services Computing. 16, 3, p. 2203-2214 12 p., 3.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
Migration of existing software systems to mobile computing platforms: a systematic mapping study
Alseadoon, I., Ahmad, A., Alkhalil, A. & Sultan, K., 30/04/2021, In: FRONTIERS OF COMPUTER SCIENCE. 15, 2, 25 p., 152204.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Temporal Variations Dataset for Indoor Environmental Parameters in Northern Saudi Arabia
Alshammari, T., Ramadan, R. A. & Ahmad, A., 20/06/2023, In: Applied Sciences. 13, 12, 7326.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
A model-driven ontology approach for manufacturing system interoperability and knowledge sharing
Anjum, N., 6/03/2013, In: Computers in Industry. 64, 4, 392-401.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Verification of knowledge shared across design and manufacture using a foundation ontology
Anjum, N., 1/07/2013, In: International Journal of Production Research. 22, p. 6534-6552
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Extending product lifecycle management for manufacturing knowledge sharing
Anjum, N., 1/01/2012, In: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Manufacturability verification through feature-based ontological product models
Anjum, N., 1/01/2012, In: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Mediation of foundation ontology based knowledge sources
Anjum, N., 12/03/2012, In: Computers in Industry. 63, 5, p. 433-442
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
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
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
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
Published
Mr. Garments: After the Fire
Anjum, N., 15/12/2017, In: Harvard Business Review.
Research output: Contribution to Journal/Magazine › Contribution to Magazine with ISSN
Published
Bedtime Stories for Sleepless Entrepreneurs
Anjum, N., 2020, 1 ed. Karachi: Xahin Publications. 240 p.
Research output: Book/Report/Proceedings › Book
Published
Non-Fungible Tokens in Business and Management -- A Review
Anjum, N. & Rehmani, M. H., 9/08/2022, In: arXiv.
Research output: Contribution to Journal/Magazine › Journal article
Published
A Comprehensive Approach of Exploring Usability Problems in Enterprise Resource Planning Systems
Asif, A., Alfrraj, D. & Alshamari, M. A., 22/02/2022, In: Applied Sciences (Switzerland). 12, 5, 20 p., 2293.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An approach for pronunciation classification of classical arabic phonemes using deep learning
Asif, A., Mukhtar, H., Alqadheeb, F., Ahmad, H. F. & Alhumam, A., 1/01/2022, In: Applied Sciences (Switzerland). 12, 1, 238.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Automatic analysis of social media images to identify disaster type and infer appropriate emergency response
Asif, A., Khatoon, S., Hasan, M. M., Alshamari, M. A., Abdou, S., Elsayed, K. M. & Rashwan, M., 31/12/2021, In: Journal of Big Data. 8, 1, 28 p., 83.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Towards the performance investigation of automatic melanoma diagnosis applications
Asif, A., Fatima, I., Anjum, A. & Malik, S. U. R., 2019, In: International Journal of Advanced Computer Science and Applications. 10, 3, p. 390-399 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Right or Left: Tactile Display for Route Guidance of Drivers
Asif, A., Boll, S. & Heuten, W., 8/08/2012, In: IT - Information Technology. 54, 4, p. 188-198 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
Determining the antecedents of dynamic supply chain capabilities
Aslam, H., Blome, C., Roscoe, S. & Azhar, T. M., 6/05/2020, In: Supply Chain Management. 25, 4, p. 427-442 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Dynamic supply chain capabilities: How market sensing, supply chain agility and adaptability affect supply chain ambidexterity
Aslam, H., Blome, C., Roscoe, S. & Azhar, T. M., 24/10/2018, In: International Journal of Operations and Production Management. 38, 12, p. 2266-2285 20 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Supply chain involvement in business continuity management: effects on reputational and operational damage containment from supply chain disruptions
Azadegan, A., Syed, T. A., Blome, C. & Tajeddini, K., 20/08/2020, In: Supply Chain Management. 25, 6, p. 747-772 26 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Learning from near-miss events: An organizational learning perspective on supply chain disruption response
Azadegan, A., Srinivasan, R., Blome, C. & Tajeddini, K., 31/10/2019, In: International Journal of Production Economics. 216, p. 215-226 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Operations research in intensive care unit management: a literature review
Bai, J., Fügener, A., Schoenfelder, J. & Brunner, J. O., 1/03/2018, In: Health Care Management Science. 21, p. 1-24
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
Ambidextrous Governance in Supply Chains: The Impact on Innovation and Cost Performance
Blome, C., Schoenherr, T. & Kaesser, M., 31/10/2013, In: Journal of Supply Chain Management. 49, 4, p. 59-80 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The impact of knowledge transfer and complexity on supply chain flexibility: A knowledge-based view
Blome, C., Schoenherr, T. & Eckstein, D., 31/01/2014, In: International Journal of Production Economics. 147, Part B, p. 307-316 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Antecedents and enablers of supply chain agility and its effect on performance: A dynamic capabilities perspective
Blome, C., Schoenherr, T. & Rexhausen, D., 28/02/2013, In: International Journal of Production Research. 51, 4, p. 1295-1318 24 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Stopping conflict minerals with the OECD guidance for responsible mineral supply chains: status quo in Europe
Blome, C., Hofmann, H. & Schleper, M. C., 30/04/2016, 32 p.
Research output: Book/Report/Proceedings › Commissioned report
Published
Future challenges for pharmaceutical supply chains
Blome, C., Schleper, M. C. & Hoffman, H., 30/10/2015, Constantin Blome. 28 p.
Research output: Book/Report/Proceedings › Commissioned report
Published
Green procurement and green supplier development: antecedents and effects on supplier performance (vol 52, pg 32, 2014)
Blome, C., Hollos, D., Paulraj, A. & Henke, M., 1/01/2014, In: International Journal of Production Research. 52, 1, p. 32-49 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Supply chain collaboration and sustainability: A profile deviation analysis
Blome, C., Paulraj, A. & Schuetz, K., 28/04/2014, In: International Journal of Operations and Production Management. 34, 5, p. 639-663 25 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Ethical Climate and Purchasing Social Responsibility: A Benevolence Focus
Blome, C. & Paulraj, A., 30/09/2013, In: Journal of Business Ethics. 116, 3, p. 567-585 19 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Supply chain risk management in financial crises - A multiple case-study approach
Blome, C. & Schoenherr, T., 30/11/2011, In: International Journal of Production Economics. 134, 1, p. 43-57 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
Published
Antecedents of green supplier championing and greenwashing: An empirical study on leadership and ethical incentives
Blome, C., Foerstl, K. & Schleper, M. C., 20/05/2017, In: Journal of Cleaner Production. 152, p. 339-350 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Öffentliches Beschaffungsmarketing: Ein Kennzahlensystem für das Vergabemanagement
Blome, C., 25/01/2007, Springer. 305 p.
Research output: Book/Report/Proceedings › Book
Published
Trust and opportunism as paradoxical tension: Implications for achieving sustainability in buyer-supplier relationships
Blome, C., Paulraj, A., Preuss, L. & Roehrich, J. K., 31/01/2023, In: Industrial Marketing Management. 108, p. 94-107 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Procuring a sustainable future: An action learning approach to the development and modelling of ethical and sustainable procurement practices
Boak, G., Watt, P., Gold, J., Devins, D. & Garvey, R., 30/09/2016, In: Action Learning: Research and Practice. 13, 3, p. 204-218 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Synthesizing and verifying controllers for multi-lane traffic maneuvers
Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E.-R., 13/07/2017, In: Formal Aspects of Computing. 29, p. 583–600 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Feel your route: A tactile display for car navigation
Boll, S., Asif, A. & Heuten, W., 9/06/2011, In: IEEE Pervasive Computing. 10, 3, p. 35-42 8 p., 5871576.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
How to improve the prediction based on citation impact percentiles for years shortly after the publication date?
Bornmann, L., Leydesdorff, L. & Wang, J., 31/01/2014, In: Journal of Informetrics. 8, 1, p. 175-180 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Which percentile-based approach should be preferred for calculating normalized citation impact values? An empirical comparison of five approaches including a newly developed citation-rank approach (P100)
Bornmann, L., Leydesdorff, L. & Wang, J., 31/10/2013, In: Journal of Informetrics. 7, 4, p. 933-944 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Correct composition in the presence of behavioural conflicts and dephasing
Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
A framework for automated conflict detection and resolution in medical guidelines
Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
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
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
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
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
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
Published
Analyzing the relationship between physicians’ experience and surgery duration
Buchholz, O., Haager, C., Schimmelpfeng, K., Brunner, J. O. & Schoenfelder, J., 31/03/2023, In: Operations Research for Health Care. 36, 100377.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Corecursion for Compositional Verification
Caminati, M. B. & Kerber, M., 14/01/2016
Research output: Other contribution
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
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
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
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
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
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
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
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
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
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
Published
A simplified framework for first-order languages and its formalization in Mizar
Caminati, M. B., 19/05/2012
Research output: Thesis › Doctoral Thesis
Published
Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms
Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
First order languages: Further syntax and semantics
Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages
Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Preliminaries to classical first order model theory
Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Basic first-order model theory in Mizar
Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning
Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Nonseparable Werner states in spontaneous parametric down-conversion
Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification
Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Yet another proof of Goedel's completeness theorem for first-order classical logic
Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).
Research output: Working paper › Preprint
Published
An upper bound on the number of zeros of a piecewise polinomial function
Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).
Research output: Working paper › Preprint
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

Previous 1 2 3 Next

Research

LANCASTER UNIVERSITY LEIPZIG

Quick Links

Connect With Us