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.




5055 Publications

2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
[Published Version] 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.
[Published Version] View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
[Published Version] 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 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
[Submitted Version] View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
[Published Version] View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 9483 | OA
Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Other Publication | IST-REx-ID: 9522 | OA
Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2011 | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.
[Published Version] View | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3395
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas. Biological Journal of the Linnean Society. 104(2), 407–418.
View | Files available | DOI
 
2011 | Research Data Reference | IST-REx-ID: 9762 | OA
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, 10.5061/dryad.299h8.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 9943 | OA
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint] View | DOI | Download Preprint (ext.)
 
2011 | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View | DOI
 
2011 | Thesis | IST-REx-ID: 3275 | OA
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
[Published Version] View | Files available
 
2011 | Thesis | IST-REx-ID: 3273
Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
View
 
2011 | Journal Article | IST-REx-ID: 3392
Soriano S, Hons M, Schumann K, Kumar V, Dennier T, Lyck R, Sixt MK, Stein J. 2011. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 187(5), 2356–2364.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3163
Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems.
View | Files available
 
2011 | Conference Poster | IST-REx-ID: 3322
Lampert C. 2011. Maximum margin multi label structured prediction, Neural Information Processing Systems Foundation,p.
View | Files available
 
2011 | Journal Article | IST-REx-ID: 3320 | OA
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.
[Published Version] View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto N, Lampert C. 2011. Learning multi-view neighborhood preserving projections. ICML: International Conference on Machine Learning, 425–432.
View
 
2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
[Published Version] View | Files available | DOI | Download Published Version (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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton NH, Turelli M. 2011. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 178(3), E48–E75.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.
[Published Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3604
Senn H, Goodman S, Swanson G, Barton NH, Pemberton J. 2010. Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland. Molecular Ecology. 19(5), 910–924.
View | DOI
 
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.
[Submitted Version] View | Files available | arXiv
 
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 | 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 | 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 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner H, Morozov D, Patel A. 2010.The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization, , 27–42.
[Submitted Version] View | Files available | DOI
 
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 None (ext.)
 
2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán J, Jonas PM. 2010. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 66(1), 8–10.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
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: 3847 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems, 193–194.
[Submitted Version] View | Files available | DOI
 
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.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 4(6), 441–452.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3848
Bendich P, Edelsbrunner H, Morozov D, Patel A. 2010. The robustness of level sets. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 1–10.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee K, Doyen L. 2010. The complexity of partial-observation parity games. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 1–14.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. 2010. Randomness for free. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 246–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3866 | OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
[Published Version] View | Files available | DOI
 
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 | Journal Article | IST-REx-ID: 4243 | OA
Barton NH, Etheridge A, Véber A. 2010. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 15(7), 162–216.
[Published Version] View | Files available | DOI
 

Search

Filter Publications