Please note that ISTA 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.

9114 Publications


2016 | Conference Paper | IST-REx-ID: 1707 View | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 262 | OA
The proportion of failures of the Hasse norm principle
T.D. Browning, R. Newton, Mathematika 62 (2016) 337–347.
View | DOI | Download (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 264 | OA
Failures of weak approximation in families
M. Bright, T.D. Browning, D. Loughran, Compositio Mathematica 152 (2016) 1435–1475.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 364
Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst
Z. Luo, J. Lu, C. Flox, R. Nafria, A. Genç, J. Arbiol, J. Llorca, M. Ibáñez, J. Morante, A. Cabot, Journal of Materials Chemistry A 4 (2016) 16706–16713.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 367
Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles
M. Ibáñez, T. Berestok, O. Dobrozhan, A. Lalonde, V. Izquierdo Roca, A. Shavel, A. Pérez Rodríguez, G.J. Snyder, A. Cabot, Journal of Nanoparticle Research 18 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 369
High performance thermoelectric nanocomposites from nanocrystal building blocks
M. Ibáñez, Z. Luo, A. Genç, L. Piveteau, S. Ortega, D. Cadavid, O. Dobrozhan, Y. Liu, M. Nachtegaal, M. Zebarjadi, J. Arbiol, M. Kovalenko, A. Cabot, Nature Communications 7 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 370
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
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: 372
Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures
M. Dalmases, M. Ibáñez, P. Torruella, V. Fernàndez Altable, L. López Conesa, D. Cadavid, L. Piveteau, M. Nachtegaal, J. Llorca, M. Ruiz González, S. Estradé, F. Peiró, M. Kovalenko, A. Cabot, A. Figuerola, Chemistry of Materials 28 (2016) 7017–7028.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 380
Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots
F. Bertolotti, D. Dirin, M. Ibáñez, F. Krumreich, A. Cervellino, R. Frison, O. Voznyy, E. Sargent, M. Kovalenko, A. Guagliardi, N. Masciocchi, Nature Materials 15 (2016) 987–994.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 381
Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials
Y. Liu, D. Cadavid, M. Ibáñez, J. De Roo, S. Ortega, O. Dobrozhan, M. Kovalenko, A. Cabot, Journal of Materials Chemistry C 4 (2016) 4756–4762.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 383
Thermoelectric properties of semiconductor-metal composites produced by particle blending
Y. Liu, D. Cadavid, M. Ibáñez, S. Ortega, S. Márti Sánchez, O. Dobrozhan, M. Kovalenko, J. Arbiol, A. Cabot, Applied Physics Letters 4 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 390
The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors
J. Hinton, E. Thewalt, Z. Alpichshev, F. Mahmood, J. Koralek, M. Chan, M. Veit, C. Dorow, N. Barišić, A. Kemper, D. Bonn, W. Hardy, R. Liang, N. Gedik, M. Greven, A. Lanzara, J. Orenstein, Scientific Reports 6 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 363
Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals
J. De Roo, M. Ibáñez, P. Geiregat, G. Nedelcu, W. Walravens, J. Maes, J. Martins, I. Van Driessche, M. Kovalenko, Z. Hens, ACS Nano 10 (2016) 2071–2081.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
M. Meyn, M. Perálvarez, A. Heuer Jungemann, W. Hertog, M. Ibáñez, R. Nafria, A. Genç, J. Arbiol, M. Kovalenko, J. Carreras, A. Cabot, A. Kanaras, ACS Applied Materials and Interfaces 8 (2016) 19579–19586.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 368
Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation
R. Nafria, A. Genç, M. Ibáñez, J. Arbiol, P. Ramírez De La Piscina, N. Homs, A. Cabot, Langmuir 32 (2016) 2267–2276.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 371
Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte
Z. Luo, S. Márti Sánchez, R. Nafria, G. Joshua, M. De La Mata, P. Guardia, C. Flox, C. Martínez Boubeta, K. Simeonidis, J. Llorca, J. Morante, J. Arbiol, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 8 (2016) 29461–29469.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 379
Scalable heating-up synthesis of monodisperse Cu2ZnSnS4 nanocrystals
A. Shavel, M. Ibáñez, Z. Luo, J. De Roo, A. Carrete, M. Dimitrievska, A. Genç, M. Meyns, A. Pérez Rodríguez, M. Kovalenko, J. Arbol, A. Cabot, Chemistry of Materials 28 (2016) 720–726.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 382
Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions
Z. Luo, E. Irtem, M. Ibanez, R. Nafria, S. Márti Sánchez, A. Genç, M. De La Mata, Y. Liu, D. Cadavid, J. Llorca, J. Arbiol, T. Andreu, J. Morante, A. Cabot, ACS Applied Materials and Interfaces 8 (2016) 17435–17444.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Selective scattering between Floquet Bloch and Volkov states in a topological insulator
F. Mahmood, C. Chan, Z. Alpichshev, D. Gardner, Y. Lee, P. Lee, N. Gedik, Nature Physics 12 (2016) 306–310.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Expanding the interactome of the noncanonical NF-κB signaling pathway
K. Willmann, R. Sacco, R. Martins, W. Garncarz, A. Krolo, S. Knapp, K. Bennett, K. Boztug, Journal of Proteome Research 15 (2016) 2900–2909.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
Rules and self-organizing properties of post-embryonic plant organ cell division patterns
D. von Wangenheim, J. Fangerau, A. Schmitz, R. Smith, H. Leitte, E. Stelzer, A. Maizel, Current Biology 26 (2016) 439–449.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 

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

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

2016 | Technical Report | IST-REx-ID: 5445 | OA
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

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

2016 | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
Retrovirus maturation—an extraordinary structural transformation
S. Mattei, F.K. Schur, J.A. Briggs, Current Opinion in Virology 18 (2016) 27–35.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
On some local topological properties of naive discrete sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 588
Measurement noise 100 times lower than the quantum-projection limit using entangled atoms
O. Hosten, N. Engelsen, R. Krishnakumar, M. Kasevich, Nature 529 (2016) 505–508.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
Quantum phase magnification
O. Hosten, R. Krishnakumar, N. Engelsen, M. Kasevich, Science 352 (2016) 1552–1555.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 592
Engineering spin squeezed states for quantum-enhanced atom interferometry
N. Engelsen, O. Hosten, R. Krishnakumar, M. Kasevich, in:, IEEE, 2016.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 602
Structure of transcribing mammalian RNA polymerase II
C. Bernecky, F. Herzog, W. Baumeister, J. Plitzko, P. Cramer, Nature 529 (2016) 551–554.
View | DOI
 

Search

Filter Publications