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.
5783 Publications
2012 | Conference Paper | IST-REx-ID: 1384 | 
Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 1472 |
De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1471 |
Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 171 |
Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1757 |
Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi:10.1103/PhysRevLett.109.085502
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1758 |
Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1756 |
Mongillo M, Spathis P, Katsaros G, Gentile P, De Franceschi S. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1783 |
Mlynek J, Abdumalikov A, Fink JM, et al. Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(5). doi:10.1103/PhysRevA.86.053838
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1782 |
Pechal M, Berger S, Abdumalikov A, et al. Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. 2012;108(17). doi:10.1103/PhysRevLett.108.170401
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2048 |
Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2049 |
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. Lapin: An efficient authentication protocol based on ring-LPN. In: Conference Proceedings FSE 2012. Vol 7549. Springer; 2012:346-365. doi:10.1007/978-3-642-34047-5_20
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2125 |
Hairer M, Maas J. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 2012;40(4):1675-1714. doi:10.1214/11-AOP662
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2127 |
Erbar M, Maas J. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 2012;206(3):997-1038. doi:10.1007/s00205-012-0554-z
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2128 |
Maas J, Van Neerven J, Portal P. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 2012;50(2):379-395. doi:10.1007/s11512-010-0143-z
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2203 |
Lemeshko M, Friedrich B. Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. 2012;110(15-16):1873-1881. doi:10.1080/00268976.2012.689868
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2201 |
Lemeshko M, Krems R, Weimer H. Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. 2012;109(3). doi:10.1103/PhysRevLett.109.035301
View
| Files available
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2202 |
Alyabyshev S, Lemeshko M, Krems R. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2012;86(1). doi:10.1103/PhysRevA.86.013409
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2263 |
Liang H, Hippenmeyer S, Ghashghaei H. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 2012;1(12):1200-1203. doi:10.1242/bio.20122287
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2267 |
Preiner R, Jeschke S, Wimmer M. Auto splats: Dynamic point cloud visualization on the GPU. In: Eurographics Association; 2012:139-148. doi:10.2312/EGPGV/EGPGV12/139-148
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2268 |
Auzinger T, Guthe M, Jeschke S. Analytic anti-aliasing of linear functions on polytopes. In: Vol 31. Wiley-Blackwell; 2012:335-344. doi:http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2318 |
Seiringer R. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2012;2(3):321-328. doi:10.4171/JST/31
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2317 |
Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of the Ginzburg-Landau model. In: World Scientific Publishing; 2012:575-583. doi:10.1142/9789814449243_0060
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2316 |
Frank R, Lieb É, Seiringer R, Thomas L. Ground state properties of multi-polaron systems. In: World Scientific Publishing; 2012:477-485. doi:10.1142/9789814449243_0045
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2395 |
Frank R, Hainzl C, Seiringer R, Solovej J. Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. 2012;25(3):667-713. doi:10.1090/S0894-0347-2012-00735-8
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2396 |
Landon B, Seiringer R. The scattering length at positive temperature. Letters in Mathematical Physics. 2012;100(3):237-243. doi:10.1007/s11005-012-0566-5
View
| DOI
| Download (ext.)
2012 | Book Review | IST-REx-ID: 2398 |
Jakšić V, Ogata Y, Pillet C, Seiringer R. Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. 2012;24(6). doi:10.1142/S0129055X12300026
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2397 |
Hainzl C, Seiringer R. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 2012;100(2):119-138. doi:10.1007/s11005-011-0535-4
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2400 |
Frank R, Lieb É, Seiringer R. Binding of polarons and atoms at threshold. Communications in Mathematical Physics. 2012;313(2):405-424. doi:10.1007/s00220-012-1436-9
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2403 |
Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. 2012;2012(11). doi:10.1088/1742-5468/2012/11/P11007
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2402 |
Frank R, Seiringer R. Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697416
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2401 |
Lieb É, Seiringer R. Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2012;149(1):86-91. doi:10.1007/s10955-012-0585-8
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2411 |
Ebersberger I, De Matos Simoes R, Kupczok A, et al. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 2012;29(5):1319-1334. doi:10.1093/molbev/msr285
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 242 |
Baier S, Browning TD, Marasingha G, Zhao L. Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. 2012;55(3):551-576. doi:10.1017/S001309151100037X
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 244 |
Browning TD, Haynes A. Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory. 2012;9(2):481-486. doi: https://doi.org/10.1142/S1793042112501448
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2459 |
Zwiewka M, Friml J. Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. 2012;3(May). doi:10.3389/fpls.2012.00097
[Published Version]
View
| Files available
| DOI
2012 | Preprint | IST-REx-ID: 2696 |
Erdös L. Universality for random matrices and log-gases. ArXiv. 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
Erdös L. Lecture notes on quantum Brownian motion. In: Vol 95. Oxford University Press; 2012:3-98.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715 |
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:461-473. doi:10.4230/LIPIcs.FSTTCS.2012.461
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 2012;301:161-173. doi:10.1016/j.jtbi.2012.02.021
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner H, Strelkova N. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 2012;67(6):1167-1168. doi:10.1070/RM2012v067n06ABEH004820
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach A, Duclercq J, Marhavý P, Benková E. 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. 2012;367(1595):1469-1478. doi:10.1098/rstb.2011.0233
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner H, Symonova O. The adaptive topology of a digital image. In: IEEE; 2012:41-48. doi:10.1109/ISVD.2012.11
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber A, Kolmogorov V. Towards minimizing k-submodular functions. In: Vol 7422. Springer; 2012:451-462. doi:10.1007/978-3-642-32147-4_40
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov V, Schoenemann T. Generalized sequential tree-reweighted message passing. arXiv. 2012.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov V. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown; 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security. ACM; 2012:488-500. doi:10.1145/2382196.2382249
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee K, Henzinger TA, Prabhu V. Finite automata with time delay blocks. In: Roceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:43-52. doi:10.1145/2380356.2380370
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 2012;86(6):1318-1333. doi:10.1111/mmi.12071
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2941 |
Dolbilin N, Edelsbrunner H, Musin O. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 2012;67(4):781-783. doi:10.1070/RM2012v067n04ABEH004807
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2946 |
Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 2012;40(19):9850-9862. doi:10.1093/nar/gks705
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 |
Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:10.1007/978-3-642-33386-6_30
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2954 |
Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. 2012;103(7):1429-1439. doi:10.1016/j.bpj.2012.08.039
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2958 |
Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 2012;32(42):14752-14766. doi:10.1523/JNEUROSCI.6175-11.2012
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2959 |
Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 2012;40(1):238-261. doi:10.1214/11-AOS957
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2966 |
Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2962 |
Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047. doi:10.1534/genetics.112.143164
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2965 |
Danowski P. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 2012;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. Commitments and efficient zero knowledge proofs from learning parity with noise. In: Wang X, Sako K, eds. Vol 7658. Springer; 2012:663-680. doi:10.1007/978-3-642-34961-4_40
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2969 |
Goswami S, Bucurenciu I, Jonas PM. Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. 2012;32(41):14294-14304. doi:10.1523/JNEUROSCI.6104-11.2012
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3119 |
Raveendran K, Thuerey N, Wojtan C, Turk G. Controlling liquids using meshes. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM; 2012:255-264.
[Submitted Version]
View
| Files available
2012 | Journal Article | IST-REx-ID: 3118 |
Bojsen-Hansen M, Li H, Wojtan C. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185549
[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. Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. 2012;15(9):1195-1197. doi:10.1038/nn.3162
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3120 |
Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3117 |
Kolmogorov V. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 2012;160(15):2246-2258. doi:10.1016/j.dam.2012.05.025
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3131 |
Weissman D, Barton NH. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002740
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3130 |
Bergmiller T, Ackermann M, Silander O. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002803
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3135 |
Brázdil B, Chatterjee K, Kučera A, Novotný P. Efficient controller synthesis for consumption games with multiple resource types. In: Vol 7358. Springer; 2012:23-38. doi:10.1007/978-3-642-31424-7_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3133 |
Edelsbrunner H, Kerber M. Alexander duality for functions: The persistent behavior of land and water and shore. In: Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry . ACM; 2012:249-258. doi:10.1145/2261250.2261287
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3161 |
Vyleta M, Wong J, Magun B. Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. 2012;7(5). doi:10.1371/journal.pone.0036044
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3162 |
Asarin E, Donzé A, Maler O, Nickovic D. Parametric identification of temporal properties. In: Vol 7186. Springer; 2012:147-160. doi:10.1007/978-3-642-29860-8_12
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3166 |
de Vladar H. Amino acid fermentation at the origin of the genetic code. Biology Direct. 2012;7. doi:10.1186/1745-6150-7-6
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3252 |
Chatterjee K, Raman V. Synthesizing protocols for digital contract signing. In: Vol 7148. Springer; 2012:152-168. doi:10.1007/978-3-642-27940-9_11
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3255 |
Chatterjee K, Doyen L. Games and Markov decision processes with mean payoff parity and energy parity objectives. In: Vol 7119. Springer; 2012:37-46. doi:10.1007/978-3-642-25929-6_3
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3256 |
Edelsbrunner H, Kerber M. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 2012;47(2):393-414. doi:10.1007/s00454-011-9382-4
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3282 |
Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. Message authentication, revisited. In: Vol 7237. Springer; 2012:355-374. doi:10.1007/978-3-642-29011-4_22
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3280 |
Pietrzak KZ. Subspace LWE. In: Vol 7194. Springer; 2012:548-563. doi:10.1007/978-3-642-28914-9_31
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 3284 |
Kolmogorov V, Živný S. The complexity of conservative valued CSPs. In: SIAM; 2012:750-759.
View
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3317 |
Eggermann E, Bucurenciu I, Goswami S, Jonas PM. Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience. 2012;13(1):7-21. doi:10.1038/nrn3125
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3115 |
Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. Discrete & Computational Geometry. 2012;48(4):964-989. doi:10.1007/s00454-012-9441-5
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3331 |
Kerber M, Sagraloff M. A worst case bound for topology computation of algebraic curves. Journal of Symbolic Computation. 2012;47(3):239-258. doi:10.1016/j.jsc.2011.11.001
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3846 |
Chatterjee K, Henzinger TA. A survey of stochastic ω regular games. Journal of Computer and System Sciences. 2012;78(2):394-413. doi:10.1016/j.jcss.2011.05.002
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 387 |
Alpichshev Z, Biswas R, Balatsky A, et al. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 2012;108(20). doi:10.1103/PhysRevLett.108.206402
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 3128 |
Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 2012;43(2):268-284. doi:10.1007/s10703-012-0164-2
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3125 |
Sharmanska V, Quadrianto N, Lampert C. Augmented attribute representations. In: Vol 7576. Springer; 2012:242-255. doi:10.1007/978-3-642-33715-4_18
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3129 |
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. Annotating simplices with a homology basis and its applications. In: Vol 7357. Springer; 2012:189-200. doi:10.1007/978-3-642-31155-0_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 3155 |
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. Synchronous interface theories and time triggered scheduling. In: Vol 7273. Springer; 2012:203-218. doi:10.1007/978-3-642-30793-5_13
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3159 |
Mileyko Y, Edelsbrunner H, Price C, Weitz J. Hierarchical ordering of reticular networks. PLoS One. 2012;7(6). doi:10.1371/journal.pone.0036715
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3158 |
Schachtner H, Li A, Stevenson D, et al. Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. 2012;91(11-12):923-929. doi:10.1016/j.ejcb.2012.04.002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3248 |
Lampert C, Peters J. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 2012;7(1):31-41. doi:10.1007/s11554-010-0168-3
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3262 |
Tkačik G, Walczak A, Bialek W. Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E statistical nonlinear and soft matter physics . 2012;85(4). doi:10.1103/PhysRevE.85.041903
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3257 |
Kolmogorov V. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 2012;160(4-5):416-426. doi:10.1016/j.dam.2011.10.026
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3289 |
Pereira A, Leite F, Brasil B, et al. A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal of Virology. 2012;86(1):172-184. doi:10.1128/JVI.05638-11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3310 |
Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology. Pattern Recognition Letters. 2012;33(11):1436-1444. doi:10.1016/j.patrec.2011.10.007
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 347 |
Ibáñez M, Zamani R, Lalonde A, et al. Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. Journal of the American Chemical Society. 2012;134(9):4060-4063. doi:10.1021/ja211952z
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2972 |
Chatterjee K, Doyen L. Energy parity games. Theoretical Computer Science. 2012;458:49-60. doi:10.1016/j.tcs.2012.07.038
[Published Version]
View
| Files available
| DOI
| arXiv
2012 | Journal Article | IST-REx-ID: 492 |
Galkovskyi T, Mileyko Y, Bucksch A, et al. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 2012;12. doi:10.1186/1471-2229-12-116
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 493 |
Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 495 |
Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18
[Published Version]
View
| Files available
| DOI