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.

10078 Publications


2019 | Conference Paper | LibreCat-ID: 10092
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10578
V. K. Tagne, S. Fotso, L. A. Fono, and E. Hüllermeier, “Choice Functions Generated by Mallows and Plackett–Luce Relations,” New Mathematics and Natural Computation, vol. 15, no. 2, pp. 191–213, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10597
S. Hanke, S. Peitz, O. Wallscheid, J. Böcker, and M. Dellnitz, “Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification,” in 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE), 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11709
M. Potthast et al., “Argument Search: Assessing Argument Relevance,” in 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019), 2019, pp. 1117–1120.
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13250
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, and K. Tierney, “Hyper-Reactive Tabu Search for MaxSAT,” in Learning and Intelligent Optimization, 2019, pp. 309–325.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13274
R. Fingerhut and J. Vrabec, “Kirkwood-Buff Integration: A Promising Route to Entropic Properties?,” Fluid Phase Equilibria, pp. 270–281, 2019.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 13337
X. Ma et al., “Realization of all-optical vortex switching in exciton-polariton  condensates,” arXiv:1907.03171. 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13344
R. Driben, X. Ma, S. Schumacher, and T. Meier, “Bloch oscillations of multidimensional dark soliton wave packets and light bullets,” Optics Letters, vol. 44, no. 6, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13142
N. Weidmann, A. Anjorin, L. Fritsche, G. Varró, A. Schürr, and E. Leblebici, “Incremental Bidirectional Model Transformation with eMoflon::IBeX,” in Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019., 2019, pp. 45–55.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed