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.

8978 Publications


2012 | Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint] View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 2770
Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2769
The local relaxation flow approach to universality of the local statistics for random matrices
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2768
Wegner estimate and Anderson localization for random magnetic fields
L. Erdös, D. Hasler, Communications in Mathematical Physics 309 (2012) 507–542.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2775
Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2772
Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2776
Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2774
Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2771
Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2778
Bulk universality of general β-ensembles with non-convex potential
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2779
Wegner estimate for random magnetic Laplacian on ℤ 2
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2802
Particle tracking for polydisperse sedimenting droplets in phase separation
T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012) 1187–1200.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2803
Edge state in pipe flow experiments
A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2804
Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets
J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2825
Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
View
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2876
Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole
N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý, Phytochemistry 79 (2012) 67–77.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development
A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2878
Pin1 independent leaf initiation in Arabidopsis
B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. Žádníková, E. Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2879
The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2911
Open problems in discrete and computational geometry
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
View
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Preprint | IST-REx-ID: 2928 | OA
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
[Preprint] View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2938 View | DOI
 

2012 | Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2943 | OA
Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2941 | OA
On the optimality of functionals over triangulations of Delaunay sets
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2946 | OA
MicroRNAs associated with the different human Argonaute proteins
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947 | OA
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2945
HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2949
The medial entorhinal cortex keeps Up
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 2954 | OA
A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2950
Forces driving epithelial spreading in zebrafish gastrulation
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2951
Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2952
Convergent extension Using collective cell migration and cell intercalation to shape embryos
M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2953
Cell-cell adhesion and extracellular matrix diversity counts
C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2958 | OA
Hippocampal place cells can encode multiple trial-dependent features through rate remapping
K. Allen, J.N. Rawlins, D. Bannerman, J.L. Csicsvari, Journal of Neuroscience 32 (2012) 14752–14766.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
Geometry of maximum likelihood estimation in Gaussian graphical models
C. Uhler, Annals of Statistics 40 (2012) 238–261.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
The dynamics of male-male competition in Cardiocondyla obscurior ants
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Kontext Open Access: Creative Commons
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65 (2012) 200–212.
[Published Version] View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2963 View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2969 | OA
Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling
S. Goswami, I. Bucurenciu, P.M. Jonas, Journal of Neuroscience 32 (2012) 14294–14304.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2970
Investigating the principles of morphogen gradient formation: from tissues to cells
A. Kicheva, M.T. Bollenbach, O. Wartlick, F. Julicher, M. Gonzalez Gaitan, Current Opinion in Genetics & Development 22 (2012) 527–532.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2971
Interactive labeling of image segmentation hierarchies
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3105
GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses
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
Fluorescent castasterone reveals BRI1 signaling from the plasma membrane
N. Irani, S. Di Rubbo, E. Mylle, J. Van Den Begin, J. Schneider Pizoń, J. Hniliková, M. Šíša, D. Buyst, J. Vilarrasa Blasi, A. Szatmári, D. Van Damme, K. Mishev, M. Codreanu, L. Kohout, M. Strnad, A. Caño Delgado, J. Friml, A. Madder, E. Russinova, Nature Chemical Biology 8 (2012) 583–589.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3104
Transcription factor WRKY23 assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis
W. Grunewald, I. De Smet, D. Lewis, C. Löfke, L. Jansen, G. Goeminne, R. Vanden Bossche, M. Karimi, B. De Rybel, B. Vanholme, T. Teichmann, W. Boerjan, M. Van Montagu, G. Gheysen, G. Muday, J. Friml, T. Beeckman, PNAS 109 (2012) 1554–1559.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3108
A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants
E. Barbez, M. Kubeš, J. Rolčík, C. Béziat, A. Pěnčík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zašímalová, J. Petrášek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3106
ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis
S. Nagawa, T. Xu, D. Lin, P. Dhonukshe, X. Zhang, J. Friml, B. Scheres, Y. Fu, Z. Yang, PLoS Biology 10 (2012).
View | DOI
 

2012 | Other Publication | IST-REx-ID: 3107
Plant signaling: Deconstructing auxin sensing
S. Vanneste, J. Friml, Plant Signaling: Deconstructing Auxin Sensing, Nature Publishing Group, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Controlling liquids using meshes
K. Raveendran, N. Thuerey, C. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
[Submitted Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3122
Disassortative mating and the maintenance of sexual polymorphism in painted maple
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3136
Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3134
Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
H. Edelsbrunner, B. Fasy, G. Rote, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3132
Two pathways ensuring social harmony
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA [Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3160
Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
Guest editorial: Special issue on structured prediction and inference
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3167
NextGen speaks 13
M. Weber, Science 336 (2012) 32–34.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3241
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3252 | OA
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255 | OA
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3250
Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3256 | OA
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3254
The complexity of stochastic Müller games
K. Chatterjee, Information and Computation 211 (2012) 29–48.
View | DOI | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3253
Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3265
Image segmentation by figure-ground composition into maximal cliques
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3282 | OA
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3280 | OA
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
View | DOI | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3284 | OA
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, in:, SIAM, 2012, pp. 750–759.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 330
Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3317 | OA
Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3314
Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
View | DOI
 

Search

Filter Publications