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.

9500 Publications

2010 | Journal Article | LibreCat-ID: 7981
Buchholz SS, Fischer SF, Kunze U, Bell M, Reuter D, Wieck AD. Control of the transmission phase in an asymmetric four-terminal Aharonov-Bohm interferometer. Physical Review B. 2010;82(4). doi:10.1103/physrevb.82.045432
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 7986
Komijani Y, Csontos M, Shorubalko I, et al. Evidence for localization and 0.7 anomaly in hole quantum point contacts. EPL (Europhysics Letters). 2010;91(6). doi:10.1209/0295-5075/91/67010
LibreCat | DOI

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

2010 | Conference Paper | LibreCat-ID: 8028
Gerth C, Küster J, Luckey M, Engels G. 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. LNCS. Berlin/Heidelberg: Springer; 2010:93-107. doi:
LibreCat | DOI

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

2010 | Conference Paper | LibreCat-ID: 8035
Sancar Y, Schumacher C. 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). Technische Universität München; 2010:299-314.

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

2010 | Conference Paper | LibreCat-ID: 3193
Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:534--548. doi:10.1007/978-3-642-16901-4_35
LibreCat | DOI

2010 | Journal Article | LibreCat-ID: 3198
Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.

2010 | Conference Paper | LibreCat-ID: 3465
Becker J, Beverungen D, Blinn N, et al. Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften. In: Proceedings of the Multikonferenz Wirtschaftsinformatik. Göttingen, Germany; 2010.


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed