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.




2621 Publications

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 | 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). 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 | 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: 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 | 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
 
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 | 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
 
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: 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 | 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 | 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: 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: 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: 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: 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 | Conference Paper | IST-REx-ID: 3864
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 | 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
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
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). 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: 3853   OA
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. Mean-payoff automaton expressions. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:269-283. doi:10.1007/978-3-642-15375-4_19
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
 
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Generalized mean-payoff and energy games. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:505-516. doi:10.4230/LIPIcs.FSTTCS.2010.505
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View | DOI
 
2010 | Journal Article | IST-REx-ID: 4243   OA
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4382   OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. Transactions in the jungle. In: ACM; 2010:263-272. doi:10.1145/1810479.1810529
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3772   OA
Barton NH. Understanding adaptation in large populations. PLoS Genetics. 2010;6(6). doi:10.1371/journal.pgen.1000987
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3777   OA
Barton NH. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1544):1281-1294. doi:10.1098/rstb.2009.0320
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, et al. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 2010;20(21):1966-1972. doi:10.1016/j.cub.2010.10.009
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier F, Henzinger TA, Mateescu M, Wolf V. SABRE: A tool for the stochastic analysis of biochemical reaction networks. In: IEEE; 2010:193-194. doi:10.1109/QEST.2010.33
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3842
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 2010;4(6):441-452. doi:10.1049/iet-syb.2010.0005
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee K, Horn F, Löding C. Obliging games. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:284-296. doi:10.1007/978-3-642-15375-4_20
View | DOI
 
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA, eds. Formal Modeling and Analysis of Timed Systems. Vol 6246. Springer; 2010. doi:10.1007/978-3-642-15297-9
View | Files available | DOI
 
2010 | Thesis | IST-REx-ID: 3962
Pflicke H.   Dendritic Cell Migration across Basement Membranes in the Skin. IST Austria; 2010.
View
 
2010 | Journal Article | IST-REx-ID: 3861
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. Information and Computation. 2010;208(6):677-693. doi:10.1016/j.ic.2009.07.004
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4369   OA
Nickovic D, Piterman N. From MTL to deterministic timed automata. In: Henzinger TA, Chatterjee K, eds. Vol 6246. Springer; 2010:152-167. doi:10.1007/978-3-642-15297-9_13
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 474
Barton NH, Kelleher J, Etheridge A. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 2010;64(9):2701-2715. doi:10.1111/j.1558-5646.2010.01019.x
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4390
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4388   OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
View | Files available | DOI | arXiv
 
2010 | Journal Article | IST-REx-ID: 3773   OA
Barton NH. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2010;365(1547):1825-1840. doi:10.1098/rstb.2010.0001
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3785
Palero F, Abello P, Macpherson E, Matthee C, Pascual M. Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. 2010;30(4):658-663. doi:10.1651/09-3192.1
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3848
Bendich P, Edelsbrunner H, Morozov D, Patel A. The robustness of level sets. In: Vol 6346. Springer; 2010:1-10. doi:10.1007/978-3-642-15775-2_1
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. Polygonal reconstruction from approximate offsets. In: TU Dortmund; 2010:12-23.
View
 
2010 | Journal Article | IST-REx-ID: 3901   OA
Bendich P, Edelsbrunner H, Kerber M. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 2010;16(6):1251-1260. doi:10.1109/TVCG.2010.139
View | Files available | DOI
 
2010 | Book | IST-REx-ID: 4346   OA
Danowski P, Bergmann J. Handbuch Bibliothek 2.0. De Gruyter; 2010.
View | Download (ext.)
 
2010 | Book Chapter | IST-REx-ID: 4339   OA
Bergmann J, Danowski P. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Bergmann J, Danowski P, eds. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41. De Gruyter; 2010:5-20. doi:10.1515/9783110232103
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen L, Henzinger TA, Legay A, Nickovic D. Robustness of sequential circuits. In: IEEE; 2010:77-84. doi:10.1109/ACSD.2010.26
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov Decision Processes. In: Vol 6281. Springer; 2010:258-269. doi:10.1007/978-3-642-15155-2_24
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 2409   OA
Kupczok A, Schmidt H, Von Haeseler A. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 2010;5(1). doi:10.1186/1748-7188-5-37
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 2010;79(2):414-425. doi:10.1111/j.1365-2656.2009.01633.x
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3779   OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3793
Nowozin S, Gehler P, Lampert C. On parameter learning in CRF-based approaches to object class image segmentation. In: Vol 6316. Springer; 2010:98-111. doi:10.1007/978-3-642-15567-3_8
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3604
Senn H, Goodman S, Swanson G, Barton NH, Pemberton J. 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. 2010;19(5):910-924. doi:10.1111/j.1365-294X.2009.04497.x
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3832   OA
Guzmán J, Jonas PM. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 2010;66(1):8-10. doi:10.1016/j.neuron.2010.04.003
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Conference Paper | IST-REx-ID: 3849   OA
Bendich P, Edelsbrunner H, Kerber M, Patel A. Persistent homology under non-uniform error. In: Vol 6281. Springer; 2010:12-23. doi:10.1007/978-3-642-15155-2_2
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3868   OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3863
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Strategy construction for parity games with imperfect information. Information and Computation. 2010;208(10):1206-1220. doi:10.1016/j.ic.2009.09.006
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 4157   OA
Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi:10.1038/emboj.2010.182
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Conference Paper | IST-REx-ID: 4378   OA
Kuncak V, Piskac R, Suter P, Wies T. Building a calculus of data structures. In: Barthe G, Hermenegildo M, eds. Vol 5944. Springer; 2010:26-44. doi:10.1007/978-3-642-11319-2_6
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022
View | Files available | DOI
 
2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 488   OA
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4361
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3856
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. In: Vol 6281. Springer; 2010:246-257. doi:10.1007/978-3-642-15155-2_23
View | Files available | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3851
Chatterjee K, Doyen L. Energy parity games. In: Vol 6199. Springer; 2010:599-610. doi:10.1007/978-3-642-14162-1_50
View | Files available | DOI | Download (ext.) | arXiv
 
2010 | Technical Report | IST-REx-ID: 5388
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
View | Files available | DOI
 
2009 | Journal Article | IST-REx-ID: 3775   OA
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed