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.
7270 Publications
2008 | Conference Paper | IST-REx-ID: 3504 |

Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2, 107–118.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, Jinno S, Marton L, Csicsvari JL, Thomson A, Somogyi P, Klausberger T. 2008. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 57(6), 917–929.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3544
Mallet N, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P, Magill P. 2008. Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. 28(18), 4795–4806.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. 2008. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3694
Goldstein M, Lampert C, Reif M, Stahl A, Breuel T. 2008. Bayes optimal DDoS mitigation by adaptive history-based IP filtering. ICN: International Conference on Networking, 174–179.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3700
Lampert C. 2008. Partitioning of image datasets using discriminative context information. CVPR: Computer Vision and Pattern Recognition, 1–8.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. 2008. Learning to localize objects with structured output regression. ECCV: European Conference on Computer Vision, LNCS, vol. 5302, 2–15.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3706
Lampert C, Blaschko M. 2008. Joint kernel support estimation for structured prediction. NIPS SISO: NIPS Workshop on ‘Structured Input - Structured Output’, 1–4.
View
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3714
Lampert C, Blaschko M, Hofmann T. 2008. Beyond sliding windows: Object localization by efficient subwindow search. CVPR: Computer Vision and Pattern Recognition, 1–8.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. 2008. A multiple kernel learning approach to joint multi-class object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5096, 31–40.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3734 |

Tkačik G, Gregor T, Bialek W. 2008. The role of input noise in transcriptional regulation. PLoS One. 3(7).
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3740 |

Tkačik G, Callan C, Bialek W. 2008. Information flow and optimization in transcriptional regulation. PNAS. 105(34), 12265–12270.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3744 |

Tkačik G, Magnasco M. 2008. Decoding spike timing: The differential reverse-correlation method. Biosystems. 93(1–2), 90–100.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3751 |

Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3760
Wojtan CJ, Turk G. 2008. Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. 27(3).
View
| DOI
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 3822 |

Schmidt Hieber C, Jonas PM, Bischofberger J. 2008. Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. 586(7), 1849–57.
View
| DOI
| Download (ext.)
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.)
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.)