Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

241 - 250 out of 290Page size: 10
RSS feed of this list
  1. 2013
  2. 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/Magazine › Journal article › peer-review

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

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

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

  6. Published

    Proof Theory of a Multi-Lane Spatial Logic

    Linker, S. & Hilscher, M., 2013, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).

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

  7. Published

    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

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

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

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

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

Previous 1...21 22 23 24 25 26 27 28 29 Next

Back to top