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.

15720 Publications


2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 7936
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 16181
Clustering of gene expression data using a local shape-based similarity measure
R. Balasubramaniyan, E. Hüllermeier, N. Weskamp, J. Kämper, Bioinformatics 21 (2005) 1069–1077.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 15850
Coherent propagation of polaritons in semiconductor heterostructures: Nonlinear pulse transmission in theory and experiment
S. Schumacher, G. Czycholl, F. Jahnke, I. Kudyk, L. Wischmeier, I. Rückmann, T. Voss, J. Gutowski, A. Gust, D. Hommel, Physical Review B (2005).
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 2413
CoLoS - A System for Device Unaware and Position Dependent Communication Based on the Session Initiation Protocol
S. Lietsch, O. Kao, in: Proc. Intelligence in Communication Systems (INTELLCOMM), Springer, Boston, MA, USA, 2005, pp. 261–271.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 19834
Competitive Time and Traffic Analysis of Position-Based Routing using a Cell Structure
S. Rührup, C. Schindelhauer, in: 19th IEEE International Parallel and Distributed Processing Symposium, 2005, p. 248.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 18280
Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism
M. Ziegler, in: Proc. CiE 2005: New Computational Paradigms, Springer, 2005, pp. 562–571.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 18282
Computational Power of Infinite Quantum Parallelism
M. Ziegler, International Journal of Theoretical Physics 44 (2005) 2059–2071.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 23317
Concept for Improving the Re-Usability of Mechatronic System Models
A. Gambuzza, D. Koert, 3rd Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER3) (2005).
LibreCat
 

2005 | Journal Article | LibreCat-ID: 13704
Conformation-selective adsorption of 2,3-butanediol on Si(001)
K. Seino, W.G. Schmidt, Surface Science (2005) 191–196.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed