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.

302 Publications


2011 | Journal Article | IST-REx-ID: 2799
Avila K, Moxey D, De Lózar A, Avila M, Barkley D, Hof B. The onset of turbulence in pipe flow. Science. 2011;333(6039):192-196. doi:10.1126/science.1203223
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2800
Samanta D, De Lózar A, Hof B. Experimental investigation of laminar turbulent intermittency in pipe flow. Journal of Fluid Mechanics. 2011;681:193-204. doi:10.1017/jfm.2011.189
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 2801
Holzner M, Avila M, De Lózar A, Hof B. A Lagrangian approach to the interface velocity of turbulent puffs in pipe flow. In: Vol 318. IOP Publishing Ltd.; 2011. doi:10.1088/1742-6596/318/5/052031
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2871
Bishopp A, Benková E, Helariutta Y. Sending mixed messages: Auxin-cytokinin crosstalk in roots. Current Opinion in Plant Biology. 2011;14(1):10-16. doi:10.1016/j.pbi.2010.08.014
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2874
Gallego Bartolomé J, Arana M, Vandenbussche F, et al. Hierarchy of hormone action controlling apical hook development in Arabidopsis. Plant Journal. 2011;67(4):622-634. doi:10.1111/j.1365-313X.2011.04621.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2897
Paixao T, Azevedo R. Redundancy and the Evolution of Cis Regulatory Element Multiplicity. PLoS Computational Biology. 2011;6(7). doi:10.1371/journal.pcbi.1000848
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2898
Paixao T, Phadke S, Azevedo R, Zufall R. Sex ratio evolution under probabilistic sex determination. Evolution; International Journal of Organic Evolution. 2011;65(7):2050-2060. doi:10.1111/j.1558-5646.2011.01266.x
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 2922
Vicente S, Kolmogorov V, Rother C. Graph-cut Based Image Segmentation with Connectivity Priors. In: Blake A, Kohli P, Rother C, eds. Markov Random Fields for Vision and Image Processing. Massachusetts Institute of Technology Press; 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2923
Kumar MP, Kolmogorov V, Torr P. Analyzing Convex Relaxations for MAP Estimation. In: Blake A, Kohli P, Rother C, eds. Markov Random Fields for Vision and Image Processing. Massachusetts Institute of Technology Press; 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2924
Criminisi A, Cross G, Blake A, Kolmogorov V. Bilayer Segmentation of Video. In: Blake A, Kohli P, Rother C, eds. Markov Random Fields for Vision and Image Processing. Massachusetts Institute of Technology Press; 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2925
Rother C, Kolmogorov V, Boykov Y, Blake A. Interactive Foreground Extraction using graph cut. In: Blake A, Kohli P, Rother C, eds. Markov Random Fields for Vision and Image Processing. Massachusetts Institute of Technology Press; 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2935
Boykov Y, Kolmogorov V. Basic graph cut algorithms. In: Blake A, Kohli P, Rother C, eds. Markov Random Fields for Vision and Image Processing. Massachusetts Institute of Technology Press; 2011:31-50.
View
 

2011 | Conference Paper | IST-REx-ID: 2960
Fienberg S, Slavkovic A, Uhler C. Privacy Preserving GWAS Data Sharing. In: IEEE; 2011. doi:10.1109/ICDMW.2011.140
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2961 | OA
Malaspinas A, Uhler C. Detecting epistasis via Markov bases. Journal of Algebraic Statistics. 2011;2(1):36-53. doi:http://dx.doi.org/10.18409/jas.v2i1.27
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. A Framework for Practical Universally Composable Zero-Knowledge Protocols. In: Lee D, Wang X, eds. Vol 7073. Springer; 2011:449-467. doi:10.1007/978-3-642-25385-0
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2976
Gullasch D, Bangerter E, Krenn S. Cache Games - Bringing Access-Based Cache Attacks on AES to Practice. In: IEEE; 2011:490-505. doi:10.1109/SP.2011.22
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2977
Bangerter E, Krenn S, Seifriz M, Ultes Nitsche U. cPLC - A Cryptographic Programming Language and Compiler. In: Venter H, Coetzee M, Loock M, eds. IEEE; 2011. doi:10.1109/ISSA.2011.6027533
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3082
Balla J, Kalousek P, Reinöhl V, Friml J, Procházka S. Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth. Plant Journal. 2011;65(4):571-577. doi:10.1111/j.1365-313X.2010.04443.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3083
Robinson D, Scheuring D, Naramoto S, Friml J. ARF1 localizes to the golgi and the trans Golgi network. Plant Cell. 2011;23(3):846-849. doi:10.1105/tpc.110.082099
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3084
Feraru E, Feraru M, Kleine Vehn J, et al. PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. 2011;21(4):338-343. doi:10.1016/j.cub.2011.01.036
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3085
Ding Z, Galván Ampudia C, Demarsy E, et al. Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. 2011;13(4):447-453. doi:10.1038/ncb2208
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3086
Furutani M, Sakamoto N, Yoshida S, et al. Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. 2011;138(10):2069-2078. doi:10.1242/dev.057745
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3087
Kitakura S, Vanneste S, Robert S, et al. Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis. Plant Cell. 2011;23(5):1920-1931. doi:10.1105/tpc.111.083030
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3088
Bishopp A, Help H, El Showk S, et al. A mutually inhibitory interaction between auxin and cytokinin specifies vascular pattern in roots. Current Biology. 2011;21(11):917-926. doi:10.1016/j.cub.2011.04.017
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3089
Zhang J, Vanneste S, Brewer P, et al. Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. 2011;20(6):855-866. doi:10.1016/j.devcel.2011.05.013
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, et al. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 2011;21(12):1055-1060. doi:10.1016/j.cub.2011.05.018
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3091 | OA
Sauer M, Friml J. Fleeting hormone cues get stabilized for plant organogenesis. Molecular Systems Biology. 2011;7. doi:10.1038/msb.2011.45
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3092 | OA
Wabnik KT, Govaerts W, Friml J, Kleine Vehn J. Feedback models for polarized auxin transport: An emerging trend. Molecular BioSystems. 2011;7(8):2352-2359. doi:10.1039/c1mb05109a
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3093
Barberon M, Zelazny E, Robert S, et al. Monoubiquitin dependent endocytosis of the Iron Regulated Transporter 1 IRT1 transporter controls iron uptake in plants. PNAS. 2011;108(32):E450-E458. doi:10.1073/pnas.1100659108
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3094
Rakusová H, Gallego Bartolomé J, Vanstraelen M, et al. Polarization of PIN3 dependent auxin transport for hypocotyl gravitropic response in Arabidopsis thaliana. Plant Journal. 2011;67(5):817-826. doi:10.1111/j.1365-313X.2011.04636.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3095
Dubrovsky J, Napsucialy Mendivil S, Duclercq J, et al. Auxin minimum defines a developmental window for lateral root initiation. New Phytologist. 2011;191(4):970-983. doi: 10.1111/j.1469-8137.2011.03757.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3096
Wabnik KT, Kleine Vehn J, Govaerts W, Friml J. Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. 2011;16(9):468-475. doi:10.1016/j.tplants.2011.05.002
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3097
Marhavý P, Bielach A, Abas L, et al. Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. 2011;21(4):796-804. doi:10.1016/j.devcel.2011.08.014
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3098
Kleine Vehn J, Wabnik KT, Martinière A, et al. Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. 2011;7. doi:10.1038/msb.2011.72
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3099
Drakakaki G, Robert S, Szatmári A, et al. Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. 2011;108(43):17850-17855. doi:10.1073/pnas.1108581108
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3100 | OA
Vanneste S, Coppens F, Lee E, et al. Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. 2011;30(16):3430-3441. doi:10.1038/emboj.2011.240
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka M, Feraru E, Möller B, et al. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 2011;21(12):1711-1722. doi:10.1038/cr.2011.99
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3102
Berckmans B, Vassileva V, Schmid S, et al. Auxin Dependent cell cycle reactivation through transcriptional regulation of arabidopsis E2Fa by lateral organ boundary proteins. Plant Cell. 2011;23(10):3671-3683. doi:10.1105/tpc.111.088377
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3103
Chen X, Irani N, Friml J. Clathrin-mediated endocytosis: The gateway into plant cells. Current Opinion in Plant Biology. 2011;14(6):674-682. doi:10.1016/j.pbi.2011.08.006
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3138
Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 2011;31(23):8605-8616. doi:10.1523/JNEUROSCI.0294-11.2011
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3145
Tasic B, Hippenmeyer S, Wang C, et al. Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. 2011;108(19):7902-7907. doi:10.1073/pnas.1019507108
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3147
Liu C, Sage J, Miller M, et al. Mosaic analysis with double markers reveals tumor cell of origin in glioma. Cell. 2011;146(2):209-221. doi:10.1016/j.cell.2011.06.014
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3154
Degennaro M, Hurd T, Siekhaus DE, Biteau B, Jasper H, Lehmann R. Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. 2011;20(2):233-243. doi:10.1016/j.devcel.2010.12.007
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3163
Lampert C. Maximum margin multi-label structured prediction. In: Neural Information Processing Systems; 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3204
Kolmogorov V. Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions. In: Vol 6907. Springer; 2011:400-411. doi:10.1007/978-3-642-22993-0_37
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3205
Tarlow D, Batra D, Kohli P, Kolmogorov V. Dynamic tree block coordinate ascent. In: Omnipress; 2011:113-120.
View | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3206
Osokin A, Vetrov D, Kolmogorov V. Submodular decomposition framework for inference in associative Markov networks with global constraints. In: IEEE; 2011:1889-1896. doi:10.1109/CVPR.2011.5995361
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3207
Vicente S, Rother C, Kolmogorov V. Object cosegmentation. In: IEEE; 2011:2217-2224. doi:10.1109/CVPR.2011.5995530
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. Parallel repetition for leakage resilience amplification revisited. In: Vol 6597. Springer; 2011:58-69. doi:10.1007/978-3-642-19571-6_5
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3238
Kiltz E, Pietrzak KZ, Cash D, Jain A, Venturi D. Efficient authentication from hard learning problems. In: Vol 6632. Springer; 2011:7-26. doi:10.1007/978-3-642-20465-4_3
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. Tamper proof circuits How to trade leakage for tamper resilience. In: Vol 6755. Springer; 2011:391-402. doi:10.1007/978-3-642-22006-7_33
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3240
Barak B, Dodis Y, Krawczyk H, et al. Leftover hash lemma revisited. In: Vol 6841. Springer; 2011:1-20. doi: 10.1007/978-3-642-22792-9_1
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
Ion A, Carreira J, Sminchisescu C. Probabilistic joint image segmentation and labeling. In: NIPS Proceedings. Vol 24. Neural Information Processing Systems Foundation; 2011:1827-1835.
View
 

2011 | Book Chapter | IST-REx-ID: 3268
Freedman D, Chen C. Algebraic topology for computer vision. In: Computer Vision. Nova Science Publishers; 2011:239-268.
View | Download None (ext.)
 

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 | Conference Paper | IST-REx-ID: 3270
Chen C, Kerber M. Persistent homology computation with a twist. In: TU Dortmund; 2011:197-200.
View
 

2011 | Book Chapter | IST-REx-ID: 3271
Wagner H, Chen C, Vuçini E. Efficient computation of persistent homology for cubical data. In: Peikert R, Hauser H, Carr H, Fuchs R, eds. Topological Methods in Data Analysis and Visualization II. Springer; 2011:91-106. doi:10.1007/978-3-642-23175-9_7
View | DOI
 

2011 | Thesis | IST-REx-ID: 3273
Maître J-L. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. 2011.
View
 

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

2011 | Journal Article | IST-REx-ID: 3276 | OA
Prentice J, Homann J, Simmons K, Tkačik G, Balasubramanian V, Nelson P. Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0019884
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3278
Vila R, Pierce N, Nash D, Ugelvig LV. A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. 2011;61(1):237-243. doi:10.1016/j.ympev.2011.05.016
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3285
Ruprecht V, Wieser S, Marguet D, Schuetz G. Spot variation fluorescence correlation spectroscopy allows for superresolution chronoscopy of confinement times in membranes. Biophysical Journal. 2011;100(11):2839-2845. doi:10.1016/j.bpj.2011.04.035
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3286
Weghuber J, Aichinger M, Brameshuber M, et al. Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2011;1808(10):2581-2590. doi:10.1016/j.bbamem.2011.06.007
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3287
Ruprecht V, Axmann M, Wieser S, Schuetz G. What can we learn from single molecule trajectories? Current Protein & Peptide Science. 2011;12(8):714-724. doi:10.2174/138920311798841753
View | DOI
 

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 | Conference Paper | IST-REx-ID: 3319
Quadrianto N, Lampert C. Learning multi-view neighborhood preserving projections. In: Omnipress; 2011:425-432.
View
 

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 Poster | IST-REx-ID: 3322
Lampert C. Maximum Margin Multi Label Structured Prediction. Neural Information Processing Systems; 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36
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: 3325
Alur R, Cerny P. Streaming transducers for algorithmic verification of single pass list processing programs. In: Vol 46. ACM; 2011:599-610. doi:10.1145/1926385.1926454
View | DOI
 

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: 3327
Boker U, Kupferman O. Co-Büching them all. In: Hofmann M, ed. Vol 6604. Springer; 2011:184-198. doi:10.1007/978-3-642-19805-2_13
View | 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
 

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

2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner H, Pach J, Ziegler G. Letter from the new editors-in-chief. Discrete & Computational Geometry. 2011;45(1):1-2. doi:10.1007/s00454-010-9313-9
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert R, Vegter G, Edelsbrunner H, et al. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Gavrilova M, Tan K, Mostafavi M, eds. Transactions on Computational Science XIV. Vol 6970. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer; 2011:60-101. doi:10.1007/978-3-642-25249-5_3
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3337
Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892
View | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.
View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Preprint | IST-REx-ID: 3339 | OA
Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee K. Graph games with reachability objectives. In: Delzanno G, Potapov I, eds. Vol 6945. Springer; 2011:1-1. doi:10.1007/978-3-642-24288-5_1
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee K, Prabhu V. Synthesis of memory efficient real time controllers for safety objectives. In: Springer; 2011:221-230. doi:10.1145/1967701.1967734
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee K, Fijalkow N. A reduction from parity games to simple stochastic games. In: Vol 54. EPTCS; 2011:74-86. doi:10.4204/EPTCS.54.6
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

year=2011

Search

Filter Publications