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.

11357 Publications


2010 | Published | 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 | Published | 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 | Published | 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 | WoS
 

2010 | Published | 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.) | WoS | PubMed | Europe PMC
 

2010 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | WoS
 

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

2010 | Published | 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 | Published | 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 | Published | 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 | Published | 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.
[Submitted Version] View | Files available | DOI
 

2010 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4364
Podelski A, Wies T. 2010. Counterexample-guided focus. POPL: Principles of Programming Languages, 249–260.
View | DOI
 

2010 | Published | 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 | Published | 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 | Published | 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 | Published | 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
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed