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.

6306 Publications


2016 | Journal Article | IST-REx-ID: 1261 | OA
J. Maas and D. Matthes, “Long-time behavior of a finite volume discretization for a fourth order diffusion equation,” Nonlinearity, vol. 29, no. 7. IOP Publishing Ltd., pp. 1992–2023, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
D. Mcmahon et al., “Elevated virulence of an emerging viral genotype as a driver of honeybee loss,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833. Royal Society, The, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1263 | OA
A. Rueda et al., “Efficient microwave to optical photon conversion: An electro-optical realization,” Optica, vol. 3, no. 6. OSA Publishing, pp. 597–604, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1264 | OA
G. Sancho Andrés et al., “Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier,” Plant Physiology, vol. 171, no. 3. American Society of Plant Biologists, pp. 1965–1982, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1265
K. Elsayad et al., “Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging,” Science Signaling, vol. 9, no. 435. American Association for the Advancement of Science, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1266 | OA
M. J. Chalk, B. Gutkin, and S. Denève, “Neural oscillations as a signature of efficient coding in the presence of synaptic delays,” eLife, vol. 5, no. 2016JULY. eLife Sciences Publications, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1267 | OA
R. Frank, R. Killip, and P. Nam, “Nonexistence of large nuclei in the liquid drop model,” Letters in Mathematical Physics, vol. 106, no. 8. Springer, pp. 1033–1036, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1268
B. Milutinovic and J. Kurtz, “Immune memory in invertebrates,” Seminars in Immunology, vol. 28, no. 4. Academic Press, pp. 328–342, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1269 | OA
E. Benková, “Plant hormones in interactions with the environment,” Plant Molecular Biology, vol. 91, no. 6. Springer, p. 597, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 896
K. Howe et al., “Structure and evolutionary history of a large family of NLR proteins in the zebrafish,” Open Biology, vol. 6, no. 4. Royal Society, The, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 9019 | OA
M. M. Bakail and F. Ochsenbein, “Targeting protein–protein interactions, a wide open field for drug design,” Comptes Rendus Chimie, vol. 19, no. 1–2. Elsevier, pp. 19–27, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 9051 | OA
M. S. Davies Wykes et al., “Dynamic self-assembly of microscale rotors and swimmers,” Soft Matter, vol. 12, no. 20. Royal Society of Chemistry, pp. 4584–4589, 2016.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 9052 | OA
H. Moyses, J. A. Palacci, S. Sacanna, and D. G. Grier, “Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam,” Soft Matter, vol. 12, no. 30. Royal Society of Chemistry , pp. 6357–6364, 2016.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 9140 | OA
P. Drobinski, B. Alonzo, S. Bastin, N. D. Silva, and C. J. MULLER, “Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?,” Journal of Geophysical Research: Atmospheres, vol. 121, no. 7. American Geophysical Union, pp. 3100–3119, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 92
J. Cole et al., “Relating the structure of geminal Amido Esters to their molecular hyperpolarizability,” Journal of Physical Chemistry C, vol. 120, no. 51. American Chemical Society, pp. 29439–29448, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 930
A. Sánchez Danés et al., “Defining the clonal dynamics leading to mouse skin tumour initiation,” Nature, vol. 536, no. 7616. Nature Publishing Group, pp. 298–303, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 931
E. B. Hannezo, A. Coucke, and J. Joanny, “Interplay of migratory and division forces as a generic mechanism for stem cell patterns,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 93, no. 2. American Institute of Physics, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 932
J. Sedzinski, E. B. Hannezo, F. Tu, M. Biro, and J. Wallingford, “Emergence of an Apical Epithelial Cell Surface In Vivo,” Developmental Cell, vol. 36, no. 1. Cell Press, pp. 24–35, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
T. Monk, C. Savin, and J. Lücke, “Neurons equipped with intrinsic plasticity learn stimulus intensity statistics,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine, 2016, vol. 29, pp. 4285–4293.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 983 | OA
A. Potter, M. Serbyn, and A. Vishwanath, “Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level,” Physical Review X, vol. 6, no. 3. American Physical Society, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 984 | OA
M. Serbyn, A. Michailidis, D. Abanin, and Z. Papić, “Power-law entanglement spectrum in many-body localized phases,” Physical Review Letters, vol. 117, no. 16. American Physical Society, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 985 | OA
L. Campos et al., “Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene,” Physical Review Letters, vol. 117, no. 6. American Physical Society, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 986 | OA
M. Serbyn and J. Moore, “Spectral statistics across the many-body localization transition,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 4. American Physical Society, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 987 | OA
P. Dumitrescu, M. Serbyn, R. Scalettar, and A. Vishwanath, “Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study,” Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 15. American Physical Society, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 372
M. Dalmases et al., “Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures,” Chemistry of Materials, vol. 28, no. 19. American Chemical Society, pp. 7017–7028, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 379
A. Shavel et al., “Scalable heating-up synthesis of monodisperse Cu2ZnSnS4 nanocrystals,” Chemistry of Materials, vol. 28, no. 3. American Chemical Society, pp. 720–726, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 380
F. Bertolotti et al., “Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots,” Nature Materials, vol. 15. Nature Publishing Group, pp. 987–994, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 381
Y. Liu et al., “Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials,” Journal of Materials Chemistry C, vol. 4. Royal Society of Chemistry, pp. 4756–4762, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 382
Z. Luo et al., “Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions,” ACS Applied Materials and Interfaces, vol. 8. American Chemical Society, pp. 17435–17444, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 383
Y. Liu et al., “Thermoelectric properties of semiconductor-metal composites produced by particle blending,” Applied Physics Letters, vol. 4. American Institute of Physics, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 389 | OA
F. Mahmood et al., “Selective scattering between Floquet Bloch and Volkov states in a topological insulator,” Nature Physics, vol. 12, no. 4. Nature Publishing Group, pp. 306–310, 2016.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 390
J. Hinton et al., “The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 363
J. De Roo et al., “Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals,” ACS Nano, vol. 10, no. 2. American Chemical Society, pp. 2071–2081, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 364
Z. Luo et al., “Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst,” Journal of Materials Chemistry A, vol. 4, no. 42. Royal Society of Chemistry, pp. 16706–16713, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 366 | OA
M. Meyn et al., “Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs,” ACS Applied Materials and Interfaces, vol. 8, no. 30. American Chemical Society, pp. 19579–19586, 2016.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 367
M. Ibáñez et al., “Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles,” Journal of Nanoparticle Research, vol. 18, no. 8. Springer, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 368
R. Nafria et al., “Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation,” Langmuir, vol. 32, no. 9. American Chemical Society, pp. 2267–2276, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 369
M. Ibáñez et al., “High performance thermoelectric nanocomposites from nanocrystal building blocks,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 371
Z. Luo et al., “Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte,” ACS Applied Materials and Interfaces, vol. 8, no. 43. American Chemical Society, pp. 29461–29469, 2016.
View | DOI
 

2016 | Thesis | IST-REx-ID: 1130 | OA
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” IST Austria, 2016.
View | Files available | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
J. Schwarz, “Quantitative analysis of haptotactic cell migration,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123 | OA
I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1121 | OA
H. Acar, “Selective barriers to horizontal gene transfer,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131 | OA
M. Tugrul, “Evolution of transcriptional regulatory sequences,” IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
S. Novak, “Evolutionary proccesses in variable emvironments,” IST Austria, 2016.
View | Files available
 

2016 | Research Data | IST-REx-ID: 5554 | OA
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1124 | OA
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” IST Austria, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
V. Kolmogorov, J. Thapper, and S. Živný, “The power of linear programming for general-valued CSPs,” SIAM Journal on Computing, vol. 44, no. 1. SIAM, pp. 1–36, 2015.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 256 | OA
T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731. Walter de Gruyter, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257 | OA
T. D. Browning and R. Munshi, “Pairs of diagonal quadratic forms and linear correlations among sums of two squares,” Forum Mathematicum, vol. 27, no. 4. Walter de Gruyter GmbH, pp. 2025–2050, 2015.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
T. D. Browning, “A survey of applications of the circle method to rational points,” in Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
T. D. Browning and P. Vishe, “Rational points on cubic hypersurfaces over F_q(t) ,” Geometric and Functional Analysis, vol. 25, no. 3. Birkhäuser, pp. 671–732, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
T. D. Browning, R. Dietmann, and R. Heath Brown, “Erratum Rational points on intersections of cubic and quadric hypersurfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4. Cambridge University Press, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
F. K. Schur et al., “Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution,” Nature, vol. 517, no. 7535. Nature Publishing Group, pp. 505–508, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
F. K. Schur, R. Dick, W. Hagen, V. Vogt, and J. Briggs, “The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly,” Journal of Virology, vol. 89, no. 20. ASM, pp. 10294–10302, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 8242
L. Einhorn et al., “Generation of recombinant FcεRIα of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients,” Journal of Allergy and Clinical Immunology, vol. 135, no. 2. Elsevier, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
P. Marhavý and E. Benková, “Real time analysis of lateral root organogenesis in arabidopsis,” Bio-protocol, vol. 5, no. 8. Bio-protocol LLC, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
P. Ma et al., “Observing the overall rocking motion of a protein in a crystal,” Nature Communications, vol. 6. Springer Nature, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457
P. Ma and P. Schanda, “Conformational exchange processes in biological systems: Detection by solid-state NMR,” eMagRes, vol. 4, no. 3. Wiley, pp. 699–708, 2015.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 8498
V. Kaloshin and K. Zhang, “Arnold diffusion for smooth convex systems of two and a half degrees of freedom,” Nonlinearity, vol. 28, no. 8. IOP Publishing, pp. 2699–2720, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
M. Guardia and V. Kaloshin, “Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation,” Journal of the European Mathematical Society, vol. 17, no. 1. European Mathematical Society Publishing House, pp. 71–149, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
C. Kretz et al., “Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13,” PNAS, vol. 112, no. 30. National Academy of Sciences, pp. 9328–9333, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
E. Kiermaier and M. K. Sixt, “Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection,” Science, vol. 349, no. 6252. American Association for the Advancement of Science, pp. 1055–1056, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
M. Sarris and M. K. Sixt, “Navigating in tissue mazes: Chemoattractant interpretation in complex environments,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 93–102, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, and M. Tancer, “Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex,” Discrete & Computational Geometry, vol. 54, no. 3. Springer, pp. 610–636, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
M. Svoreňová et al., “Temporal logic motion planning using POMDPs with parity objectives: Case study paper,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 233–238.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, and A. Podelski, “Eliminating spurious transitions in reachability with support functions,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
P. Amaro et al., “Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3,” Physical Review A, vol. 92, no. 2. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
K. Chatterjee and V. Prabhu, “Quantitative temporal simulation and refinement distances for timed systems,” IEEE Transactions on Automatic Control, vol. 60, no. 9. IEEE, pp. 2291–2306, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
J. Kaczmarczyk, T. Schickling, and J. Bünemann, “Evaluation techniques for Gutzwiller wave functions in finite dimensions,” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9. Wiley, pp. 2059–2071, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
M. Wysokiński, J. Kaczmarczyk, and J. Spałek, “Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states,” Physical Review B, vol. 92, no. 12. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkačik, and M. Berry, “High accuracy decoding of dynamical motion from a large retinal population,” PLoS Computational Biology, vol. 11, no. 7. Public Library of Science, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4. Elsevier, pp. 177–196, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
H. Uecker, D. Setter, and J. Hermisson, “Adaptive gene introgression after secondary contact,” Journal of Mathematical Biology, vol. 70, no. 7. Springer, pp. 1523–1580, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
E. Van Loon, M. Katsnelson, and M. Lemeshko, “Ultralong-range order in the Fermi-Hubbard model with long-range interactions,” Physical Review B, vol. 92, no. 8. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
G. Tkačik et al., “Thermodynamics and signatures of criticality in a network of neurons,” PNAS, vol. 112, no. 37. National Academy of Sciences, pp. 11508–11513, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1703
L. Broadhurst, G. Fifield, B. Vanzella, and M. Pickup, “An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas,” Australian Journal of Botany, vol. 63, no. 5. CSIRO, pp. 455–466, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
A. Deuchert, C. Hainzl, and R. Seiringer, “Note on a family of monotone quantum relative entropies,” Letters in Mathematical Physics, vol. 105, no. 10. Springer, pp. 1449–1466, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
A. Pentina and S. Ben David, “Multi-task and lifelong learning of kernels,” presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada, 2015, vol. 9355, pp. 194–208.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
A. Akopyan and A. Plakhov, “Minimal resistance of curves under the single impact assumption,” Society for Industrial and Applied Mathematics, vol. 47, no. 4. SIAM, pp. 2754–2769, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
A. Ratheesh, V. Belyaeva, and D. E. Siekhaus, “Drosophila immune cell migration and adhesion during embryonic development and larval immune responses,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 71–79, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1728
M. Cohen et al., “Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
É. Colin De Verdière, A. Hubard, and A. N. de Mesmay, “Discrete systolic inequalities and decompositions of triangulated surfaces,” Discrete & Computational Geometry, vol. 53, no. 3. Springer, pp. 587–620, 2015.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12. Elsevier, pp. 3–16, 2015.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Qualitative analysis of POMDPs with temporal logic specifications for robotics applications,” presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States, 2015, pp. 325–330.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications