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.




2467 Publications

2011 | Technical Report | IST-REx-ID: 5387   OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition 2089–2096.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3267
Chen C, Freedman D. 2011. Hardness results for homology localization. Discrete & Computational Geometry. 45(3), 425–448.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3298   OA
Raveendran K, Wojtan CJ, Turk G. 2011. Hybrid smoothed particle hydrodynamics. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation 33–42.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3301   OA
Henzinger TA, Mateescu M. 2011. Tail approximation for the chemical master equation. WCSB: Workshop on Computational Systems Biology (TICSP)
View | Files available
 
2011 | Conference Paper | IST-REx-ID: 3313   OA
Chen C, Edelsbrunner H. 2011. Diffusion runs low on persistence fast. Proceedings of the IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision 6126271.
View | Files available | DOI
 
2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee K, Fijalkow N. 2011. A reduction from parity games to simple stochastic games. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 54. 74–86.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee K, Doyen L, Singh R. 2011. On memoryless quantitative objectives. FCT: Fundamentals of Computation Theory, LNCS, vol. 6914. 148–159.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3318   OA
Eggermann E, Jonas PM. 2011. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 15, 20–22.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3320
Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3325
Alur R, Cerny P. 2011. Streaming transducers for algorithmic verification of single pass list processing programs. POPL: Principles of Programming Languages vol. 46. 599–610.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3337
Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. 2011. Learning anticipation policies for robot table tennis. IROS: RSJ International Conference on Intelligent Robots and Systems 332–337.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee K. 2011. Graph games with reachability objectives. RP: Reachability Problems, LNCS, vol. 6945. 1–1.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3332
Kerber M, Sagraloff M. 2011. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 27(3), 419–430.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3781
Fasy BT. 2011. The difference in length of curves in R^n. Acta Sci. Math. (Szeged). 77(1–2), 359–367.
View
 
2011 | Journal Article | IST-REx-ID: 3382
Kroemer O, Lampert C, Peters J. 2011. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 27(3), 545–557.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3387   OA
Kupczok A. 2011. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 11(205).
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3394   OA
Polechova J, Barton NH. 2011. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 189(1), 227–235.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3399   OA
Cremer S, Schrempf A, Heinze J. 2011. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 6(3), e17323.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3368   OA
Krens G, Möllmert S, Heisenberg C-PJ. 2011. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 108(3), E9–E10.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3370   OA
Kupczok A. 2011. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 60(2), 218–225.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3375   OA
de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 490   OA
Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3356
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5383   OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3718
Guzmán J, Schmidt H, Franke H, Krügel U, Eilers J, Illes P, Gerevich Z. 2010. P2Y1 receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology. 59(6), 406–415.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
Chen C, Freedman D. 2010. Topology noise removal for curve  and surface evolution. Conference proceedings MCV 2010. MCV: Medical Computer Vision, LNCS, vol. 6533. 31–42.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787   OA
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. 2010. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 74(3), 465–470.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. 2010. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. ECCV: European Conference on Computer Vision, LNCS, vol. 6312. 566–579.
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 3833
Jonas PM, Hefft S. 2010. GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. 31(7), 1194–1195.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology 55–65.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. 2010. From boolean to quantitative notions of correctness. POPL: Principles of Programming Languages vol. 45. 157–158.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25. 22–29.
View | Files available | DOI | arXiv
 
2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. 2010. Aligators for arrays. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397. 348–356.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174. 380–395.
View | Files available | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. 2010. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 13(4), 485–494.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing 83–90.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418. 421–435.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 489   OA
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25. 30–39.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4393
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269. 235–268.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5389   OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252. 1–16.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3303   OA
Weissman D, Feldman M, Fisher D. 2010. The rate of fitness-valley crossing in sexual populations. Genetics. 186(4), 1389–1410.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40. 142–161.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3776   OA
Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3783
Palero F, González Candelas F, Pascual M. 2010. Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. 102(2), 247–249.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. 2010. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 33(2), 99–103.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed