Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs
View graph of relations

LANCASTER UNIVERSITY LEIPZIG

  1. 2015
  2. 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/MagazineJournal articlepeer-review

  3. Published

    Scientific teams: Self-assembly, fluidness, and interdependence

    Wang, J. & Hicks, D., 1/01/2015, In: Journal of Informetrics. 9, 1, p. 197-207 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. 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/ISSNConference contribution/Paperpeer-review

  5. Published

    Minimal model reasoning for modal logic

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

    Research output: ThesisDoctoral Thesis

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

  7. Published

    Proofs for Traffic Safety: Combining Diagrams and Logic

    Linker, S., 2015

    Research output: ThesisDoctoral Thesis

  8. 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/MagazineJournal articlepeer-review

  9. Published

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

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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. 2014
  11. Published

    Complementarity effect of governance mechanisms on environmental collaboration: Does it exist?

    Paulraj, A., Jayaraman, V. & Blome, C., 15/12/2014, In: International Journal of Production Research. 52, 23, p. 6989-7006 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  12. 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/ISSNConference contribution/Paperpeer-review

  13. Published

    Comment on "Quantifying long-term scientific impact"

    Wang, J., Mei, Y. & Hicks, D., 11/07/2014, In: Science. 345, 6193, p. 149b

    Research output: Contribution to Journal/MagazineComment/debatepeer-review

  14. 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/ISSNChapter (peer-reviewed)peer-review

  15. Published

    Pseudo-Canonical Formulae are Classical

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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    Reasoning about Auctions

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

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  17. 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/ISSNConference contribution/Paperpeer-review

  18. Published

    Multinational R&D in China: Differentiation and integration of global R&D networks

    Wang, J., Liang, Z. & Xue, L., 21/05/2014, In: International Journal of Technology Management. 65, 1-4, p. 96-124 29 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Unpacking the Matthew effect in citations

    Wang, J., 30/04/2014, In: Journal of Informetrics. 8, 2, p. 329-339 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  20. 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/MagazineJournal articlepeer-review

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

  22. 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/MagazineJournal articlepeer-review

  23. 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/MagazineJournal articlepeer-review

  24. 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/MagazineJournal articlepeer-review

  25. 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/MagazineJournal articlepeer-review

  26. 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/ISSNConference contribution/Paperpeer-review

  27. 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/ISSNConference contribution/Paperpeer-review

  28. 2013
  29. 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/MagazineJournal articlepeer-review

  30. 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/MagazineEditorialpeer-review

  31. 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/MagazineJournal articlepeer-review

  32. Published

    Detecting structural change in university research systems: A case study of british research policy

    Wang, J. & Hicks, D., 31/10/2013, In: Research Evaluation. 22, 4, p. 258-268 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  33. Published

    Focusing the financial flow of supply chains: An empirical investigation of financial supply chain management

    Wuttke, D. A., Blome, C. & Henke, M., 31/10/2013, In: International Journal of Production Economics. 145, 2, p. 773-789 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  34. 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/MagazineJournal articlepeer-review

  35. 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/MagazineJournal articlepeer-review

  36. 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/ISSNConference contribution/Paperpeer-review

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

  38. 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/ISSNConference contribution/Paperpeer-review

  39. 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/MagazineJournal articlepeer-review

  40. Published

    Managing the innovation adoption of supply chain finance - Empirical evidence from six european case studies

    Wuttke, D. A., Blome, C., Foerstl, K. & Henke, M., 30/06/2013, In: Journal of Business Logistics. 34, 2, p. 148-166 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  41. 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/MagazineJournal articlepeer-review

  42. 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/ISSNChapter (peer-reviewed)peer-review

  43. 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/ISSNConference contribution/Paperpeer-review

  44. Published

    Citation time window choice for research impact evaluation

    Wang, J., 31/03/2013, In: Scientometrics. 94, 3, p. 851-872 22 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  45. 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/MagazineJournal articlepeer-review

  46. 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/MagazineJournal articlepeer-review

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

  48. 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/ISSNChapter (peer-reviewed)peer-review

  49. 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/ISSNChapter (peer-reviewed)peer-review

  50. 2012
  51. Published

    A boosted-trees method for name disambiguation

    Wang, J., Berzins, K., Hicks, D., Melkers, J., Xiao, F. & Pinheiro, D., 30/11/2012, In: Scientometrics. 93, 2, p. 391-411 21 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  52. 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/MagazineJournal articlepeer-review

  53. 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/MagazineJournal articlepeer-review

  54. 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/ISSNConference contribution/Paperpeer-review

  55. Published

    Multinational R&D in China: From home-country-based to host-country-based

    Wang, J., Xue, L. & Liang, Z., 30/06/2012, In: Innovation: Management, Policy and Practice. 14, 2, p. 192-202 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  56. Published

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

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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  57. Published
  58. 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/MagazineJournal articlepeer-review

  59. 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/MagazineJournal articlepeer-review

  60. 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/MagazineJournal articlepeer-review

  61. 2011
  62. 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/MagazineJournal articlepeer-review

  63. Published

    A Tableau Calculus for Minimal Modal Model Generation

    Papacchini, F. & Schmidt, R. A., 3/11/2011, In: Electronic Notes in Theoretical Computer Science. 278, p. 159-172 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

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

  65. 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/MagazineJournal articlepeer-review

  66. 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/MagazineJournal articlepeer-review

  67. 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/MagazineJournal articlepeer-review

  68. 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/MagazineJournal articlepeer-review

  69. 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/MagazineJournal articlepeer-review

  70. 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/MagazineJournal articlepeer-review

  71. 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/MagazineJournal articlepeer-review

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

  73. 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/MagazineJournal articlepeer-review

  74. 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/ISSNConference contribution/Paperpeer-review

  75. 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/ISSNConference contribution/Paperpeer-review

  76. 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/ISSNConference contribution/Paperpeer-review

  77. 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/MagazineJournal articlepeer-review

  78. 2010
  79. 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/MagazineJournal articlepeer-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/ISSNConference contribution/Paperpeer-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/ISSNConference contribution/Paperpeer-review

  82. 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/MagazineJournal articlepeer-review

  83. Published

    Sustainable global supplier management: The role of dynamic capabilities in achieving competitive advantage

    Reuter, C., Foerstl, K., Hartmann, E. & Blome, C., 30/04/2010, In: Journal of Supply Chain Management. 46, 1, p. 45-63 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  84. 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/ISSNConference contribution/Paperpeer-review

  85. 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/ISSNConference contribution/Paperpeer-review

  86. 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/MagazineEditorialpeer-review

  87. 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/ISSNConference contribution/Paperpeer-review

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

  89. 2009
  90. 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 paperPreprint

  91. 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/ISSNChapter

  92. 2008
  93. 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 paperPreprint

  94. 2007
  95. Published

    Öffentliches Beschaffungsmarketing: Ein Kennzahlensystem für das Vergabemanagement

    Blome, C., 25/01/2007, Springer. 305 p.

    Research output: Book/Report/ProceedingsBook

  96. 2006
  97. 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/MagazineJournal articlepeer-review

  98. 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/ISSNConference contribution/Paperpeer-review

  99. 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/MagazineJournal articlepeer-review

  100. 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/MagazineJournal articlepeer-review

Previous 1 2 3 Next

Back to top