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
2008 | Journal Article | IST-REx-ID: 3825 |

Aponte Y, Bischofberger J, Jonas PM. 2008. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 586(8), 2061–75.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 3878 |

Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, Schlick Steiner B, Steiner F, Seifert B, Hughes D, Schulz A, Petersen K, Konrad H, Stauffer C, Kiran K, Espadaler X, D’Ettorre P, Aktaç N, Eilenberg J, Jones G, Nash D, Pedersen J, Boomsma J. 2008. The evolution of invasiveness in garden ants. PLoS One. 3(12).
View
| DOI
2008 | Journal Article | IST-REx-ID: 3942
Frommhold D, Ludwig A, Bixel MG, Zarbock A, Babushkina I, Weissinger M, Cauwenberghs S, Ellies L, Marth J, Beck Sickinger A, Sixt MK, Lange Sperandio B, Zernecke A, Brandt E, Weber C, Vestweber D, Ley K, Sperandio M. 2008. Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. 205(6), 1435–1446.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, Lämmermann T, Pfister H, Bateman A, Belaaouaj A, Ring J, Ollert M, Fässler R, Jenne D. 2008. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 118(7), 2438–2447.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3945
Tripp C, Haid B, Flacher V, Sixt MK, Peter H, Farkas J, Gschwentner R, Sorokin L, Romani N, Stoitzner P. 2008. The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. 213(9–10), 715–28.
View
| DOI
2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner H, Harer J. 2008.Persistent homology - a survey. In: Surveys on Discrete and Computational Geometry: Twenty Years Later. Contemporary Mathematics, , 257–282.
View
2008 | Journal Article | IST-REx-ID: 3970
Dequéant M, Ahnert S, Edelsbrunner H, Fink T, Glynn E, Hattem G, Kudlicki A, Mileyko Y, Morton J, Mushegian A, Pachter L, Rowicka M, Shiu A, Sturmfels B, Pourquie O. 2008. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 3(8).
View
| DOI
2008 | Journal Article | IST-REx-ID: 4141
Vervenne H, Crombez K, Lambaerts K, Carvalho L, Köppen M, Heisenberg C-PJ, Van De Ven W, Petit M. 2008. Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. 320(1), 267–277.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4244
Yang E, Barton NH, Arslan T, Erdogan A. 2008. A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks. WCCI: IEEE World Congress on Computational Intelligence, 2749–2756.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 4384 |

Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional memories. PLDI: Programming Languages Design and Implementation, 372–382.
View
| Files available
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol. 5201, 21–35.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, , 304–308.
View
2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, Cronin E, Shah G, Sherr M, Blaze M. 2008. Security Evaluation of ES&S Voting Machines and Election Management System. Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4409 |

Prabhu V. 2008. Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11113 |

Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11114 |

Schulte R, Talamas J, Doucet C, Hetzer M. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. 2008. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 18(10), 456–466.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. 2008. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 20(6), 669–677.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11112
Anderson DJ, Hetzer M. 2008. The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. 20(4), 386–392.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, Van Den Dool C, Gardner R, Oliveira V, Bergman M, Sepúlveda N, Paixao T, Faro J, Demengeot J. 2007. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 216(1), 48–68.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. 2007. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems.
View
2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, Mravec J, Titapiwatanakun B, Sauer M, Makam S, Cheng Y, Bouchard R, Adamec J, Geisler M, Nagashima A, Sakai T, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 19(1), 131–147.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, Mravec J, Sauer M, Titapiwatanakun B, Makam S, Bouchard R, Geisler M, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions of PIN and PGP auxin transport mechanisms. Intercellular Signalling in Plants, Biochemical Society Transactions, vol. 35, 137–141.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. 2007. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 29(4), 371–381.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. 2007. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 12(4), 160–168.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, Weijers D, Schweighofer A, Meskiene I, Heisler M, Ohno C, Zhang J, Huang F, Schwab R, Weigel D, Meyerowitz E, Luschnig C, Offringa R, Friml J. 2007. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 130(6), 1044–1056.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, Maes L, Vanneste S, Swarup R, Weijers D, Calvo V, Parizot B, Herrera Rodriguez M, Offringa R, Graham N, Doumas P, Friml J, Bogusz D, Beeckman T, Bennett M. 2007. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 19(12), 3889–3900.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. 2007. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 28, 295–304.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. 2007. Optimizing binary MRFs via extended roof duality. CVPR: Computer Vision and Pattern Recognition.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3411 |

Preiner J, Janovjak HL, Rankl C, Knaus H, Cisneros D, Kedrov A, Kienberger F, Mueller D, Hinterdorfer P. 2007. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 93(3), 930–937.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 7780
Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, Zhu A, Scholtz JM, Makarov DE, Movileanu L. 2007. Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 111(13), 3332–3335.
View
| DOI
2007 | Journal Article | IST-REx-ID: 8027
Vogels TP, Abbott L. 2007. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 40(S 1), S73–S77.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 860
Plotnikova O, Kondrashov F, Vlasov P, Grigorenko A, Ginter E, Rogaev E. 2007. Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state. American Journal of Human Genetics. 81(1), 32–43.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View
| DOI