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.

17003 Publications


2005 | Journal Article | LibreCat-ID: 8689
Schmidt, R., Scholz, U., Vitzethum, M., Fix, R., Malzer, S., Metzner, C., … Döhler, G. H. (2005). Single quantum dot nano-LEDs - spectroscopy of an electrically controlled few-particle system. Physica Status Solidi (C), 2974–2977. https://doi.org/10.1002/pssc.200460710
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 8691
Grbić, B., Leturcq, R., Ensslin, K., Reuter, D., & Wieck, A. D. (2005). Single-hole transistor in p-type GaAs∕AlGaAs heterostructures. Applied Physics Letters. https://doi.org/10.1063/1.2139994
LibreCat | DOI
 

2005 | Book Chapter | LibreCat-ID: 1990
Heine, F., Hovestadt, M., Kao, O., & Keller, A. (2005). SLA-aware Job Migration in Grid Environments. In L. Grandinetti (Ed.), Grid Computing: New Frontiers of High Performance Computing (Vol. 14, pp. 185–201). https://doi.org/10.1016/S0927-5452(05)80011-5
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3230
Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374). https://doi.org/10.1007/11576280_25
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3232
Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 414--433). https://doi.org/10.1007/11415787_24
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3228
Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
LibreCat | DOI
 

2005 | Book Review | LibreCat-ID: 18506
Peckhaus, V. (2005). Smith, David Woodruff, “Mathematical Form in the World”, Philosophia Mathematica (3) 10 (2002), 102–129. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1055.00008].
LibreCat
 

2005 | Journal Article | LibreCat-ID: 7379
Doberkat, E.-E., Engels, G., Hendrik Hausmann, J., Lohmann, M., Pleumann, J., & Schröder, J. (2005). Software Engineering and eLearning: The MuSofT Project. E-Learning and Education (Eleed) Journal, 2.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 23496
Reichelt, M., Pasenow, B., Meier, T., Stroucken, T., & Koch, S. W. (2005). Spatially inhomogeneous optical gain in semiconductor photonic-crystal structures. Physical Review B. https://doi.org/10.1103/physrevb.71.035346
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 3227
Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed