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.

6122 Publications


2015 | Journal Article | IST-REx-ID: 7766
Disordered surface vibrations in jammed sphere packings
D.M. Sussman, C.P. Goodrich, A.J. Liu, S.R. Nagel, Soft Matter 11 (2015) 2745–2751.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7767
Collective dynamics of soft active particles
R. van Drongelen, A. Pal, C.P. Goodrich, T. Idema, Physical Review E 91 (2015).
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Streaming min-max hypergraph partitioning
D.-A. Alistarh, J. Iglesias, M. Vojnović, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.
View | Download None (ext.)
 

2015 | Preprint | IST-REx-ID: 7779 | OA View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.
View | DOI | Download None (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 779
ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.
View | Files available | DOI
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 8242
Generation of recombinant FcεRIα of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients
L. Einhorn, J. Singer, M. Muhr, A. Schoos, K. Oida, J. Singer, L. Panakova, K. Manzano-Szalai, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 135 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1714
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavý, E. Benková, Bio-Protocol 5 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
Observing the overall rocking motion of a protein in a crystal
P. Ma, Y. Xue, N. Coquelle, J.D. Haller, T. Yuwen, I. Ayala, O. Mikhailovskii, D. Willbold, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 6 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457 View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
A model of substitution trajectories in sequence space and long-term protein evolution
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, F. Kondrashov, Molecular Biology and Evolution 32 (2015) 542–554.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8495
A note on micro-instability for Hamiltonian systems close to integrable
A. Bounemoura, V. Kaloshin, Proceedings of the American Mathematical Society 144 (2015) 1553–1560.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981 | OA
Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators
I. Zeljkovic, Y. Okada, M. Serbyn, R. Sankar, D. Walkup, W. Zhou, J. Liu, G. Chang, Y. Wang, M. Hasan, F. Chou, H. Lin, A. Bansil, L. Fu, V. Madhavan, Nature Materials 14 (2015) 318–324.
View | DOI | Download (ext.)
 

Search

Filter Publications