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.

2617 Publications


2011 | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3269 | OA
Sheng Y, Cutler B, Chen C, Nasman J. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 2011;30(4):1261-1268. doi:10.1111/j.1467-8659.2011.01985.x
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0022458
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290 | OA
Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
Wojtan CJ, Müller Fischer M, Brochu T. Liquid simulation with mesh-based surface tracking. In: ACM; 2011. doi:10.1145/2037636.2037644
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
Raveendran K, Wojtan CJ, Turk G. Hybrid smoothed particle hydrodynamics. In: Spencer S, ed. ACM; 2011:33-42. doi:10.1145/2019406.2019411
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi:10.1145/2037509.2037510
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
Henzinger TA, Mateescu M. Tail approximation for the chemical master equation. In: Tampere International Center for Signal Processing; 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: USENIX; 2011:1-6.
View | Files available
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. Detailed Reconstruction of 3D Plant Root Shape. IEEE; 2011. doi:10.1109/ICCV.2011.6126475
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
Chen C, Edelsbrunner H. Diffusion runs low on persistence fast. In: Proceedings of the IEEE International Conference on Computer Vision. IEEE; 2011. doi:10.1109/ICCV.2011.6126271
View | Files available | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3316 | OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In: 6th IEEE International Symposium on Industrial and Embedded Systems. IEEE; 2011:176-185. doi:10.1109/SIES.2011.5953660
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA
Eggermann E, Jonas PM. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 2011;15:20-22. doi:10.1038/nn.3002
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin S, Lampert C. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 2011;6(3-4):185-365. doi:10.1561/0600000033
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
Piskac R, Wies T. Decision procedures for automating termination proofs. In: Jhala R, Schmidt D, eds. Vol 6538. Springer; 2011:371-386. doi:10.1007/978-3-642-18275-4_26
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
Berberich E, Hemmer M, Kerber M. A generic algebraic kernel for non linear geometric applications. In: ACM; 2011:179-186. doi:10.1145/1998196.1998224
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry. ACM; 2011:187-196. doi:10.1145/1998196.1998225
View | Files available | DOI | Download Preprint (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber M, Sagraloff M. Root refinement for real polynomials. In: Springer; 2011:209-216. doi:10.1145/1993886.1993920
View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications