Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

271 - 280 out of 290Page size: 10
RSS feed of this list
  1. 2011
  2. 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

  3. Published

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

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

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

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

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

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

  8. Published

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

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

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

  9. 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/Magazine › Journal article › peer-review

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

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

  12. Published

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

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

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

Previous 1...24 25 26 27 28 29 Next

Back to top