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.

2037 Publications


2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Dütting P, Henzinger M, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi R, Henzinger M, Leonardi S, Starnberger M. 2012. On multiple keyword sponsored search auctions with budgets. 39th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7392, 1–12.
View | Files available | DOI
 

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

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

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

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

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

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

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

2012 | Published | Conference Paper | IST-REx-ID: 2888
Henzinger TA. 2012. Quantitative reactive models. 15th International Conference on Model Driven Engineering Languages and Systems. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590, 1–2.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2930 | OA
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.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. 2012. Independent implementability of viewpoints. Conference proceedings Monterey Workshop 2012. Monterey Workshop 2012, LNCS, vol. 7539, 380–395.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2946 | OA
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 | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 2947 | OA
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.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280436.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2956 | OA
Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280438.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 2962 | OA
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.) | WoS | PubMed | Europe PMC
 

2012 | Published | Conference Paper | IST-REx-ID: 2971
Zankl G, Haxhimusa Y, Ion A. 2012. Interactive labeling of image segmentation hierarchies. 34th DAGM and 36th OAGM Symposium. Pattern Recognition, LNCS, vol. 7476, 11–20.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2974 | OA
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
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed