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.




4969 Publications

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
 
2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
[Published Version] View | DOI | Download Published Version (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.
[Submitted Version] View | Files available | DOI
 
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.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
[Published Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz A, Krieg M, Bergert M, Ibarlucea Benitez I, Müller D, Paluch E, Heisenberg C-PJ. 2010. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 8(11), e1000544.
[Published Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández E, Caneparo L, Schneider S, Winkler S, Liebling M, Fraser S, Heisenberg C-PJ. 2010. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 20(21), 1966–1972.
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
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
 
2010 | Journal Article | IST-REx-ID: 3786
Palero F, Guerao G, Clark P, Abello P. 2010. Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. 2403(1), 42–58.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.
[Published Version] 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: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[Submitted Version] View | Files available | 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.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. 2010. Mean-payoff automaton expressions. CONCUR: Concurrency Theory, LNCS, vol. 6269, 269–283.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee K, Horn F, Löding C. 2010. Obliging games. CONCUR: Concurrency Theory, LNCS, vol. 6269, 284–296.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2010 | Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2010. Polygonal reconstruction from approximate offsets. EuroCG: European Workshop on Computational Geometry, 12–23.
View
 
2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
[Submitted Version] 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. 2010. Analyzing the impact of change in multi-threaded programs. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 293–307.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3901 | OA
Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.
[Submitted Version] View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann J, Danowski P. 2010.Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In: Handbuch Bibliothek 2.0. , 5–20.
[Published Version] 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: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
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.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
[Submitted Version] View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications