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.

299 Publications


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

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

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

2011 | Journal Article | IST-REx-ID: 3088
A mutually inhibitory interaction between auxin and cytokinin specifies vascular pattern in roots
A. Bishopp, H. Help, S. El Showk, D. Weijers, B. Scheres, J. Friml, E. Benková, A. Mähönen, Y. Helariutta, Current Biology 21 (2011) 917–926.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3089
Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3090
Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
View | DOI
 

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

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

2011 | Journal Article | IST-REx-ID: 3093
Monoubiquitin dependent endocytosis of the Iron Regulated Transporter 1 IRT1 transporter controls iron uptake in plants
M. Barberon, E. Zelazny, S. Robert, G. Conéjéro, C. Curie, J. Friml, G. Vert, PNAS 108 (2011) E450–E458.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3094
Polarization of PIN3 dependent auxin transport for hypocotyl gravitropic response in Arabidopsis thaliana
H. Rakusová, J. Gallego Bartolomé, M. Vanstraelen, H. Robert, D. Alabadí, M. Blázquez, E. Benková, J. Friml, Plant Journal 67 (2011) 817–826.
View | DOI
 

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

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

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

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

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

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

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

2011 | Journal Article | IST-REx-ID: 3102
Auxin Dependent cell cycle reactivation through transcriptional regulation of arabidopsis E2Fa by lateral organ boundary proteins
B. Berckmans, V. Vassileva, S. Schmid, S. Maes, B. Parizot, S. Naramoto, Z. Magyar, C. Lessa Alvim Kamei, C. Koncz, L. Bögre, G. Persiau, G. De Jaeger, J. Friml, R. Simon, T. Beeckman, L. De Veyldera, Plant Cell 23 (2011) 3671–3683.
View | DOI
 

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

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

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

2011 | Journal Article | IST-REx-ID: 3147
Mosaic analysis with double markers reveals tumor cell of origin in glioma
C. Liu, J. Sage, M. Miller, R. Verhaak, S. Hippenmeyer, H. Vogel, O. Foreman, R. Bronson, A. Nishiyama, L. Luo, H. Zong, Cell 146 (2011) 209–221.
View | DOI
 

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

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

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

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

2011 | Conference Paper | IST-REx-ID: 3207
Object cosegmentation
S. Vicente, C. Rother, V. Kolmogorov, in:, IEEE, 2011, pp. 2217–2224.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3238
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3240
Leftover hash lemma revisited
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
View | DOI
 

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

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

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

2011 | Conference Paper | IST-REx-ID: 3270
Persistent homology computation with a twist
C. Chen, M. Kerber, in:, TU Dortmund, 2011, pp. 197–200.
View
 

2011 | Book Chapter | IST-REx-ID: 3271
Efficient computation of persistent homology for cubical data
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
View | DOI
 

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

2011 | Thesis | IST-REx-ID: 3275 | OA
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, IST Austria, 2011.
View | Files available
 

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

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

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

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

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

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

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

2011 | Conference Paper | IST-REx-ID: 3297 | OA
Liquid simulation with mesh-based surface tracking
C.J. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
Hybrid smoothed particle hydrodynamics
K. Raveendran, C.J. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Propagation models for computing biochemical reaction networks
T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
View | Files available | DOI
 

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

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

2011 | Book Chapter | IST-REx-ID: 3311
Alpha shapes - a survey
H. Edelsbrunner, in:, Tessellations in the Sciences, Springer, 2011.
View
 

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

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

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

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

2011 | Journal Article | IST-REx-ID: 3318 | OA View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3319
Learning multi-view neighborhood preserving projections
N. Quadrianto, C. Lampert, in:, Omnipress, 2011, pp. 425–432.
View
 

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

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

2011 | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3325 View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3327
Co-Büching them all
U. Boker, O. Kupferman, in:, M. Hofmann (Ed.), Springer, 2011, pp. 184–198.
View | DOI
 

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

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

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

2011 | Conference Paper | IST-REx-ID: 3336
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3337
Learning anticipation policies for robot table tennis
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, J. Peters, in:, IEEE, 2011, pp. 332–337.
View | DOI
 

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

2011 | Preprint | IST-REx-ID: 3339 | OA View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3342 | OA
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3344
Graph games with reachability objectives
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2011 | Conference Paper | IST-REx-ID: 3349 | OA
A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
View | DOI | Download Submitted Version (ext.)
 

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

2011 | Conference Paper | IST-REx-ID: 3350
Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
View | DOI | Download Submitted Version (ext.)
 

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

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

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

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
From boolean to quantitative synthesis
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 336
Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods
M. Ibáñez, P. Guardia, A. Shavel, D. Cadavid, J. Arbiol, J. Morante, A. Cabot, Journal of Physical Chemistry C 115 (2011) 7947–7955.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
View | Files available | DOI
 

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

Filters and Search Terms

year=2011

Search

Filter Publications