Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6122 Publications


2016 | Journal Article | IST-REx-ID: 1794 | OA
V. Kolmogorov and R. Takhanov, “Inference algorithms for pattern-based CRFs on sequence data,” Algorithmica, vol. 76, no. 1. Springer, pp. 17–46, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 261
T. D. Browning and I. Vinogradov, “Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1,” Journal of the London Mathematical Society, vol. 94, no. 1. John Wiley and Sons Ltd, pp. 61–84, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 262 | OA
T. D. Browning and R. Newton, “The proportion of failures of the Hasse norm principle,” Mathematika, vol. 62, no. 2. Cambridge University Press, pp. 337–347, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
R. De La Bretèche, T. D. Browning, and P. Salberger, “Counting rational points on the Cayley ruled cubic,” European Journal of Mathematics, vol. 2, no. 1. Springer Nature, pp. 55–72, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
M. Bright, T. D. Browning, and D. Loughran, “Failures of weak approximation in families,” Compositio Mathematica, vol. 152, no. 7. Cambridge University Press, pp. 1435–1475, 2016.
View | DOI | Download (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1479 | OA
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
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: 460 | OA
K. Willmann et al., “Expanding the interactome of the noncanonical NF-κB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 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: 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: 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: 370
Y. Liu et al., “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, vol. 5, no. 6. Royal Society of Chemistry, pp. 2592–2602, 2016.
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 | 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: 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: 1183 | OA
D.-C. Tarlungeanu et al., “Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder,” Cell, vol. 167, no. 6. Cell Press, pp. 1481–1494, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21. Wiley, pp. 6339–6342, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
A. Rueda et al., “Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics, Sydney, Australia, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
D. von Wangenheim et al., “Rules and self-organizing properties of post-embryonic plant organ cell division patterns,” Current Biology, vol. 26, no. 4. Cell Press, pp. 439–449, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1166
K. Chatterjee, M. Chmelik, and J. Davies, “A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, AZ, USA, 2016, vol. 2016, pp. 3225–3232.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
1 Anonymous, 2 Anonymous, and 3 Anonymous, Termination and worst-case analysis of recursive programs. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
1 Anonymous, 2 Anonymous, and 3 Anonymous, Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria, 2016.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
E. Mazur, E. Benková, and J. Friml, “Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
View | Files available | arXiv
 

2016 | Thesis | IST-REx-ID: 1398 | OA
T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” IST Austria, 2016.
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1382
T. Ellis and D. Field, “Repeated gains in yellow and anthocyanin pigmentation in flower colour transitions in the Antirrhineae,” Annals of Botany, vol. 117, no. 7. Oxford University Press, pp. 1133–1140, 2016.
View | Files available | DOI
 

Search

Filter Publications