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.

15744 Publications


2005 | Journal Article | LibreCat-ID: 13705
Leitsmann R, Schmidt WG, Hahn PH, Bechstedt F. Second-harmonic polarizability including electron-hole attraction from band-structure theory. Physical Review B. 2005;71. doi:10.1103/physrevb.71.195209
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 20926
Meyer M, Wendehals L. Selective Tracing for Dynamic Analyses. In: Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA. Vol 2005-12. Technical Report. ; 2005:33-37.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 23316
Münch E, Voecking H, Hestermeyer T. Self-Learning Disturbance Compensation for Active Suspension Systems. International Conference on Informatics in Control, Automation and Robotics. 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 23323
Rustemeier C, Liu-Henke X, Goldau A, Jäker K-P. Simulationsumgebung zur Modellkopplung von Black-Box-Modellen mechatronischer Funktionsmodule und MKS-Fahrzeugmodellen. In: 6. VDI-Mechatronik-Tagung. Wiesloch bei Heidelberg; 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 8689
Schmidt R, Scholz U, Vitzethum M, et al. Single quantum dot nano-LEDs - spectroscopy of an electrically controlled few-particle system. physica status solidi (c). 2005:2974-2977. doi:10.1002/pssc.200460710
LibreCat | DOI
 

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

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

2005 | Conference Paper | LibreCat-ID: 3230
Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 3232
Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, 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. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24
LibreCat | DOI
 

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

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed