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 | 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 | 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: 3751 |
Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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.
[Published Version]
View
| Files available
| DOI
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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3037 |
Feraru E, Friml J. 2008. PIN polar targeting. Plant Physiology. 147(4), 1553–1559.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 3196
Szeliski R, Zabih R, Scharstein D, Veksler O, Kolmogorov V, Agarwala A, Tappen M, Rother C. 2008. A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. 30(6), 1068–1080.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3198
Torresani L, Kolmogorov V, Rother C. 2008. Feature correspondence via graph matching: Models and global optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 5303, 596–609.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3195
Vicente S, Kolmogorov V, Rother C. 2008. Graph cut based image segmentation with connectivity priors. CVPR: Computer Vision and Pattern Recognition.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. 2008. Robust multi property combiners for hash functions revisited. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 655–666.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst PS, Krappmann S, Vervecken W, Rohde M, Müller M, Braus G, Contreras R, Braun A, Bakker H, Routier F. 2008. Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. 7(8), 1268–1277.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3307 |
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3435 |
Bollback JP, York T, Nielsen R. 2008. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 179(1), 497–502.
View
| DOI
| Download (ext.)
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: 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: 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 | 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: 3760
Wojtan C, 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: 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 | 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 | 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: 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 | 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: 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: 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 | Thesis | IST-REx-ID: 4415
Matic S. 2008. Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. 2008. Valigator: A verification tool with bound and invariant generation. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 5330, 333–342.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 366(1881), 3727–3736.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal A. 2008. A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. 2008. Proving non-termination. POPL: Principles of Programming Languages, 147–158.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View
| DOI
| Download (ext.)