Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2568 Publications

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: 3242   OA
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3158   OA
Schachtner H, Li A, Stevenson D, Calaminus S, Thomas S, Watson S, Sixt MK, Wedlich Söldner R, Strathdee D, Machesky L. 2012. Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. 91(11–12), 923–929.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3160
Pantazis P, Bollenbach T. 2012. Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. 11(11), 2055–2058.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3280   OA
Pietrzak KZ. 2012. Subspace LWE. TCC: Theory of Cryptography Conference, LNCS, vol. 7194. 548–563.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3317   OA
Eggermann E, Bucurenciu I, Goswami S, Jonas PM. 2012. Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience. 13(1), 7–21.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3247
Vilaça S, Fernandes Redondo RA, Lins L, Santos F. 2012. Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus). Conservation Genetics. 13(1), 293–298.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3331   OA
Kerber M, Sagraloff M. 2012. A worst case bound for topology computation of algebraic curves. Journal of Symbolic Computation. 47(3), 239–258.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3115
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2012. Deconstructing approximate offsets. Discrete & Computational Geometry. 48(4), 964–989.
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3836
Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. 2012. Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. 77(2), 96–112.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 494
Boker U, Kupferman O. 2012. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). 13(4), 29.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. 2012. Quantitative reactive models. Conference proceedings MODELS 2012. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590. 1–2.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. 2012. Synthesis from incompatible specifications. Proceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 53–62.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee K, Doyen L. 2012. Energy parity games. Theoretical Computer Science. 458, 49–60.
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee K, Henzinger M. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms 1386–1399.
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 (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2048   OA
Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography. Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428. 213–232.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411   OA
Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2904   OA
Pausinger F. 2012. Weak multipliers for generalized van der Corput sequences. Journal de Theorie des Nombres des Bordeaux. 24(3), 729–749.
View | DOI | Download (ext.)
 
2012 | Preprint | IST-REx-ID: 2928   OA
Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv.
View | Download (ext.) | arXiv
 
2012 | 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.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2959   OA
Uhler C. 2012. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 40(1), 238–261.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2954   OA
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.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2966   OA
Cremer S, Suefuji M, Schrempf A, Heinze J. 2012. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 12, 7.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3159   OA
Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6), e36715.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3161   OA
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.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3123   OA
Yu J, Wojtan CJ, Turk G, Yap C. 2012. Explicit mesh surfaces for particle based fluids. Computer Graphics Forum. EUROGRAPHICS: Conference on European Association for Computer Graphics, Eurographics, vol. 31. 815–824.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3130   OA
Bergmiller T, Ackermann M, Silander O. 2012. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 8(6), e1002803.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3166   OA
Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3262   OA
Tkacik G, Walczak A, Bialek W. 2012. Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E statistical nonlinear and soft matter physics . 85(4), 041903.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3274
Rieckh G, Kreuzer W, Waubke H, Balazs P. 2012. A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil. Engineering Analysis with Boundary Elements. 36(6), 960–967.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3279
Jain A, Pietrzak KZ, Tentes A. 2012. Hardness preserving constructions of pseudorandom functions. TCC: Theory of Cryptography Conference, LNCS, vol. 7194. 369–382.
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3281
Pietrzak KZ, Rosen A, Segev G. 2012. Lossy functions do not amplify well. TCC: Theory of Cryptography Conference, LNCS, vol. 7194. 458–475.
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147. 99–114.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3248   OA
Lampert C, Peters J. 2012. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 7(1), 31–41.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3243
Danowski P. 2012. Zwischen Technologie und Information. Büchereiperspektiven. 1/2012, 11.
View | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2891   OA
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.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2916   OA
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.
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | 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 | 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.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee K, Doyen L, Henzinger TA. 2012. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 43(2), 268–284.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil B, Chatterjee K, Kučera A, Novotny P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358. 23–38.
View | DOI | Download (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.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 495   OA
Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96. 238–246.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 6588   OA
Pausinger F. 2012. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 8(1), 63–78.
View | Download (ext.) | WoS
 
2011 | Conference Paper | IST-REx-ID: 3270
Chen C, Kerber M. 2011. Persistent homology computation with a twist. EuroCG: European Workshop on Computational Geometry 197–200.
View
 
2011 | Thesis | IST-REx-ID: 3275
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration, IST Austria, 141p.
View | Files available
 
2011 | Journal Article | IST-REx-ID: 3287
Ruprecht V, Axmann M, Wieser S, Schuetz G. 2011. What can we learn from single molecule trajectories? Current Protein & Peptide Science. 12(8), 714–724.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger TA, Mateescu M. 2011. Propagation models for computing biochemical reaction networks. CMSB: Computational Methods in Systems Biology 1–3.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing 1–6.
View | Files available
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed