Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7340 Publications


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 | 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.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
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.
View | Files available | DOI
 

2010 | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. 2010. Computational Topology: An Introduction, American Mathematical Society, XII, 241p.
View | Files available | DOI | Download None (ext.)
 

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.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. 2010. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 277(1695), 2821–2828.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
Nourshargh S, Hordijk P, Sixt MK. 2010. Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. 11(5), 366–378.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3957
Riedl J, Flynn K, Raducanu A, Gärtner FR, Beck G, Bosl M, Bradke F, Massberg S, Aszodi A, Sixt MK, Wedlich Söldner R. 2010. Lifeact mice for studying F-actin dynamics. Nature Methods. 7(3), 168–169.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, Eisele S, Junker A, Sixt MK, Newcombe J, Wekerle H, Hohlfeld R, Lassmann H, Meinl E. 2010. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 20(5), 966–975.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Schumann K, Lämmermann T, Bruckner M, Legler D, Polleux J, Spatz J, Schuler G, Förster R, Lutz M, Sorokin L, Sixt MK. 2010. Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. 32(5), 703–713.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
Weber M, Sixt MK. 2010. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 29(17), 2861–2863.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3961
Renkawitz J, Sixt MK. 2010. Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. 11(10), 744–750.
View | DOI
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. IST Austria.
View
 

2010 | Journal Article | IST-REx-ID: 3963
Streinzer M, Ellis T, Paulus H, Spaethe J. 2010. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. 4(3), 141–148.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. 2010. Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. 10(2), 127–139.
View | 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: 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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4163
Oteíza P, Koeppen M, Krieg M, Pulgar E, Farias C, Melo C, Preibisch S, Mueller D, Tada M, Hartel S, Heisenberg C-PJ, Concha M. 2010. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 137(20), 3459–3468.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4187
Kardash E, Reichman Fried M, Maître J, Boldajipour B, Papusheva E, Messerschmidt E, Heisenberg C, Raz E. 2010. A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. 12(1), 47–53.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo Y, Krieg M, Stuehmer J, Licata N, Mueller D, Heisenberg C-PJ. 2010. Movement directionality in collective migration of germ layer progenitors. Current Biology. 20(2), 161–169.
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.
View | Files available | DOI
 

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.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski P. 2010. Open bibliographic data, Elsevier,p.
View | Files available | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4341
Danowski P. 2010. Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. WLIC: World Library and Information Congress, IFLA , .
View | Download (ext.)
 

2010 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane C, Ben Zakour N, Tormo Mas M, Weinert L, Lowder B, Cartwright R, Smyth D, Smyth C, Lindsay J, Gould K, Witney A, Hinds J, Bollback JP, Rambaut A, Penades J, Fitzgerald JR. 2010. Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. 2, 454–466.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
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: 4364
Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.
View | DOI
 

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.
View | Files available | 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.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View | DOI | Download (ext.)
 

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.
View | Files available | 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: 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.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
View | Files available | DOI | arXiv
 

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.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. 2010.Quantitative Simulation Games. In: Time For Verification: Essays in Memory of Amir Pnueli. LNCS, vol. 6200, 42–60.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt S, Musuvathi M, Singh V. 2010. Verifying local transformations on relaxed memory models. CC: Compiler Construction, LNCS, vol. 6011, 104–123.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
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 | 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.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
Doucet CM, Hetzer M. 2010. Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. 119, 469–477.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
Capelson M, Liang Y, Schulte R, Mair W, Wagner U, Hetzer M. 2010. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 140(3), 372–383.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
Doucet CM, Talamas JA, Hetzer M. 2010. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 141(6), 1030–1041.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
Hetzer M. 2010. The nuclear envelope. Cold Spring Harbor Perspectives in Biology. 2(3), a000539–a000539.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
Hetzer M. 2010. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2(2), 74–75.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications