Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

13107 Publications

2010 | Journal Article | LibreCat-ID: 8179
Gharibian, S. (2010). Strong NP-hardness of the quantum separability problem. Quantum Information & Computation, 10(3{\&}4), 343–360.
LibreCat | Download (ext.) | arXiv

2010 | Conference Paper | LibreCat-ID: 8023
Mlynarski, M. (2010). Holistic Model-Based Testing for Business Information Systems. In Proceedings of 3rd International Conference on Software Testing, Verification and Validation (pp. 327–330). IEEE Computer Society.

2010 | Conference Paper | LibreCat-ID: 8028
Gerth, C., Küster, J., Luckey, M., & Engels, G. (2010). Precise Detection of Conflicting Change Operations using Process Model Terms. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10) (Vol. 6395, pp. 93–107). Berlin/Heidelberg: Springer.
LibreCat | DOI

2010 | Conference Paper | LibreCat-ID: 8030
Heinemann, M., Duwe, B., & Engels, G. (2010). Enriching RUP with key success factors for large-scale custom software development projects. In Software & Systems Engineering Essentials (SEE) 2010 (pp. 37–56). Technische Universität München.

2010 | Conference Paper | LibreCat-ID: 8035
Sancar, Y., & Schumacher, C. (2010). Erweiterung des TPI-Modells zur Reifegradbewertung unter Berücksichtigung von projekteigenen Anforderungen. In Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany) (pp. 299–314). Technische Universität München.

2010 | Journal Article | LibreCat-ID: 807
Simon Lichte, H., Valentin, S., & Karl, H. (2010). Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach. Mobile Networks and Applications, (6), 769--785.
LibreCat | DOI

2010 | Report | LibreCat-ID: 8220
Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente.

2010 | Conference Paper | LibreCat-ID: 8439
Wübbeke, A., & Oster, S. (2010). Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien. In Proceedings of Produktlinien im Kontext (PIK2010) (p. to appear).

2010 | Conference Paper | LibreCat-ID: 8441
Gerth, C. (2010). A Framework for Change Management of Business Process Models. In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science (pp. 183–184).

2010 | Conference Paper | LibreCat-ID: 8446
Güldali, B., Sauer, S., Winkelhane, P., Jahnich, M., & Funke, H. (2010). Pattern-based Generation of Test Plans for Open Distributed Processing Systems. In Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop (pp. 119–126). ACM Press.

Filters and Search Terms

year<=2030 AND year>=1980



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed