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.




2472 Publications

2011 | Conference Paper | IST-REx-ID: 3313   OA
Chen C, Edelsbrunner H. Diffusion runs low on persistence fast. In: Proceedings of the IEEE International Conference on Computer Vision. IEEE; 2011:6126271. doi:10.1109/ICCV.2011.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. A reduction from parity games to simple stochastic games. In: Vol 54. EPTCS; 2011:74-86. doi:10.4204/EPTCS.54.6
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee K, Doyen L, Singh R. On memoryless quantitative objectives. In: Owe O, Steffen M, Telle JA, eds. Vol 6914. Springer; 2011:148-159. doi:10.1007/978-3-642-22953-4_13
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3318   OA
Eggermann E, Jonas PM. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 2011;15:20-22. doi:10.1038/nn.3002
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3320
Nowozin S, Lampert C. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 2011;6(3-4):185-365. doi:10.1561/0600000033
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3325
Alur R, Cerny P. Streaming transducers for algorithmic verification of single pass list processing programs. In: Vol 46. ACM; 2011:599-610. doi:10.1145/1926385.1926454
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3337
Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee K. Graph games with reachability objectives. In: Delzanno G, Potapov I, eds. Vol 6945. Springer; 2011:1-1. doi:10.1007/978-3-642-24288-5_1
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3332
Kerber M, Sagraloff M. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 2011;27(3):419-430. doi:10.1007/s00373-011-1020-7
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3781
Fasy BT. The difference in length of curves in R^n. Acta Sci Math (Szeged). 2011;77(1-2):359-367.
View
 
2011 | Journal Article | IST-REx-ID: 3382
Kroemer O, Lampert C, Peters J. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 2011;27(3):545-557. doi:10.1109/TRO.2011.2121130
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3387   OA
Kupczok A. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 2011;11(205). doi:10.1186/1471-2148-11-205
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3394   OA
Polechova J, Barton NH. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 2011;189(1):227-235. doi:10.1534/genetics.111.129817
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3399   OA
Cremer S, Schrempf A, Heinze J. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 2011;6(3):e17323. doi:10.1371/journal.pone.0017323
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3368   OA
Krens G, Möllmert S, Heisenberg C-PJ. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 2011;108(3):E9-E10. doi:10.1073/pnas.1010767108
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3370   OA
Kupczok A. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 2011;60(2):218-225. doi:10.1093/sysbio/syq086
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3375   OA
de Vladar H, Barton NH. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 2011;8(58):720-739. doi:10.1098/rsif.2010.0438
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 490   OA
Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3356
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5383   OA
Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3718
Guzmán J, Schmidt H, Franke H, et al. P2Y1 receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology. 2010;59(6):406-415. doi:10.1016/j.neuropharm.2010.05.013
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
Chen C, Freedman D. Topology noise removal for curve  and surface evolution. In: Conference Proceedings MCV 2010. Vol 6533. Springer; 2010:31-42. doi:10.1007/978-3-642-18421-5_4
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787   OA
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 2010;74(3):465-470. doi:10.3989/scimar.2010.74n3465
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3794
Lampert C, Krömer O. Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning. In: Vol 6312. Springer; 2010:566-579. doi:10.1007/978-3-642-15552-9_41
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 3833
Jonas PM, Hefft S. GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. 2010;31(7):1194-1195. doi:10.1111/j.1460-9568.2010.07189.x
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation. In: Springer; 2010:55-65. doi:10.1145/1839764.1839772
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger TA. From boolean to quantitative notions of correctness. In: Vol 45. ACM; 2010:157-158. doi:10.1145/1706299.1706319
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3852   OA
Chatterjee K, Majumdar R. Discounting in games across time scales. In: Vol 25. EPTCS; 2010:22-29. doi:10.4204/EPTCS.25.6
View | Files available | DOI | arXiv
 
2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays. In: Vol 6397. Springer; 2010:348-356. doi:10.1007/978-3-642-16242-8_25
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. In: Vol 6174. Springer; 2010:380-395. doi:10.1007/978-3-642-14295-6_34
View | Files available | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 2010;13(4):485-494. doi:10.1111/j.1461-0248.2010.01442.x
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71 
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Singh V. Runtime verification for software transactional memories. In: Sokolsky O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:10.1007/978-3-642-16612-9_32
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 489   OA
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4393
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5389   OA
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. Probabilistic Automata on infinite words: decidability and undecidability results. In: Vol 6252. Springer; 2010:1-16. doi:10.1007/978-3-642-15643-4_1
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3303   OA
Weissman D, Feldman M, Fisher D. The rate of fitness-valley crossing in sexual populations. Genetics. 2010;186(4):1389-1410. doi:10.1534/genetics.110.123240
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based systems. In: Vol 40. Open Publishing Association; 2010:142-161.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3776   OA
Barton NH. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1552):2559-2569. doi:10.1098/rstb.2010.0106
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3783
Palero F, González Candelas F, Pascual M. Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. 2010;102(2):247-249. doi:10.1093/jhered/esq111
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3788
Klopper A, Krens G, Grill S, Heisenberg C-PJ. Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. 2010;33(2):99-103. doi:10.1140/epje/i2010-10642-y
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3790   OA
Diz Muñoz A, Krieg M, Bergert M, et al. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 2010;8(11):e1000544. doi:10.1371/journal.pbio.1000544
View | Files available | DOI
 
2010 | Book Chapter | IST-REx-ID: 3795   OA
Edelsbrunner H, Morozov D, Patel A. The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Springer; 2010:27-42. doi:10.1007/978-3-642-15014-2_3
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf V, Goel R, Mateescu M, Henzinger TA. Solving the chemical master equation using sliding windows. BMC Systems Biology. 2010;4(42):1-19. doi:10.1186/1752-0509-4-42
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices. In: Vol 5944. Springer; 2010:163-179. doi:10.1007/978-3-642-11319-2_14
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3858
Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Fermüller C, Voronkov A, eds. Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed