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.

8157 Publications


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 | Journal Article | IST-REx-ID: 3286
Weghuber J, Aichinger M, Brameshuber M, Wieser S, Ruprecht V, Plochberger B, Madl J, Horner A, Reipert S, Lohner K, Henics T, Schuetz G. 2011. Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 1808(10), 2581–2590.
View | DOI
 

2011 | 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
 

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

2011 | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing, 1–6.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
Henzinger TA, Mateescu M. 2011. Tail approximation for the chemical master equation. WCSB: Workshop on Computational Systems Biology (TICSP).
View | Files available
 

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 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.
View | Files available | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto N, Lampert C. 2011. Learning multi-view neighborhood preserving projections. ICML: International Conference on Machine Learning, 425–432.
View
 

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

2011 | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011.Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Transactions on Computational Science XIV. LNCS, vol. 6970, 60–101.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2011. Deconstructing approximate offsets. Proceedings of the twenty-seventh annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 187–196.
View | Files available | DOI | Download Preprint (ext.)
 

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 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber M, Sagraloff M. 2011. Root refinement for real polynomials. ISSAC: International Symposium on Symbolic and Algebraic Computation, 209–216.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
Berberich E, Hemmer M, Kerber M. 2011. A generic algebraic kernel for non linear geometric applications. SCG: Symposium on Computational Geometry, 179–186.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner H, Pach J, Ziegler G. 2011. Letter from the new editors-in-chief. Discrete & Computational Geometry. 45(1), 1–2.
View | 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), 14.
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 | Conference Paper | IST-REx-ID: 3350
Chatterjee K, Majumdar R. 2011. Minimum attention controller synthesis for omega regular objectives. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6919, 145–159.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee K, Doyen L, Singh R. 2011. On memoryless quantitative objectives. FCT: Fundamentals of Computation Theory, LNCS, vol. 6914, 148–159.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. 2011. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 12(4), 28.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee K, Fijalkow N. 2011. A reduction from parity games to simple stochastic games. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 54, 74–86.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 335
Ibáñez M, Fan J, Li W, Cadavid D, Nafria R, Carrete A, Cabot A. 2011. Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect. Chemistry of Materials. 23(12), 3095–3104.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3352
Fisher J, Harel D, Henzinger TA. 2011. Biology as reactivity. Communications of the ACM. 54(10), 72–82.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. 2011. Dynamic reactive modules. CONCUR: Concurrency Theory, LNCS, vol. 6901, 404–418.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2011. QUASY: quantitative synthesis tool. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 6605, 267–271.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. 2011. An output sensitive algorithm for persistent homology. SoCG: Symposium on Computational Geometry, 207–216.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 3374 | OA
Tkačik G, Walczak A. 2011. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 23(15), 153102.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens G, Möllmert S, Heisenberg C-PJ. 2011. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 108(3), E9–E10.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok A. 2011. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 60(2), 218–225.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade A, Jonas PM. 2011. The multiple faces of RIM. Neuron. 69(2), 185–187.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger P, Heisenberg C-PJ, Maître J-L. 2011. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 138(21), 4673–4683.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton NH, Turelli M. 2011. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 178(3), E48–E75.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova J, Barton NH. 2011. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 189(1), 227–235.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton NH, Etheridge A. 2011. The relation between reproductive value and genetic contribution. Genetics. 188(4), 953–973.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3392
Soriano S, Hons M, Schumann K, Kumar V, Dennier T, Lyck R, Sixt MK, Stein J. 2011. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 187(5), 2356–2364.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
de Vladar H, Barton NH. 2011. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 26(8), 424–432.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître J-L, Heisenberg C-PJ. 2011. The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. 23(5), 508–514.
View | DOI | Download Submitted Version (ext.)
 

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: 341
Li W, Shavel A, Guzman R, Rubio Garcia J, Flox C, Fan J, Cadavid D, Ibáñez M, Arbiol J, Morante J, Cabot A. 2011. Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons. Chemical Communications. 47(37), 10332–10334.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3429
Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. 2011. Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. 13(2), 117–123.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt MK, Lämmermann T. 2011. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 769, 149–165.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3784 | OA
Palero F, Guerao G, Clark P, Abello P. 2011. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 91(2), 485–492.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3781
Fasy BT. 2011. The difference in length of curves in R^n. Acta Sci. Math. (Szeged). 77(1–2), 359–367.
View
 

2011 | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 22(4), 823–841.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 386 | OA
Alpichshev Z, Analytis JG, Chu JH, Fisher IR, Kapitulnik A. 2011. STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. 84(4).
View | DOI | Download Preprint (ext.) | arXiv
 

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: 3965
Wang B, Edelsbrunner H, Morozov D. 2011. Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. 16(2.2), 1–13.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3086
Furutani M, Sakamoto N, Yoshida S, Kajiwara T, Robert H, Friml J, Tasaka M. 2011. Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. 138(10), 2069–2078.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3087
Kitakura S, Vanneste S, Robert S, Löfke C, Teichmann T, Tanaka H, Friml J. 2011. Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis. Plant Cell. 23(5), 1920–1931.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3085
Ding Z, Galván Ampudia C, Demarsy E, Łangowski Ł, Kleine Vehn J, Fan Y, Morita M, Tasaka M, Fankhauser C, Offringa R, Friml J. 2011. Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. 13(4), 447–453.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3084
Feraru E, Feraru M, Kleine Vehn J, Martinière A, Mouille G, Vanneste S, Vernhettes S, Runions J, Friml J. 2011. PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. 21(4), 338–343.
View | DOI
 

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

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

2011 | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka M, Feraru E, Möller B, Hwang I, Feraru M, Kleine Vehn J, Weijers D, Friml J. 2011. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 21(12), 1711–1722.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3098
Kleine Vehn J, Wabnik KT, Martinière A, Łangowski Ł, Willig K, Naramoto S, Leitner J, Tanaka H, Jakobs S, Robert S, Luschnig C, Govaerts W, Hell S, Runions J, Friml J. 2011. Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. 7.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3100 | OA
Vanneste S, Coppens F, Lee E, Donner T, Xie Z, Van Isterdael G, Dhondt S, De Winter F, De Rybel B, Vuylsteke M, De Veylder L, Friml J, Inzé D, Grotewold E, Scarpella E, Sack F, Beemster G, Beeckman T. 2011. Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. 30(16), 3430–3441.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3099
Drakakaki G, Robert S, Szatmári A, Brown M, Nagawa S, Van Damme D, Leonard M, Yang Z, Girke T, Schmid S, Russinova E, Friml J, Raikhel N, Hicks G. 2011. Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. 108(43), 17850–17855.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3095
Dubrovsky J, Napsucialy Mendivil S, Duclercq J, Cheng Y, Shishkova S, Ivanchenko M, Friml J, Murphy A, Benková E. 2011. Auxin minimum defines a developmental window for lateral root initiation. New Phytologist. 191(4), 970–983.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3097
Marhavý P, Bielach A, Abas L, Abuzeineh A, Duclercq J, Tanaka H, Pařezová M, Petrášek J, Friml J, Kleine Vehn J, Benková E. 2011. Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. 21(4), 796–804.
View | DOI
 

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

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

2011 | Journal Article | IST-REx-ID: 3145
Tasic B, Hippenmeyer S, Wang C, Gamboa M, Zong H, Chen Tsai Y, Luo L. 2011. Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. 108(19), 7902–7907.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. 2011. Tamper proof circuits How to trade leakage for tamper resilience. ICALP: Automata, Languages and Programming, LNCS, vol. 6755, 391–402.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. 2011. Parallel repetition for leakage resilience amplification revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 6597, 58–69.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3238
Kiltz E, Pietrzak KZ, Cash D, Jain A, Venturi D. 2011. Efficient authentication from hard learning problems. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 6632, 7–26.
View | Files available | DOI
 

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

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

2011 | Book Chapter | IST-REx-ID: 3271
Wagner H, Chen C, Vuçini E. 2011.Efficient computation of persistent homology for cubical data. In: Topological Methods in Data Analysis and Visualization II. Theory, Algorithms, and Applications, , 91–106.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3270
Chen C, Kerber M. 2011. Persistent homology computation with a twist. EuroCG: European Workshop on Computational Geometry, 197–200.
View
 

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

2011 | Conference Paper | IST-REx-ID: 3298 | OA
Raveendran K, Wojtan C, 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 C, Müller Fischer M, Brochu T. 2011. Liquid simulation with mesh-based surface tracking. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 8.
View | Files available | DOI
 

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

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. 2011. Detailed reconstruction of 3D plant root shape, IEEE,p.
View | Files available | DOI
 

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

2011 | Book Chapter | IST-REx-ID: 3311 | OA
Edelsbrunner H.Alpha shapes - a survey. In: Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. .
View | Files available
 

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 | 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
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
Piskac R, Wies T. 2011. Decision procedures for automating termination proofs. VMCAI: Verification Model Checking and Abstract Interpretation, LNCS, vol. 6538, 371–386.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3327
Boker U, Kupferman O. 2011. Co-Büching them all. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6604, 184–198.
View | DOI
 

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

2011 | Conference Poster | IST-REx-ID: 3322
Lampert C. 2011. Maximum margin multi label structured prediction, Neural Information Processing Systems,p.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3337
Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. 2011. Learning anticipation policies for robot table tennis. IROS: RSJ International Conference on Intelligent Robots and Systems, 332–337.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee K, Fijalkow N. 2011. Finitary languages. LATA: Language and Automata Theory and Applications, LNCS, vol. 6638, 216–226.
View | 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. 2011. Two views on multiple mean payoff objectives in Markov Decision Processes. LICS: Logic in Computer Science, 5970225.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee K, Prabhu V. 2011. Synthesis of memory efficient real time controllers for safety objectives. HSCC: Hybrid Systems - Computation and Control, 221–230.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee K. 2011. Graph games with reachability objectives. RP: Reachability Problems, LNCS, vol. 6945, 1–1.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee K, Henzinger MH. 2011. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. SODA: Symposium on Discrete Algorithms, 1318–1336.
View | DOI | Download Submitted Version (ext.)
 

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
 

Search

Filter Publications