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.

11357 Publications


2013 | Published | Journal Article | IST-REx-ID: 3116
Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.
View | DOI | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 3261 | OA
Positional information, in bits
J. Dubuis, G. Tkačik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 331
CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibáñez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.
View | DOI
 

2013 | Published | Encyclopedia Article | IST-REx-ID: 3321
Kernel based learning
N. Quadrianto, C. Lampert, in:, W. Dubitzky, O. Wolkenhauer, K. Cho, H. Yokota (Eds.), Encyclopedia of Systems Biology, Springer, 2013, pp. 1069–1069.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 342
Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes
W. Li, R. Zamani, M. Ibáñez, D. Cadavid, A. Shavel, J. Morante, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 4664–4667.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 13405
Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
T. Ely, S. Das, W. Li, P. Kundu, E. Tirosh, D. Cahen, A. Vilan, R. Klajn, Synlett 24 (2013) 2370–2374.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 13406
Dual-responsive nanoparticles and their self-assembly
S. Das, P. Ranjan, P.S. Maiti, G. Singh, G. Leitus, R. Klajn, Advanced Materials 25 (2013) 422–426.
View | DOI | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1385 | OA
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Published | Thesis | PhD | IST-REx-ID: 1406
Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.
View
 

2013 | Published | Journal Article | IST-REx-ID: 1442 | OA
Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
View | DOI | Download (ext.)
 

2013 | Published | Book Chapter | IST-REx-ID: 1443 | OA
Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
View | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 1469
Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1470 | OA
Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 1785
Experimental realization of non-Abelian non-adiabatic geometric gates
A. Abdumalikov, J.M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, S. Filipp, Nature 496 (2013) 482–485.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1786 | OA
Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 1787
Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed