Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5438 Publications


2019 | Conference Paper | IST-REx-ID: 7216
Osang GF, Cook J, Fabrikant A, Gruteser M. 2019. LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. 2019 IEEE Intelligent Transportation Systems Conference. ITSC: Intelligent Transportation Systems Conference
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. 2019. Scalable FIFO channels for programming via communicating sequential processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11725. 317–333.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7230   OA
Arroyo Guevara AM, Derka M, Parada I. 2019. Extending simple drawings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). GD: Graph Drawing and Network Visualization, LNCS, vol. 11904. 230–243.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7235   OA
Lieb EH, Seiringer R. 2019. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5828
Xu H, Baracskay P, O’Neill J, Csicsvari JL. 2019. Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze. Neuron. 101(1), 119–132.e4.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6092   OA
Mentink JH, Katsnelson M, Lemeshko M. 2019. Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B. 99(6), 064428.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427. 226–243.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner H, Virk Z, Wagner H. 2019. Topological data analysis in information space. 35th International Symposium on Computational Geometry. SoCG 2019: Symposium on Computational Geometry, LIPIcs, vol. 129. 31:1-31:14.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs. International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388. 468–490.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin M, Bollenbach T. 2019. Emergent gene expression responses to drug combinations predict higher-order drug interactions. Cell Systems. 9(5), 423-433.e1-e3.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed