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.

5256 Publications


2014 | Conference Paper | IST-REx-ID: 2163
Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573. 110–121.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422   OA
Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2257
Tkacik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. 2014. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 10(1).
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122   OA
Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. 2014. Organisational immunity in social insects. Current Opinion in Insect Science. 5(1), 1–15.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 96   OA
Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. 2014. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 112(2), 026801.
View | DOI | Download (ext.) | arXiv
 

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

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

2013 | Journal Article | IST-REx-ID: 1988
Bonny M, Fischer Friedrich E, Loose M, Schwille P, Kruse K. 2013. Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology. 9(12).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras M, Thomaszewski B, Coros S, Bickel B, Groß M. 2013. Computational design of actuated deformable characters. ACM Transactions on Graphics. 32(4).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Bickel B, Alexa M. 2013. Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. 33(6), 24–25.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2152   OA
Bhongale S, Mathey L, Zhao E, Yelin S, Lemeshko M. 2013. Erratum: Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. 111(23).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2450
Liu J, Menhi S, Topping J, Friml J, Lindsey K. 2013. Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development. Frontiers in Plant Science. 4(75).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 251
De La Bretèche R, Browning TD. 2013. Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie des Nombres de Bordeaux. 26(1), 25–44.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2405   OA
Frank R, Lieb É, Seiringer R. 2013. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 319(2), 557–573.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2690
Budisantoso T, Harada H, Kamasawa N, Fukazawa Y, Shigemoto R, Matsui K. 2013. Evaluation of glutamate concentration transient in the synaptic cleft of the rat calyx of Held. Journal of Physiology. 591(1), 219–239.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2900
Azevedo R, Lohaus R, Paixao T. 2013. Networking networks. Evolution & Development. 10(5), 514–515.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 352
Cadavid D, Ibanez M, Shavel A, Durá O, López De La Torre M, Cabot A. 2013. Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te. Journal of Materials Chemistry A. 1(15), 4864–4870.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 117
Jaeger H, Miskin M, Waitukaitis SR. 2013. From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions. AIP Conference Proceedings. Powders and Grains vol. 1542. 3–6.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 1387
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
Biedl T, Held M, Huber S. 2013. Reconstructing polygons from embedded straight skeletons. 29th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry 95–98.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2258   OA
Kiltz E, Pietrzak KZ, Szegedy M. 2013. Digital signatures with minimal overhead from indifferentiable random invertible functions. 8042, 571–588.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260   OA
Bernhard D, Fuchsbauer G, Ghadafi E. 2013. Efficient signatures of knowledge and DAA in the standard model. 7954, 518–533.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2272   OA
Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28. 145–153.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2013. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 13(1), 225.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger TA. 2013. Quantitative reactive modeling and verification. Computer Science Research and Development. 28(4), 331–344.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2291   OA
Ferrara A, Fuchsbauer G, Warinschi B. 2013. Cryptographically enforced RBAC. CSF: Computer Security Foundations 115–129.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2518   OA
Kolmogorov V. 2013. The power of linear programming for finite-valued CSPs: A constructive characterization. ICALP: Automata, Languages and Programming, LNCS, vol. 7965. 625–636.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520   OA
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. 2013. The supervised IBP: Neighbourhood preserving infinite latent feature models. Proceedings of the 29th conference uncertainty in Artificial Intelligence. UAI: Uncertainty in Artificial Intelligence 527–536.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2412   OA
Kupczok A, Bollback JP. 2013. Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology. 13(1), 54–54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2448   OA
Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 8(10).
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2467   OA
Bernstein G, Wojtan CJ. 2013. Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. 32(4).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2304
Pausinger F. 2013. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 43, 43–50.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2328   OA
Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability proofs. 8052, 242–256.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277   OA
Simmons K, Prentice J, Tkacik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2013. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 9(12), e1003344.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup M, Wilson S, Freudenberger D, Nicholls N, Gould L, Hnatiuk S, Delandre J. 2013. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 38(3), 300–312.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2828   OA
Kolmogorov V, Živný S. 2013. The complexity of conservative valued CSPs. Journal of the ACM. 60(2).
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2830
Moussion C, Sixt MK. 2013. A conduit to amplify innate immunity. Immunity. 38(5), 853–854.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2835   OA
Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2), 965–976.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2842   OA
Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 87(1), 105–119.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816   OA
Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2847   OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2811   OA
Avila M, Hof B. 2013. Nature of laminar-turbulence intermittency in shear flows. Physical Review E. 87(6).
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler V, Oteo J, Ros J, Glendinning P. 2013. Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. 46(12), 125101.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2880   OA
Marhavy P, Vanstraelen M, De Rybel B, Zhaojun D, Bennett M, Beeckman T, Benková E. 2013. Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. 32(1), 149–158.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera A, Henzinger TA, Nesetril J, Vojnar T, Antos D eds. 2013. Mathematical and Engineering Methods in Computer Science, Springer,p.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2948   OA
Tommasi T, Quadrianto N, Caputo B, Lampert C. 2013. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 7724, 1–15.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed