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.

5491 Publications


2014 | Conference Paper | IST-REx-ID: 2213   OA
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 544–559.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475   OA
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
A. Dunst, V. Epp, I. Hanzu, S. A. Freunberger, and M. Wilkening, “Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries,” Energy & Environmental Science, vol. 7, no. 8, pp. 2739–2752, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
J. L. Csicsvari and D. Dupret, “Sharp wave/ripple network oscillations and learning-associated hippocampal maps,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, p. 20120528, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2167
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications for IOCO testing,” in IEEE 7th International Conference on Software Testing, Verification and Validation, Cleveland, USA, 2014, p. 6823899.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1312
J. L. Fischer, “Upper bounds on waiting times for the Thin-film equation: The case of weak slippage,” Archive for Rational Mechanics and Analysis, vol. 211, no. 3, pp. 771–818, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4, 2014.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
K. Muelling, O. Kroemer, C. Lampert, and B. Schölkopf, “Movement templates for learning of hitting and batting,” in Learning Motor Skills, vol. 97, J. Kober and J. Peters, Eds. Springer, 2014, pp. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23, pp. 2786–2791, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729, pp. 90–93, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
A. Ritzau Jost et al., “Ultrafast action potentials mediate kilohertz signaling at a central synapse,” Neuron, vol. 84, no. 1, pp. 152–163, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
H. Tian et al., “WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis,” Molecular Plant, vol. 7, no. 2, pp. 277–289, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1913
I. Milenković, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology differentiate neurodegenerative dementias,” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, pp. 375–388, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1918   OA
J. Bellazzini, R. Frank, É. Lieb, and R. Seiringer, “Existence of ground states for negative ions at the binding threshold,” Reviews in Mathematical Physics, vol. 26, no. 1, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
W. Wang et al., “Distinct cerebellar engrams in short-term and long-term motor learning,” PNAS, vol. 111, no. 1, pp. E188–E193, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925
C. Lamprecht et al., “A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes,” Nanotechnology, vol. 25, no. 12, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1932   OA
M. Trotter, D. Weissman, G. Peterson, K. Peck, and J. Masel, “Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations,” Evolution, vol. 68, no. 12, pp. 3357–3367, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
P. Bourgade, L. Erdös, and H. Yau, “Edge universality of beta ensembles,” Communications in Mathematical Physics, vol. 332, no. 1, pp. 261–353, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2005
D. Dupret and J. L. Csicsvari, “Turning heads to remember places,” Nature Neuroscience, vol. 17, no. 5, pp. 643–644, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2012   OA
M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada, 2014, pp. 155–161.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2043   OA
U. Bauer, M. Kerber, and J. Reininghaus, “Distributed computation of persistent homology,” in Proceedings of the Workshop on Algorithm Engineering and Experiments, Portland, USA, 2014, pp. 31–38.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2050   OA
J. Kühnen, M. Holzner, B. Hof, and H. Kuhlmann, “Experimental investigation of transitional flow in a toroidal pipe,” Journal of Fluid Mechanics, vol. 738, pp. 463–491, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2081
M. Skouras et al., “Designing inflatable structures,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2014, vol. 33, no. 4.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2029   OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036   OA
M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 2014.
View | DOI | Download (ext.)
 

2014 | Preprint | IST-REx-ID: 2017   OA
C. Uhler, A. Lenkoski, and D. Richards, “ Exact formulas for the normalizing constants of Wishart distributions for graphical models,” ArXiv. ArXiv, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2024   OA
J. Toshima et al., “Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole,” Nature Communications, vol. 5, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2168   OA
J. Kelleher, A. Etheridge, and N. H. Barton, “Coalescent simulation in continuous space: Algorithms for large neighbourhood size,” Theoretical Population Biology, vol. 95, pp. 13–23, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170   OA
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N. H. Barton, and K. Lohse, “Likelihood-based inference of population history from low-coverage de novo genome assemblies,” Molecular Ecology, vol. 23, no. 1, pp. 198–211, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2175   OA
M. P. Postiglione and S. Hippenmeyer, “Monitoring neurogenesis in the cerebral cortex: an update,” Future Neurology, vol. 9, no. 3, pp. 323–340, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219   OA
E. Kiltz, D. Masny, and K. Z. Pietrzak, “Simple chosen-ciphertext security from low noise LPN,” presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, 2014, vol. 8383, pp. 1–18.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2226   OA
L. Shi, B. Hof, and A. Tilgner, “Transient growth of Ekman-Couette flow,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2240
A. Gadeyne et al., “The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants,” Cell, vol. 156, no. 4, pp. 691–704, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2132   OA
M. Erbar and J. Maas, “Gradient flow structures for discrete porous medium equations,” Discrete and Continuous Dynamical Systems- Series A, vol. 34, no. 4, pp. 1355–1374, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156   OA
U. Bauer, X. Ge, and Y. Wang, “Measuring distance between Reeb graphs,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 464–473.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086   OA
S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2214   OA
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M. K. Sixt, and R. Alon, “Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects,” PLoS One, vol. 9, no. 1, 2014.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2245
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, and J. Friml, “Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters,” in Plant Chemical Genomics, vol. 1056, G. Hicks and S. Robert, Eds. Springer, 2014, pp. 255–264.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2252
S. Phadke, T. Paixao, T. Pham, S. Pham, and R. Zufall, “Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila,” Journal of Heredity, vol. 105, no. 1, pp. 130–135, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 248   OA
T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils of conics and quadrics with many degenerate fibres,” Annals of Mathematics, vol. 180, no. 1, pp. 381–402, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 255
T. D. Browning, R. Dietmann, and R. Heath Brown, “Rational points on intersections of cubic and quadric hypersurfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, pp. 703–749, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2699   OA
L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,” Duke Mathematical Journal, vol. 163, no. 6, pp. 1127–1190, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 332
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibanez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” Journal of the American Chemical Society, vol. 136, no. 26, pp. 9236–9239, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 356
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibanez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” Journal of the American Chemical Society, vol. 136, no. 26, pp. 9236–9239, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 349
S. Ortega, M. Ibanez, D. Cadavid, and A. Cabot, “Bottom up processing of PbTe PbS thermoelectric nanocomposites,” International Journal of Nanotechnology, vol. 11, no. 9–11, pp. 955–970, 2014.
View | DOI
 

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

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

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

2014 | Journal Article | IST-REx-ID: 589   OA
J. Lee, G. Vrijsen, I. Teper, O. Hosten, and M. Kasevich, “Many-atom-cavity QED system with homogeneous atom-cavity coupling,” Optics Letters, vol. 39, no. 13, pp. 4005–4008, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122   OA
G. A. Linneweber et al., “Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching,” Cell, vol. 156, no. 1–2, pp. 69–83, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1999
N. Stroeymeyt, B. E. Casillas Perez, and S. Cremer, “Organisational immunity in social insects,” Current Opinion in Insect Science, vol. 5, no. 1, pp. 1–15, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
D. Alistarh, K. Censor Hille, and N. Shavit, “Brief announcement: Are lock-free concurrent algorithms practically wait-free?,” presented at the PODC: Principles of Distributed Computing, 2014, pp. 50–52.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
K. Pougach et al., “Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network,” Nature Communications, vol. 5, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
L. Moroz et al., “The ctenophore genome and the evolutionary origins of neural systems,” Nature, vol. 510, no. 7503, pp. 109–114, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
E. Hannezo, J. Prost, and J. Joanny, “Growth homeostatic regulation and stem cell dynamics in tissues,” Journal of the Royal Society Interface, vol. 11, no. 93, 2014.
View | DOI
 

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

2014 | Conference Paper | IST-REx-ID: 1393
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2031   OA
I. Arai and P. M. Jonas, “Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse,” eLife, vol. 3, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, and M. Wimmer, “Large-scale point-cloud visualization through localized textured surface reconstruction,” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9, pp. 1280–1292, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA
H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function,” Science, vol. 345, no. 6196, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1886   OA
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkacik, “Variance predicts salience in central sensory processing,” eLife, no. November, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
U. Boker and T. A. Henzinger, “Exact and approximate determinization of discounted-sum automata,” Logical Methods in Computer Science, vol. 10, no. 1, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2187   OA
R. Bloem et al., “Synthesizing robust systems,” Acta Informatica, vol. 51, no. 3–4, pp. 193–220, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
K. Chatterjee and L. Doyen, “Games with a weak adversary,” in Lecture Notes in Computer Science, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 110–121.
View | Files available | DOI | Download (ext.) | arXiv
 

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

2014 | Book Chapter | IST-REx-ID: 7303
S. A. Freunberger, Y. Chen, F. Bardé, K. Takechi, F. Mizuno, and P. G. Bruce, “Nonaqueous Electrolytes,” in The Lithium Air Battery: Fundamentals, N. Imanishi, A. C. Luntz, and P. Bruce, Eds. New York, NY: Springer Nature, 2014, pp. 23–58.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598   OA
S. Tan and H.-W. Xue, “Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5,” Cell Reports, vol. 9, no. 5, pp. 1692–1702, 2014.
View | Files available | DOI
 

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

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

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

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

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

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

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

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

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

2013 | Journal Article | IST-REx-ID: 2289   OA
T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer Science Research and Development, vol. 28, no. 4, pp. 331–344, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2291   OA
A. Ferrara, G. Fuchsbauer, and B. Warinschi, “Cryptographically enforced RBAC,” presented at the CSF: Computer Security Foundations, New Orleans, LA, United States, 2013, pp. 115–129.
View | DOI | Download (ext.)
 

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

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

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

2013 | Conference Paper | IST-REx-ID: 2272   OA
R. Takhanov and V. Kolmogorov, “Inference algorithms for pattern-based CRFs on sequence data,” in ICML’13 Proceedings of the 30th International Conference on International, Atlanta, GA, USA, 2013, vol. 28, no. 3, pp. 145–153.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2277   OA
K. Simmons et al., “Transformation of stimulus correlations by the retina,” PLoS Computational Biology, vol. 9, no. 12, 2013.
View | Files available | DOI
 

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

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

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

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

2013 | Journal Article | IST-REx-ID: 2467   OA
G. Bernstein and C. J. Wojtan, “Putting holes in holey geometry: Topology change for arbitrary surfaces,” ACM Transactions on Graphics, vol. 32, no. 4, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 251
R. De La Bretèche and T. D. Browning, “Counter examples to the Hasse principle among certain coflasque tori,” Journal de Theorie des Nombres de Bordeaux, vol. 26, no. 1, pp. 25–44, 2013.
View | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2412   OA
A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content evolution ,” BMC Evolutionary Biology, vol. 13, no. 1, pp. 54–54, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
S. Simon et al., “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” New Phytologist, vol. 200, no. 4, pp. 1034–1048, 2013.
View | DOI
 

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

2013 | Journal Article | IST-REx-ID: 2823
M. Pickup et al., “Post-fire recovery of revegetated woodland communities in south-eastern Australia,” Austral Ecology, vol. 38, no. 3, pp. 300–312, 2013.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed