en
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.
358 Publications
2015 | Journal Article | IST-REx-ID: 1693 
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
View
| DOI
| Download (ext.)
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
2015 | Conference Paper | IST-REx-ID: 1706
Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.
View
| DOI
| Download (ext.)
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.
2015 | Journal Article | IST-REx-ID: 1802
The schizophrenia risk gene product miR-137 alters presynaptic plasticity
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.
View
| DOI
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.
2015 | Conference Paper | IST-REx-ID: 1857
Curriculum learning of multiple tasks
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.
View
| DOI
| Download (ext.)
A. Pentina, V. Sharmanska, C. Lampert, in:, IEEE, 2015, pp. 5492–5500.
2015 | Journal Article | IST-REx-ID: 1864
The Altshuler–Shklovskii formulas for random band matrices II: The general case
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, Annales Henri Poincare 16 (2015) 709–799.
2015 | Journal Article | IST-REx-ID: 1871
Auxin transporters and binding proteins at a glance
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.
View
| Files available
| DOI
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.
2015 | Journal Article | IST-REx-ID: 1883
Anomalous scaling in an age-dependent branching model
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
View
| DOI
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).
2015 | Journal Article | IST-REx-ID: 1807
Sharp interface limit for two components Bose-Einstein condensates
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.
View
| DOI
| Download (ext.)
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.
2015 | Journal Article | IST-REx-ID: 1819
Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
View
| DOI
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
2015 | Journal Article | IST-REx-ID: 1845
Excitement about inhibitory presynaptic terminals
D.H. Vandael, C.M. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
View
| Files available
| DOI
D.H. Vandael, C.M. Espinoza Martinez, P.M. Jonas, Neuron 85 (2015) 1149–1151.
2015 | Journal Article | IST-REx-ID: 1840
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
View
| DOI
| Download (ext.)
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
2015 | Journal Article | IST-REx-ID: 2014
Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
View
| DOI
| Download (ext.)
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
2015 | Journal Article | IST-REx-ID: 257
Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
View
| DOI
| Download (ext.)
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
2015 | Journal Article | IST-REx-ID: 334
Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
View
| DOI
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
2015 | Journal Article | IST-REx-ID: 360
Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
View
| DOI
X. Yu, J. Liu, A. Genç, M. Ibanez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.
2015 | Journal Article | IST-REx-ID: 473
Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, N. Phan Thanh, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
View
| Files available
| DOI
M. Lewin, N. Phan Thanh, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.
2015 | Journal Article | IST-REx-ID: 524
Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
2015 | Technical Report | IST-REx-ID: 5431
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
2015 | Journal Article | IST-REx-ID: 5804
From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
View
| DOI
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
2015 | Journal Article | IST-REx-ID: 1939
Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincare 16 (2015) 1709–1711.
View
| Files available
| DOI
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincare 16 (2015) 1709–1711.
2015 | Conference Paper | IST-REx-ID: 1511
On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View
| Files available
| DOI
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
2015 | Journal Article | IST-REx-ID: 6737
Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.
View
| DOI
| Download (ext.)
| arXiv
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.
2015 | Journal Article | IST-REx-ID: 815
The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly
F. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.
View
| DOI
| PubMed | Europe PMC
F. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.
2015 | Conference Paper | IST-REx-ID: 776
The SprayList: A scalable relaxed priority queue
D. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, ACM, 2015, pp. 11–20.
View
| DOI
D. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, ACM, 2015, pp. 11–20.
2015 | Conference Paper | IST-REx-ID: 783
How to elect a leader faster than a tournament
D. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.
View
| DOI
| Download (ext.)
D. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.
2015 | Journal Article | IST-REx-ID: 928
Assembly and positioning of actomyosin rings by contractility and planar cell polarity
I. Sehring, P. Recho, E. Denker, M. Kourakis, B. Mathiesen, E.B. Hannezo, B. Dong, D. Jiang, ELife 4 (2015).
View
| Files available
| DOI
I. Sehring, P. Recho, E. Denker, M. Kourakis, B. Mathiesen, E.B. Hannezo, B. Dong, D. Jiang, ELife 4 (2015).
2015 | Technical Report | IST-REx-ID: 5443
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.
2015 | Journal Article | IST-REx-ID: 1624
Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
View
| Files available
| DOI
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
2015 | Conference Paper | IST-REx-ID: 1605
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
View
| DOI
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
2015 | Journal Article | IST-REx-ID: 1814
Water wave animation via wavefront parameter interpolation
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 34 (2015).
View
| Files available
| DOI
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 34 (2015).
2015 | Journal Article | IST-REx-ID: 1681
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
View
| Files available
| DOI
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
2015 | Conference Paper | IST-REx-ID: 1732
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.
2015 | Journal Article | IST-REx-ID: 1698
The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
View
| DOI
| Download (ext.)
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
2015 | Journal Article | IST-REx-ID: 1701
Thermodynamics and signatures of criticality in a network of neurons
G. Tkacik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
G. Tkacik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.
2015 | Conference Paper | IST-REx-ID: 1838
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
View
| DOI
| Download (ext.)
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
2015 | Technical Report | IST-REx-ID: 5429
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View
| Files available
| DOI
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
2015 | Technical Report | IST-REx-ID: 5436
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
2015 | Research Data | IST-REx-ID: 5549
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, IST Austria, 2015.
View
| Files available
| DOI
A. Fellner, Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes, IST Austria, 2015.
2015 | Journal Article | IST-REx-ID: 7456
Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals
D. Caruntu, T. Rostamzadeh, T. Costanzo, S. Salemizadeh Parizi, G. Caruntu, Nanoscale 7 (2015) 12955–12969.
View
| DOI
| PubMed | Europe PMC
D. Caruntu, T. Rostamzadeh, T. Costanzo, S. Salemizadeh Parizi, G. Caruntu, Nanoscale 7 (2015) 12955–12969.
2015 | Journal Article | IST-REx-ID: 1106
Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type
M. Isrie, M. Breuss, G. Tian, A.H. Hansen, F. Cristofoli, J. Morandell, Z.A. Kupchinsky, A. Sifrim, C. Rodriguez Rodriguez, E.P. Dapena, K. Doonanco, N. Leonard, F. Tinsa, S. Moortgat, H. Ulucan, E. Koparir, E. Karaca, N. Katsanis, V. Marton, J.R. Vermeesch, E.E. Davis, N.J. Cowan, D. Keays, H. Van Esch, The American Journal of Human Genetics 97 (2015) 790–800.
View
| DOI
M. Isrie, M. Breuss, G. Tian, A.H. Hansen, F. Cristofoli, J. Morandell, Z.A. Kupchinsky, A. Sifrim, C. Rodriguez Rodriguez, E.P. Dapena, K. Doonanco, N. Leonard, F. Tinsa, S. Moortgat, H. Ulucan, E. Koparir, E. Karaca, N. Katsanis, V. Marton, J.R. Vermeesch, E.E. Davis, N.J. Cowan, D. Keays, H. Van Esch, The American Journal of Human Genetics 97 (2015) 790–800.
2015 | Journal Article | IST-REx-ID: 121
Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
View
| DOI
| Download (ext.)
| arXiv
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
2015 | Conference Paper | IST-REx-ID: 1430
First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
View
| DOI
| Download (ext.)
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
2015 | Book Review | IST-REx-ID: 1473
Cohomology of large semiprojective hyperkähler varieties
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
View
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
2015 | Journal Article | IST-REx-ID: 1497
Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
View
| Files available
| DOI
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
2015 | Journal Article | IST-REx-ID: 1505
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
View
| DOI
| Download (ext.)
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
2015 | Conference Poster | IST-REx-ID: 1500
Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
View
| DOI
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
2015 | Journal Article | IST-REx-ID: 1543
A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants
Y. Olvera Carrillo, M. Van Bel, T. Van Hautegem, M. Fendrych, M. Huysmans, M. Šimášková, M. Van Durme, P. Buscaill, S. Rivas, N. Coll, F. Coppens, S. Maere, M. Nowack, Plant Physiology 169 (2015) 2684–2699.
View
| DOI
Y. Olvera Carrillo, M. Van Bel, T. Van Hautegem, M. Fendrych, M. Huysmans, M. Šimášková, M. Van Durme, P. Buscaill, S. Rivas, N. Coll, F. Coppens, S. Maere, M. Nowack, Plant Physiology 169 (2015) 2684–2699.
2015 | Journal Article | IST-REx-ID: 1548
Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
2015 | Journal Article | IST-REx-ID: 1550
Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.
2015 | Journal Article | IST-REx-ID: 1555
Rich bifurcation structure in a two patch vaccination model
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.
View
| DOI
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.