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.

309 Publications


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

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

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

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

2011 | Book Chapter | IST-REx-ID: 3796 | OA
Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
[Submitted Version] View | Files available | DOI
 

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

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

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).
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
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: 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: 3084
PIN polarity maintenance by the cell wall in Arabidopsis
E. Feraru, M. Feraru, J. Kleine Vehn, A. Martinière, G. Mouille, S. Vanneste, S. Vernhettes, J. Runions, J. Friml, Current Biology 21 (2011) 338–343.
View | DOI
 

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

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

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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View | DOI
 

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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 3298 | OA
Hybrid smoothed particle hydrodynamics
K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
Liquid simulation with mesh-based surface tracking
C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
[Published Version] 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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.
[Submitted Version] 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.
[Submitted Version] View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3311 | OA
Alpha shapes - a survey
H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, Springer, n.d.
[Submitted Version] View | Files available
 

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.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3325
Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
View | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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: 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: 3339 | OA
Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).
[Preprint] 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.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
[Preprint] View | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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.
[Submitted Version] 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: 3343 | OA
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
[Published Version] 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.
[Submitted Version] View | Files available | 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.
[Published Version] 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 | 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 | 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 | Journal Article | IST-REx-ID: 3379 | OA
Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P.J. Heisenberg, D. Kimelman, Developmental Biology 354 (2011) 102–110.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Resolution of gene regulatory conflicts caused by combinations of antibiotics
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
Quantifying transversality by measuring the robustness of intersections
H. Edelsbrunner, D. Morozov, A. Patel, Foundations of Computational Mathematics 11 (2011) 345–361.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
Persistent intersection homology
P. Bendich, J. Harer, Foundations of Computational Mathematics 11 (2011) 305–336.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion
L.V. Ugelvig, P. Nielsen, J. Boomsma, D. Nash, BMC Evolutionary Biology 11 (2011).
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Natural images from the birthplace of the human eye
G. Tkačik, P. Garrigan, C. Ratliff, G. Milcinski, J. Klein, L. Seyfarth, P. Sterling, D. Brainard, V. Balasubramanian, PLoS One 6 (2011).
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Split based computation of majority rule supertrees
A. Kupczok, BMC Evolutionary Biology 11 (2011).
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
Semi supervised kernel canonical correlation analysis with application to human fMRI
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, A. Gretton, Pattern Recognition Letters 32 (2011) 1572–1583.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
Learning dynamic tactile sensing with robust vision based training
O. Kroemer, C. Lampert, J. Peters, IEEE Transactions on Robotics 27 (2011) 545–557.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3386
Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies
A. Schrempf, S. Cremer, J. Heinze, Journal of Evolutionary Biology 24 (2011) 1455–1461.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
Interstitial locomotion of leukocytes
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3399 | OA
Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
S. Cremer, A. Schrempf, J. Heinze, PLoS One 6 (2011).
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3401
The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, T. Gregor, PLoS Biology 9 (2011).
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3724
Structure-based design of light-controlled proteins
H.L. Janovjak, E. Isacoff, in:, Photosensitive Molecules for the Control of Biological Function, Springer, 2011, pp. 233–266.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3770
The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis)
C. Hollatz, S. Vilaça, R.A. Fernandes Redondo, M. Marmontel, C. Baker, F. Santos, Biological Journal of the Linnean Society 102 (2011) 812–827.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3771
Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.
A. Pavan, F. Martins, F. Santos, A. Ditchfield, R.A. Fernandes Redondo, Biological Journal of the Linnean Society 102 (2011) 527–539.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3778 | OA
Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Book Chapter | IST-REx-ID: 3791
Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.
View | DOI
 

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

2011 | Journal Article | IST-REx-ID: 469 | OA
Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 490 | OA
BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
[Published Version] View | Files available | DOI
 

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

2011 | Journal Article | IST-REx-ID: 518 | OA
CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu, M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

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

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.
[Submitted Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386 | OA
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

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: 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: 3366 | OA
Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
[Submitted Version] View | Files available | 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
View | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications