Please note that IST 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.

2772 Publications


2011 | Journal Article | IST-REx-ID: 469 | OA
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.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 491
Eichner A, Sixt MK. 2011. Setting the clock for recirculating lymphocytes. Science Signaling. 4(198), pe43.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Thesis | IST-REx-ID: 3275
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration, IST Austria, 141p.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
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).
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
Raveendran K, Wojtan CJ, Turk G. 2011. Hybrid smoothed particle hydrodynamics. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation 33–42.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
Wojtan CJ, Müller Fischer M, Brochu T. 2011. Liquid simulation with mesh-based surface tracking. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Henzinger TA, Mateescu M. 2011. Propagation models for computing biochemical reaction networks. CMSB: Computational Methods in Systems Biology 1–3.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12. 82–96.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor S, Boker U, Kupferman O. 2011. What’s decidable about weighted automata . ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6996. 482–491.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis S, Lickly B, Henzinger TA, Lee E. 2011. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 33(4).
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai R, Henzinger TA, Singh V. 2011. Quantitative evaluation of BFT protocols. QEST: Quantitative Evaluation of Systems 255–264.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt MK, Parent C. 2011. Cells on the move in Philadelphia. Molecular Biology and Evolution. 22(6), 724.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
Kerber M, Sagraloff M. 2011. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 27(3), 419–430.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak HL, Sandoz G, Isacoff E. 2011. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2(232), 1–6.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2011. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 412(21), 2128–2141.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications