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.
332 Publications
2012 | Journal Article | IST-REx-ID: 2689
Parajuli L, Nakajima C, Kulik Á, Matsui K, Schneider T, Shigemoto R, Fukazawa Y. 2012. Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. 32(39), 13555–13567.
View
| DOI
2012 | Preprint | IST-REx-ID: 2696 |
Erdös L. 2012. Universality for random matrices and log-gases. ArXiv, .
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
Erdös L. 2012. Lecture notes on quantum Brownian motion. Les Houches Summer School 2010, Quantum Theory from Small to Large Scales, vol. 95, 3–98.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715 |
Chatterjee K, Joglekar M, Shah N. 2012. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 461–473.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
2012 | Conference Paper | IST-REx-ID: 2825
Lampert C. 2012. Dynamic pruning of factor graphs for maximum marginal prediction. NIPS: Neural Information Processing Systems vol. 1, 82–90.
View
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner H, Strelkova N. 2012. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 67(6), 1167–1168.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach A, Duclercq J, Marhavý P, Benková E. 2012. Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 367(1595), 1469–1478.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker U, Henzinger TA. 2012. Approximate determinization of quantitative automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 362–373.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner H, Symonova O. 2012. The adaptive topology of a digital image. ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, 41–48.
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2012. Interface Simulation Distances. Electronic Proceedings in Theoretical Computer Science. GandALF: Games, Automata, Logic, and Formal Verification vol. 96, 29–42.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner H, Ivanov A, Karasev R. 2012. Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. in print.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber A, Kolmogorov V. 2012. Towards minimizing k-submodular functions. ISCO: International Symposium on Combinatorial Optimization, LNCS, vol. 7422, 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv, .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov V. 2012. The power of linear programming for valued CSPs: a constructive characterization, Unknown,p.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. 2012. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. Proceedings of the 2012 ACM conference on Computer and communications security. CCS: Computer and Communications Security, 488–500.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software , 43–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. 2012. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 86(6), 1318–1333.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2941 |
Dolbilin N, Edelsbrunner H, Musin O. 2012. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 67(4), 781–783.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2946 |
Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. 2012. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 40(19), 9850–9862.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 |
Chatterjee K, Chmelik M, Majumdar R. 2012. Equivalence of games with probabilistic uncertainty and partial observation games. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 7561, 385–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2949
Dupret D, Csicsvari JL. 2012. The medial entorhinal cortex keeps Up. Nature Neuroscience. 15(11), 1471–1472.
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2954 |
Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. 2012. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. 103(7), 1429–1439.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2950
Behrndt M, Salbreux G, Campinho P, Hauschild R, Oswald F, Roensch J, Grill S, Heisenberg C-PJ. 2012. Forces driving epithelial spreading in zebrafish gastrulation. Science. 338(6104), 257–260.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2958 |
Allen K, Rawlins JN, Bannerman D, Csicsvari JL. 2012. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 32(42), 14752–14766.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2959 |
Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 40(1), 238–261.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2966 |
Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 12, 7.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2962 |
Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2965 |
Danowski P. 2012. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 65(2), 200–212.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2974 |
Jain A, Krenn S, Pietrzak KZ, Tentes A. 2012. Commitments and efficient zero knowledge proofs from learning parity with noise. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7658, 663–680.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2969 |
Goswami S, Bucurenciu I, Jonas PM. 2012. Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. 32(41), 14294–14304.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3105
Whitford R, Fernandez A, Tejos R, Pérez A, Kleine Vehn J, Vanneste S, Drozdzecki A, Leitner J, Abas L, Aerts M, Hoogewijs K, Baster P, De Groodt R, Lin Y, Storme V, Van De Peer Y, Beeckman T, Madder A, Devreese B, Luschnig C, Friml J, Hilson P. 2012. GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses. Developmental Cell. 22(3), 678–685.
View
| DOI
2012 | Journal Article | IST-REx-ID: 3109
Irani N, Di Rubbo S, Mylle E, Van Den Begin J, Schneider Pizoń J, Hniliková J, Šíša M, Buyst D, Vilarrasa Blasi J, Szatmári A, Van Damme D, Mishev K, Codreanu M, Kohout L, Strnad M, Caño Delgado A, Friml J, Madder A, Russinova E. 2012. Fluorescent castasterone reveals BRI1 signaling from the plasma membrane. Nature Chemical Biology. 8(6), 583–589.
View
| DOI
2012 | Journal Article | IST-REx-ID: 3104
Grunewald W, De Smet I, Lewis D, Löfke C, Jansen L, Goeminne G, Vanden Bossche R, Karimi M, De Rybel B, Vanholme B, Teichmann T, Boerjan W, Van Montagu M, Gheysen G, Muday G, Friml J, Beeckman T. 2012. Transcription factor WRKY23 assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis. PNAS. 109(5), 1554–1559.
View
| DOI
2012 | Journal Article | IST-REx-ID: 3108
Barbez E, Kubeš M, Rolčík J, Béziat C, Pěnčík A, Wang B, Rosquete M, Zhu J, Dobrev P, Lee Y, Zašímalová E, Petrášek J, Geisler M, Friml J, Kleine Vehn J. 2012. A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants. Nature. 485(7396), 119–122.
View
| DOI
2012 | Conference Paper | IST-REx-ID: 3119 |
Raveendran K, Thuerey N, Wojtan C, Turk G. 2012. Controlling liquids using meshes. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 255–264.
[Submitted Version]
View
| Files available
2012 | Journal Article | IST-REx-ID: 3118 |
Bojsen-Hansen M, Li H, Wojtan C. 2012. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 31(4), 53.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3121 |
Williams C, Chen W, Lee C, Yaeger D, Vyleta N, Smith S. 2012. Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. 15(9), 1195–1197.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3120 |
Brown G, Kerber M, Reid M. 2012. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 148(4), 1171–1194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3117 |
Kolmogorov V. 2012. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 160(15), 2246–2258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3131 |
Weissman D, Barton NH. 2012. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 8(6), e1002740.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3130 |
Bergmiller T, Ackermann M, Silander O. 2012. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 8(6), e1002803.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3135 |
Brázdil B, Chatterjee K, Kučera A, Novotný P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358, 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3133 |
Edelsbrunner H, Kerber M. 2012. Alexander duality for functions: The persistent behavior of land and water and shore. Proceedings of the twenty-eighth annual symposium on Computational geometry . SCG: Symposium on Computational Geometry, 249–258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3134
Edelsbrunner H, Fasy B, Rote G. 2012. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Proceedings of the twenty-eighth annual symposium on Computational geometry . SCG: Symposium on Computational Geometry, 91–100.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3161 |
Vyleta M, Wong J, Magun B. 2012. Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. 7(5), e36044.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3162 |
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3166 |
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3167
Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
View
| DOI
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3252 |
Chatterjee K, Raman V. 2012. Synthesizing protocols for digital contract signing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 152–168.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3255 |
Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3256 |
Edelsbrunner H, Kerber M. 2012. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 47(2), 393–414.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee K. 2012. The complexity of stochastic Müller games. Information and Computation. 211, 29–48.
View
| DOI
| Download None (ext.)