ISTA Research Explorer

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.

11116 Publications

2011 | Published | Conference Paper | IST-REx-ID: 3325

Alur R, Cerny P. 2011. Streaming transducers for algorithmic verification of single pass list processing programs. POPL: Principles of Programming Languages vol. 46, 599–610.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 531 |

Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Journal Article | IST-REx-ID: 3269 |

Sheng Y, Cutler B, Chen C, Nasman J. 2011. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 30(4), 1261–1268.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Journal Article | IST-REx-ID: 3287

Ruprecht V, Axmann M, Wieser S, Schuetz G. 2011. What can we learn from single molecule trajectories? Current Protein & Peptide Science. 12(8), 714–724.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3318 |

Eggermann E, Jonas PM. 2011. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 15, 20–22.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2011 | Published | Journal Article | IST-REx-ID: 3267

Chen C, Freedman D. 2011. Hardness results for homology localization. Discrete & Computational Geometry. 45(3), 425–448.

View | Files available | DOI | WoS

2011 | Published | Conference Paper | IST-REx-ID: 3356 |

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Technical Report | IST-REx-ID: 5385 |

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 3288 |

Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. 2011. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 6(7).

[Published Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 490 |

Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.

[Published Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 469 |

Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2011 | Published | Journal Article | IST-REx-ID: 491

Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198), pe43.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 6496 |

Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.

2010 | Published | Journal Article | IST-REx-ID: 13409 |

Klajn R. 2010. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 82(12), 2247–2279.

[Published Version] View | DOI | Download Published Version (ext.)

2010 | Published | Journal Article | IST-REx-ID: 13410

Coskun A, Wesson PJ, Klajn R, Trabolsi A, Fang L, Olson MA, Dey SK, Grzybowski BA, Stoddart JF. 2010. Molecular-mechanical switching at the nanoparticle−solvent interface: Practice and theory. Journal of the American Chemical Society. 132(12), 4310–4320.