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.

6692 Publications


2015 | Journal Article | IST-REx-ID: 1593 | OA
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, and E. Benková, “Strategies of seedlings to overcome their sessile nature: Auxin in mobility control,” Frontiers in Plant Science, vol. 6, no. 4. Frontiers Research Foundation, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” vol. 9411. Springer, pp. 373–379, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” Theoretical Computer Science, vol. 573, no. 3. Elsevier, pp. 71–89, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1603 | OA
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
View | Files available | DOI | Download Preprint (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1605 | OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” vol. 9333. Springer, pp. 281–286, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” vol. 9135. Springer, pp. 108–120, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” vol. 9135, no. Part II. Springer, pp. 121–133, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
J. Whitfield et al., “Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction,” Protein Science, vol. 24, no. 9. Wiley, pp. 1412–1422, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4. National Academy of Sciences, pp. 1220–1225, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
M. Hammer et al., “Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism,” Cell Reports, vol. 13, no. 3. Cell Press, pp. 516–523, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
P. Hammar et al., “Single-cell screening of photosynthetic growth and lactate production by cyanobacteria,” Biotechnology for Biofuels, vol. 8, no. 1. BioMed Central, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
A. Pavlogiannis, K. Chatterjee, B. Adlam, and M. Nowak, “Cellular cooperation with shift updating and repulsion,” Scientific Reports, vol. 5. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, and M. Gross, “Detailed spatio-temporal reconstruction of eyelids,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
T. Martin, N. Umetani, and B. Bickel, “OmniAD: Data-driven omni-directional aerodynamics,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
J. Pérez et al., “Design and fabrication of flexible rod meshes,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, and M. Gross, “Microstructures to control elasticity in 3D printing,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Learning shape placements by example,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
R. Ando, N. Thuerey, and C. J. Wojtan, “A stream function solver for liquid simulations,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
D. Hahn and C. J. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
F. Da, C. Batty, C. J. Wojtan, and E. Grinspun, “Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4. Univ. Paul Sabatier, pp. 781–800, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
V. Kolmogorov, M. Rolinek, and R. Takhanov, “Effectiveness of structural restrictions for hybrid CSPs,” vol. 9472. Springer, pp. 566–577, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1637 | OA
V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States, 2015, pp. 1246–1258.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1638
L. A. Sazanov, “A giant molecular proton pump: structure and mechanism of respiratory complex I,” Nature Reviews Molecular Cell Biology, vol. 16, no. 6. Nature Publishing Group, pp. 375–388, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1639 | OA
J. Maas, M. Rumpf, C. Schönlieb, and S. Simon, “A generalized model for optimal transport of images including dissipation and density modulation,” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6. EDP Sciences, pp. 1745–1769, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
M. Šimášková et al., “Cytokinin response factors regulate PIN-FORMED auxin transporters,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642 | OA
R. Fulek, J. Kynčl, I. Malinovič, and D. Pálvölgyi, “Clustered planarity testing revisited,” Electronic Journal of Combinatorics, vol. 22, no. 4. Electronic Journal of Combinatorics, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
G. Demay, P. Gazi, U. Maurer, and B. Tackmann, “Query-complexity amplification for random oracles,” presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland, 2015, vol. 9063, pp. 159–180.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1645
P. Gazi and S. Tessaro, “Secret-key cryptography from ideal primitives: A systematic verview,” in 2015 IEEE Information Theory Workshop, Jerusalem, Israel, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
A. Banerjee, G. Fuchsbauer, C. Peikert, K. Z. Pietrzak, and S. Stevens, “Key-homomorphic constrained pseudorandom functions,” vol. 9015. Springer, pp. 31–60, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
G. Fuchsbauer, C. Hanser, and D. Slamanig, “Practical round-optimal blind signatures in the standard model,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 233–253.
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648 | OA
G. Fuchsbauer, Z. Jafargholi, and K. Z. Pietrzak, “A quasipolynomial reduction for generalized selective decryption on trees,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2015, vol. 9215, pp. 601–620.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1649 | OA
F. Benhamouda, S. Krenn, V. Lyubashevsky, and K. Z. Pietrzak, “Efficient zero-knowledge proofs for commitments from learning with errors over rings,” vol. 9326. Springer, pp. 305–325, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650 | OA
M. Skórski, A. Golovnev, and K. Z. Pietrzak, “Condensed unpredictability ,” presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan, 2015, vol. 9134, pp. 1046–1057.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
F. Baldimtsi, M. Chase, G. Fuchsbauer, and M. Kohlweiss, “Anonymous transferable e-cash,” presented at the PKC: Public Key Crypography, Gaithersburg, MD, USA, 2015, vol. 9020, pp. 101–124.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652 | OA
J. F. Alwen and V. Serbinenko, “High parallel complexity graphs and memory-hard functions,” in Proceedings of the 47th annual ACM symposium on Theory of computing, Portland, OR, United States, 2015, pp. 595–603.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654 | OA
P. Gazi, K. Z. Pietrzak, and S. Tessaro, “Generic security of NMAC and HMAC with input whitening,” vol. 9453. Springer, pp. 85–109, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655 | OA
G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10. Multidisciplinary Digital Publishing Institute, pp. 7266–7297, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.
View | Files available | DOI | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1657
K. Chatterjee, Z. Komárková, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes.” IEEE, pp. 244–256, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1658
S. Bogomolov, T. A. Henzinger, A. Podelski, J. Ruess, and C. Schilling, “Adaptive moment closure for parameter inference of biochemical reaction networks,” vol. 9308. Springer, pp. 77–89, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659 | OA
U. Boker, T. A. Henzinger, and J. Otop, “The target discounted-sum problem,” in LICS, Kyoto, Japan, 2015, pp. 750–761.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660 | OA
T. Brázdil, S. Kiefer, A. Kučera, and P. Novotný, “Long-run average behaviour of probabilistic vector addition systems,” presented at the LICS: Logic in Computer Science, Kyoto, Japan, 2015, pp. 44–55.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661 | OA
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1663
K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, and J. Cardinaux, “Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2,” Cellular Signalling, vol. 27, no. 11. Elsevier, pp. 2252–2260, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1664 | OA
D. Barkley, B. Song, M. Vasudevan, G. M. Lemoult, M. Avila, and B. Hof, “The rise of fully turbulent flow,” Nature, vol. 526, no. 7574. Nature Publishing Group, pp. 550–553, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1665 | OA
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1667 | OA
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, and V. Řehák, “Optimizing performance of continuous-time stochastic systems using timeout synthesis,” vol. 9259. Springer, pp. 141–159, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1668 | OA
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, and S. Tessaro, “Relaxing full-codebook security: A refined analysis of key-length extension schemes,” vol. 9054. Springer, pp. 319–341, 2015.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1669 | OA
K. Z. Pietrzak and M. Skórski, “The chain rule for HILL pseudoentropy, revisited,” vol. 9230. Springer, pp. 81–98, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1670
S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1671 | OA
P. Gazi, K. Z. Pietrzak, and S. Tessaro, “The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9215, pp. 368–387.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” vol. 9216. Springer, pp. 763–780, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673 | OA
B. Adlam, K. Chatterjee, and M. Nowak, “Amplifiers of selection,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471, no. 2181. Royal Society of London, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1674 | OA
J. Lee and K. Schnelli, “Edge universality for deformed Wigner matrices,” Reviews in Mathematical Physics, vol. 27, no. 8. World Scientific Publishing, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” vol. 9216. Springer, pp. 585–605, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1676
M. K. Sixt and E. Raz, “Editorial overview: Cell adhesion and migration,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 4–6, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. American Institute of Physics, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12. Nature Publishing Group, pp. 952–954, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
G. M. Lemoult, P. Maier, and B. Hof, “Taylor’s Forest,” Physics of Fluids, vol. 27, no. 9. American Institute of Physics, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1. ACM, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4. Multidisciplinary Digital Publishing Institute, pp. 413–437, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682 | OA
P. Franek and M. Krcál, “Robust satisfiability of systems of equations,” Journal of the ACM, vol. 62, no. 4. ACM, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1683
J. A. Letts and L. A. Sazanov, “Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions,” Current Opinion in Structural Biology, vol. 33, no. 8. Elsevier, pp. 135–145, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
B. Vicoso and D. Bachtrog, “Numerous transitions of sex chromosomes in Diptera,” PLoS Biology, vol. 13, no. 4. Public Library of Science, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685 | OA
V. Cohen Addad and A. N. de Mesmay, “A fixed parameter tractable approximation scheme for the optimal cut graph of a surface,” presented at the ESA: European Symposium on Algorithms, Patras, Greece, 2015, vol. 9294, pp. 386–398.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1106
Isrie M, Breuss M, Tian G, Hansen AH, Cristofoli F, Morandell J, Kupchinsky ZA, Sifrim A, Rodriguez Rodriguez C, Dapena EP, Doonanco K, Leonard N, Tinsa F, Moortgat S, Ulucan H, Koparir E, Karaca E, Katsanis N, Marton V, Vermeesch JR, Davis EE, Cowan NJ, Keays D, Van Esch H. 2015. Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type. The American Journal of Human Genetics. 97(6), 790–800.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 120
V. Lee, S. R. Waitukaitis, M. Miskin, and H. Jaeger, “Direct observation of particle interactions and clustering in charged granular streams,” Nature Physics, vol. 11, no. 9. Nature Publishing Group, pp. 733–737, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121 | OA
S. R. Waitukaitis, R. Menaut, B. Chen, and M. Van Hecke, “Origami multistability: From single vertices to metasheets,” APS Physics, Physical Review Letters, vol. 114, no. 5. American Physical Society, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 886
D. Kondrashov and F. Kondrashov, “Topological features of rugged fitness landscapes in sequence space,” Trends in Genetics, vol. 31, no. 1. Elsevier, pp. 24–33, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9017
N. Richet et al., “Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with ASF1 at the replication fork,” Nucleic Acids Research, vol. 43, no. 3. Oxford University Press, pp. 1905–1917, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 9057 | OA
J. A. Palacci et al., “Artificial rheotaxis,” Science Advances, vol. 1, no. 4. American Association for the Advancement of Science , 2015.
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2015 | Journal Article | IST-REx-ID: 906
O. Arkhipova et al., “Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer,” PLoS One, vol. 10, no. 5. Public Library of Science, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9141 | OA
A. Lefauve, C. J. MULLER, and A. Melet, “A three-dimensional map of tidal dissipation over abyssal hills,” Journal of Geophysical Research: Oceans, vol. 120, no. 7. American Geophysical Union, pp. 4760–4777, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 924
R. Boubaker, V. Platel, A. Bergès, M. Bancelin, and E. B. Hannezo, “Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop,” Applied Thermal Engineering, vol. 76. Elsevier, pp. 1–8, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 928 | OA
I. Sehring et al., “Assembly and positioning of actomyosin rings by contractility and planar cell polarity,” eLife, vol. 4. eLife Sciences Publications, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 929
E. B. Hannezo, B. Dong, P. Recho, J. Joanny, and S. Hayashi, “Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes,” PNAS, vol. 112, no. 28. National Academy of Sciences, pp. 8620–8625, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 933 | OA
S. García, E. B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, and N. Gov, “Physics of active jamming during collective cellular motion in a monolayer,” PNAS, vol. 112, no. 50. National Academy of Sciences, pp. 15314–15319, 2015.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 981 | OA
I. Zeljkovic et al., “Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators,” Nature Materials, vol. 14, no. 3. Nature Publishing Group, pp. 318–324, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 982 | OA
M. Serbyn, Z. Papić, and D. Abanin, “Criterion for many-body localization-delocalization phase transition,” Physical Review X, vol. 5, no. 4. American Physical Society, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99 | OA
A. P. Higginbotham et al., “Parity lifetime of bound states in a proximitized semiconductor nanowire,” Nature Physics, vol. 11, no. 12. Nature Publishing Group, pp. 1017–1021, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 388 | OA
Z. Alpichshev, F. Mahmood, G. Cao, and N. Gedik, “Confinement deconfinement transition as an indication of spin liquid type behavior in Na2IrO3,” Physical Review Letters, vol. 114, no. 1. American Physical Society, 2015.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 333
M. Walter, K. Kravchyk, M. Ibáñez, and M. Kovalenko, “Efficient and inexpensive sodium magnesium hybrid battery,” Chemistry of Materials, vol. 27, no. 21. ACS, pp. 7452–7458, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 334
X. Yu et al., “Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting,” Langmuir, vol. 31, no. 38. American Chemical Society, pp. 10555–10561, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
M. Ibáñez et al., “Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement,” Journal of the American Chemical Society, vol. 137, no. 12. American Chemical Society, pp. 4046–4049, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
X. Yu et al., “Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting,” Langmuir, vol. 31, no. 38. American Chemical Society, pp. 10555–10561, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
X. Yu et al., “Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution,” Journal of Physical Chemistry C, vol. 119, no. 38. American Chemical Society, pp. 21882–21888, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Z. Lu et al., “Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties,” Langmuir, vol. 31, no. 13. American Chemical Society, pp. 3952–3957, 2015.
View | DOI
 

2015 | Thesis | IST-REx-ID: 1401 | OA
V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” IST Austria, 2015.
View | Files available | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1607 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 9673
H. S. Leung, P. S. S. Leung, B. Cheng, and A. H. W. Ngan, “A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions,” International Journal of Plasticity, vol. 67. Elsevier, pp. 1–25, 2015.
View | DOI
 

Search

Filter Publications