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.

5315 Publications


2019 | Journal Article | IST-REx-ID: 5678   OA
H. Edelsbrunner and A. Nikitenko, “Poisson–Delaunay Mosaics of Order k,” Discrete and Computational Geometry, vol. 62, no. 4, pp. 865–878, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5856   OA
T. Moser and R. Seiringer, “Energy contribution of a point-interacting impurity in a Fermi gas,” Annales Henri Poincare, vol. 20, no. 4, pp. 1325–1365, 2019.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6378   OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 374–381.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6380   OA
K. Chatterjee, A. K. Goharshady, N. Okati, and A. Pavlogiannis, “Efficient parameterized algorithms for data packing,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6455
L. Telley et al., “Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex,” Science, vol. 364, no. 6440, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
G. Avni, R. Bloem, K. Chatterjee, T. A. Henzinger, B. Konighofer, and S. Pranger, “Run-time optimization for learned controllers through quantitative games,” in 31st International Conference on Computer-Aided Verification, New York, NY, United States, 2019, vol. 11561, pp. 630–649.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6563   OA
M. Filakovský and L. Vokřínek, “Are two given maps homotopic? An algorithmic viewpoint,” Foundations of Computational Mathematics, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Probabilistic smart contracts: Secure randomness on the blockchain,” in IEEE International Conference on Blockchain and Cryptocurrency, Seoul, Korea, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
J. Renkawitz et al., “Nuclear positioning facilitates amoeboid migration along the path of least resistance,” Nature, vol. 568, pp. 546–550, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6900   OA
S. A. Cepeda Humerez, J. Ruess, and G. Tkačik, “Estimating information in time-varying signals,” PLoS computational biology, vol. 15, no. 9, p. e1007290, 2019.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 27   OA
N. Amberg, S. Laukoter, and S. Hippenmeyer, “Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex,” Journal of Neurochemistry, vol. 149, no. 1, pp. 12–26, 2019.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 301   OA
M. Gerencser and I. Gyöngy, “A Feynman–Kac formula for stochastic Dirichlet problems,” Stochastic Processes and their Applications, vol. 129, no. 3, pp. 995–1012, 2019.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5908
E. Lee et al., “Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis,” Proceedings of the National Academy of Sciences of the United States of America, vol. 116, no. 4, pp. 1420–1429, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5910
N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos, vol. 29, no. 1, 2019.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6014   OA
A. Varshney and V. Steinberg, “Elastic alfven waves in elastic turbulence,” Nature Communications, vol. 10, 2019.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6090   OA
M. Carballo-Pacheco et al., “Receptor crosstalk improves concentration sensing of multiple ligands,” Physical Review E, vol. 99, no. 2, 2019.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6095   OA
R. Faria et al., “Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes,” Molecular Ecology, vol. 28, no. 6, pp. 1375–1393, 2019.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed