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.

13109 Publications


2015 | Conference Paper | LibreCat-ID: 285
Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. In: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). ; 2015:1-9. doi:10.1109/ACSD.2015.13
LibreCat | Files available | DOI
 

2015 | Mastersthesis | LibreCat-ID: 297
Sosniak M. Evaluation of Pairing Optimization for Embedded Platforms. Universität Paderborn; 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 324
Mohr F. A Metric for Functional Reusability of Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2015:298--313. doi:10.1007/978-3-319-14130-5_21
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 398
Monien B, Mavronicolas M. Minimizing Expectation Plus Variance. Theory of Computing Systems. 2015;57(3):617-654. doi:10.1007/s00224-014-9542-z
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 4276
Rai AK, Gordon S, Ludwig A, Wieck AD, Zrenner A, Reuter D. Spatially indirect transitions in electric field tunable quantum dot diodes. physica status solidi (b). 2015;253(3):437-441. doi:10.1002/pssb.201552591
LibreCat | DOI
 

2015 | Patent | LibreCat-ID: 4360
Zrenner A, Förstner J, Mantei D. A process for the preparation of a population inversion in a quantum system using multi-pulse excitation. 2015.
LibreCat | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 3285
Klör B, Beverungen D, Bräuer S, Plenter F, Monhof M. A Market for Trading Used Electric Vehicle Batteries — Theoretical Foundations and Information Systems. In: Proceedings of the Twenty-Third European Conference on Information Systems (ECIS 2015). Münster; 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 3343
Bubeck U, Kleine Büning H. Learning Boolean Specifications. Artificial Intelligence. 2015:246-257. doi:10.1016/j.artint.2015.09.003
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 40
Schwichtenberg S, Engels G. RSDL workbench results for OAEI 2015. In: Proceedings of the 10th International Workshop on Ontology Matching Collocated with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, PA, USA, October 12, 2015. Vol 1545. CEUR-WS.org; 2015:192--199.
LibreCat | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 4024
Bürger M, Lindner J, Reuter D, As DJ. Investigation of cubic GaN quantum dots grown by the Stranski-Krastanov process. physica status solidi (c). 2015;12(4-5):452-455. doi:10.1002/pssc.201400132
LibreCat | Files available | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed