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.

6487 Publications


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

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

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 9135(Part II), 121–133.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield J, Zhang W, Herde M, Clifton B, Radziejewski J, Janovjak HL, Henneberger C, Jackson C. 2015. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 24(9), 1412–1422.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber M, Jonas PM, Bartos M. 2015. Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. 112(4), 1220–1225.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer M, Krueger Burg D, Tuffy L, Cooper B, Taschenberger H, Goswami S, Ehrenreich H, Jonas PM, Varoqueaux F, Rhee J, Brose N. 2015. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 13(3), 516–523.
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
Hammar P, Angermayr A, Sjostrom S, Van Der Meer J, Hellingwerf K, Hudson E, Joensson H. 2015. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 8(1), 193.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1625
Bermano A, Beeler T, Kozlov Y, Bradley D, Bickel B, Gross M. 2015. Detailed spatio-temporal reconstruction of eyelids. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 44.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin T, Umetani N, Bickel B. 2015. OmniAD: Data-driven omni-directional aerodynamics. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 113.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez J, Thomaszewski B, Coros S, Bickel B, Canabal J, Sumner R, Otaduy M. 2015. Design and fabrication of flexible rod meshes. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 138.
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. 2015. Learning shape placements by example. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 108.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando R, Thuerey N, Wojtan CJ. 2015. A stream function solver for liquid simulations. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34, 53.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn D, Wojtan CJ. 2015. High-resolution brittle fracture simulation with boundary elements. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 151.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
Da F, Batty C, Wojtan CJ, Grinspun E. 2015. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 149.
View | Files available | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov V, Krokhin A, Rolinek M. 2015. The complexity of general-valued CSPs. FOCS: Foundations of Computer Science, 56th Annual Symposium on Foundations of Computer Science, , 1246–1258.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov LA. 2015. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 16(6), 375–388.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1640 | OA
Šimášková M, O’Brien J, Khan-Djamei M, Van Noorden G, Ötvös K, Vieten A, De Clercq I, Van Haperen J, Cuesta C, Hoyerová K, Vanneste S, Marhavý P, Wabnik KT, Van Breusegem F, Nowack M, Murphy A, Friml J, Weijers D, Beeckman T, Benková E. 2015. Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. 6, 8717.
View | Files available | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1645
Gazi P, Tessaro S. 2015. Secret-key cryptography from ideal primitives: A systematic verview. 2015 IEEE Information Theory Workshop. ITW 2015: IEEE Information Theory Workshop, 7133163.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee A, Fuchsbauer G, Peikert C, Pietrzak KZ, Stevens S. 2015. Key-homomorphic constrained pseudorandom functions. 9015, 31–60.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
Fuchsbauer G, Hanser C, Slamanig D. 2015. Practical round-optimal blind signatures in the standard model. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 233–253.
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648 | OA
Fuchsbauer G, Jafargholi Z, Pietrzak KZ. 2015. A quasipolynomial reduction for generalized selective decryption on trees. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 601–620.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1650 | OA
Skórski M, Golovnev A, Pietrzak KZ. 2015. Condensed unpredictability . ICALP: Automata, Languages and Programming, LNCS, vol. 9134, 1046–1057.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi F, Chase M, Fuchsbauer G, Kohlweiss M. 2015. Anonymous transferable e-cash. PKC: Public Key Crypography, LNCS, vol. 9020, 101–124.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652 | OA
Alwen JF, Serbinenko V. 2015. High parallel complexity graphs and memory-hard functions. Proceedings of the 47th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 595–603.
View | DOI | Download Submitted Version (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1655 | OA
Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174926.
View | Files available | DOI | arXiv
 

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

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

2015 | Conference Paper | IST-REx-ID: 1659 | OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem. LICS. LICS: Logic in Computer ScienceLogic in Computer Science, 750–761.
View | Files available | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1664 | OA
Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.
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
Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. 2015. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 9259, 141–159.
View | DOI | Download Preprint (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1669 | OA
Pietrzak KZ, Skórski M. 2015. The chain rule for HILL pseudoentropy, revisited. 9230, 81–98.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1671 | OA
Gazi P, Pietrzak KZ, Tessaro S. 2015. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. CRYPTO: International Cryptology Conference, LNCS, vol. 9215, 368–387.
View | Files available | DOI
 

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

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

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

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2015. Proofs of space. 9216, 585–605.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt MK, Raz E. 2015. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 36(10), 4–6.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, Nowak M, Nijman S, Grusch M, Janovjak HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
Lemoult GM, Maier P, Hof B. 2015. Taylor’s Forest. Physics of Fluids. 27(9), 091102.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1683
Letts JA, Sazanov LA. 2015. Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. 33(8), 135–145.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
Vicoso B, Bachtrog D. 2015. Numerous transitions of sex chromosomes in Diptera. PLoS Biology. 13(4), e1002078.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad V, de Mesmay AN. 2015. A fixed parameter tractable approximation scheme for the optimal cut graph of a surface. ESA: European Symposium on Algorithms, LNCS, vol. 9294, 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
Lee V, Waitukaitis SR, Miskin M, Jaeger H. 2015. Direct observation of particle interactions and clustering in charged granular streams. Nature Physics. 11(9), 733–737.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 886
Kondrashov D, Kondrashov F. 2015. Topological features of rugged fitness landscapes in sequence space. Trends in Genetics. 31(1), 24–33.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9017
Richet N, Liu D, Legrand P, Velours C, Corpet A, Gaubert A, Bakail MM, Moal-Raisin G, Guerois R, Compper C, Besle A, Guichard B, Almouzni G, Ochsenbein F. 2015. 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. 43(3), 1905–1917.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 9057 | OA
Palacci JA, Sacanna S, Abramian A, Barral J, Hanson K, Grosberg AY, Pine DJ, Chaikin PM. 2015. Artificial rheotaxis. Science Advances. 1(4), e1400214.
View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova O, Meer M, Mikoulinskaia G, Zakharova M, Galushko A, Akimenko V, Kondrashov F. 2015. Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One. 10(5).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9141 | OA
Lefauve A, MULLER CJ, Melet A. 2015. A three-dimensional map of tidal dissipation over abyssal hills. Journal of Geophysical Research: Oceans. 120(7), 4760–4777.
View | DOI | Download Published Version (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 928 | OA
Sehring I, Recho P, Denker E, Kourakis M, Mathiesen B, Hannezo EB, Dong B, Jiang D. 2015. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 4, e09206.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 929
Hannezo EB, Dong B, Recho P, Joanny J, Hayashi S. 2015. Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS. 112(28), 8620–8625.
View | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 99 | OA
Higginbotham AP, Albrecht SM, Kiršanskas G, Chang W, Kuemmeth F, Krogstrup P, Jespersen T, Nygård J, Flensberg K, Marcus C. 2015. Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. 11(12), 1017–1021.
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2015 | Journal Article | IST-REx-ID: 334
Yu X, Liu J, Genç A, Ibáñez M, Luo Z, Shavel A, Arbiol J, Zhang G, Zhang Y, Cabot A. 2015. Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. 31(38), 10555–10561.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Ibáñez M, Korkosz R, Luo Z, Riba P, Cadavid D, Ortega S, Cabot A, Kanatzidis M. 2015. Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement. Journal of the American Chemical Society. 137(12), 4046–4049.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
Yu X, Liu J, Genç A, Ibáñez M, Luo Z, Shavel A, Arbiol J, Zhang G, Zhang Y, Cabot A. 2015. Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir. 31(38), 10555–10561.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Yu X, An X, Genç A, Ibáñez M, Arbiol J, Zhang Y, Cabot A. 2015. Cu2ZnSnS4–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution. Journal of Physical Chemistry C. 119(38), 21882–21888.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu Z, Ibáñez M, Antolín A, Genç A, Shavel A, Contreras S, Medina F, Arbiol J, Cabot A. 2015. Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties. Langmuir. 31(13), 3952–3957.
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1729
Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2015. Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria. Molecular Biology and Evolution. 33(3), 770–782.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues JA, ZILBERMAN D. 2015. Evolution and function of genomic imprinting in plants. Genes and Development. 29(24), 2517–2531.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 9575 | OA
Krivelevich M, Kwan MA, Sudakov B. 2015. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. 49, 181–187.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 9673
Leung HS, Leung PSS, Cheng B, Ngan AHW. 2015. A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions. International Journal of Plasticity. 67, 1–25.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 9688 | OA
Cheng B, Tribello GA, Ceriotti M. 2015. Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. 92(18), 180102.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 9684
Leung PSS, Leung HS, Cheng B, Ngan AHW. 2015. Size dependence of yield strength simulated by a dislocation-density function dynamics approach. Modelling and Simulation in Materials Science and Engineering. 23(3), 035001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1809 | OA
Trubenova B, Novak S, Hager R. 2015. Indirect genetic effects and the dynamics of social interactions. PLoS One. 10(5).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.
View | Files available | DOI
 

Search

Filter Publications