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.

13150 Publications


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

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

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

2015 | Journal Article | LibreCat-ID: 398
Monien, Burkhard, and Marios Mavronicolas. “Minimizing Expectation Plus Variance.” Theory of Computing Systems, vol. 57, no. 3, Springer, 2015, pp. 617–54, doi:10.1007/s00224-014-9542-z.
LibreCat | Files available | DOI
 

2015 | Journal Article | LibreCat-ID: 4276
Rai, Ashish K., et al. “Spatially Indirect Transitions in Electric Field Tunable Quantum Dot Diodes.” Physica Status Solidi (B), vol. 253, no. 3, Wiley, 2015, pp. 437–41, doi:10.1002/pssb.201552591.
LibreCat | DOI
 

2015 | Patent | LibreCat-ID: 4360
Zrenner, Artur, et al. 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, Benjamin, et al. “A Market for Trading Used Electric Vehicle Batteries — Theoretical Foundations and Information Systems.” Proceedings of the Twenty-Third European Conference on Information Systems (ECIS 2015), 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 3343
Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 40
Schwichtenberg, Simon, and Gregor Engels. “RSDL Workbench Results for OAEI 2015.” 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, pp. 192--199.
LibreCat | Download (ext.)
 

2015 | Journal Article | LibreCat-ID: 4024
Bürger, M., et al. “Investigation of Cubic GaN Quantum Dots Grown by the Stranski-Krastanov Process.” Physica Status Solidi (C), vol. 12, no. 4–5, Wiley, 2015, pp. 452–55, doi:10.1002/pssc.201400132.
LibreCat | Files available | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed