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.
9096 Publications
2008 | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 2008;6(11). doi:10.1186/1741-7007-6-11
View
| DOI
2008 | Journal Article | IST-REx-ID: 3905
Cremer S, D’Ettorre P, Drijfhout F, Sledge M, Turillazzi S, Heinze J. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 2008;95(11):1101-1105. doi:10.1007/s00114-008-0430-8
View
| DOI
2008 | Journal Article | IST-REx-ID: 3907
Suefuji M, Cremer S, Oettler J, Heinze J. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 2008;4(6):670-673. doi:10.1098/rsbl.2008.0355
View
| DOI
2008 | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, et al. The evolution of invasiveness in garden ants. PLoS One. 2008;3(12). doi:10.1371/journal.pone.0003838
View
| DOI
2008 | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. The microanatomy of T-cell responses. Immunological Reviews. 2008;221(1):26-43. doi:10.1111/j.1600-065X.2008.00592.x
View
| DOI
2008 | Journal Article | IST-REx-ID: 3940
Lokmic Z, Lämmermann T, Sixt MK, Cardell S, Hallmann R, Sorokin L. The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. 2008;20(1):4-13. doi:10.1016/j.smim.2007.12.009
View
| DOI
2008 | Journal Article | IST-REx-ID: 3970
Dequéant M, Ahnert S, Edelsbrunner H, et al. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 2008;3(8). doi:10.1371/journal.pone.0002856
View
| DOI
2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner H, Harer J, Mascarenhas A, Pascucci V, Snoeyink J. Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. 2008;41(3):149-166. doi:10.1016/j.comgeo.2007.11.001
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner H, Harer J. Persistent homology - a survey. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. American Mathematical Society; 2008:257-282.
View
2008 | Journal Article | IST-REx-ID: 4141
Vervenne H, Crombez K, Lambaerts K, et al. Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. 2008;320(1):267-277. doi:10.1016/j.ydbio.2008.05.529
View
| DOI
2008 | Journal Article | IST-REx-ID: 4161
Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. Origin and shaping of the laterality organ in zebrafish. Development. 2008;135(16):2807-2813. doi:10.1242/dev.022228
View
| DOI
2008 | Journal Article | IST-REx-ID: 4190
Kai M, Heisenberg C-PJ, Tada M. Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. 2008;135(18):3043-3051. doi:10.1242/dev.020396
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View
| Files available
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi:10.1007/978-3-540-85361-9_6
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 |
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View
| DOI
| Download (ext.)