Kontext Open Access: Creative Commons
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare 65 (2012) 200–212.
LibreCat: https://research-explorer.ista.ac.at/record/2965

Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata
F. Jesse, K. Riebel, Behavioural Processes 91 (2012) 262–266.
LibreCat: https://research-explorer.ista.ac.at/record/2963
DOI: 10.1016/j.beproc.2012.09.006

Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
LibreCat: https://research-explorer.ista.ac.at/record/2974
DOI: 10.1007/978-3-642-34961-4_40

Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling
S. Goswami, I. Bucurenciu, P.M. Jonas, Journal of Neuroscience 32 (2012) 14294–14304.
LibreCat: https://research-explorer.ista.ac.at/record/2969
DOI: 10.1523/JNEUROSCI.6104-11.2012
PMID: 23055500

Investigating the principles of morphogen gradient formation: from tissues to cells
A. Kicheva, M.T. Bollenbach, O. Wartlick, F. Julicher, M. Gonzalez Gaitan, Current Opinion in Genetics &; Development 22 (2012) 527–532.
LibreCat: https://research-explorer.ista.ac.at/record/2970
DOI: 10.1016/j.gde.2012.08.004

Interactive labeling of image segmentation hierarchies
G. Zankl, Y. Haxhimusa, A. Ion, in:, Springer, 2012, pp. 11–20.
LibreCat: https://research-explorer.ista.ac.at/record/2971
DOI: 10.1007/978-3-642-32717-9_2

GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses
R. Whitford, A. Fernandez, R. Tejos, A. Pérez, J. Kleine Vehn, S. Vanneste, A. Drozdzecki, J. Leitner, L. Abas, M. Aerts, K. Hoogewijs, P. Baster, R. De Groodt, Y. Lin, V. Storme, Y. Van De Peer, T. Beeckman, A. Madder, B. Devreese, C. Luschnig, J. Friml, P. Hilson, Developmental Cell 22 (2012) 678–685.
LibreCat: https://research-explorer.ista.ac.at/record/3105
DOI: 10.1016/j.devcel.2012.02.002

Fluorescent castasterone reveals BR signaling from the plasma membrane
N. Irani, S. Di Rubbo, E. Mylle, J. Van Den Begin, J. Schneider Pizo, J. Hniliková, M. Sísa, D. Buyst, J. Vilarrasa Blasi, A. Szatmári, D. Van Damme, K. Mishev, M. Codreanu, L. Kohout, M. Strnad, A. Caño Delgado, J. Friml, A. Madder, E. Russinova, Nature Chemical Biology 8 (2012) 583–589.
LibreCat: https://research-explorer.ista.ac.at/record/3109
DOI: 10.1038/nchembio.958

Transcription factor WRK assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis
W. Grunewald, I. De Smet, D. Lewis, C. Löfke, L. Jansen, G. Goeminne, R. Vanden Bossche, M. Karimi, B. De Rybel, B. Vanholme, T. Teichmann, W. Boerjan, M. Van Montagu, G. Gheysen, G. Muday, J. Friml, T. Beeckman, PNAS 109 (2012) 1554–1559.
LibreCat: https://research-explorer.ista.ac.at/record/3104
DOI: 10.1073/pnas.1121134109

A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants
E. Barbez, M. Kubes, J. Roldík, C. Béziat, A. Pbndík, B. Wang, M. Rosquete, J. Zhu, P. Dobrev, Y. Lee, E. Zasímalová, J. Petrásek, M. Geisler, J. Friml, J. Kleine Vehn, Nature 485 (2012) 119–122.
LibreCat: https://research-explorer.ista.ac.at/record/3108
DOI: 10.1038/nature11001

ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis
S. Nagawa, T. Xu, D. Lin, P. Dhonukshe, X. Zhang, J. Friml, B. Scheres, Y. Fu, Z. Yang, PLoS Biology 10 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3106
DOI: 10.1371/journal.pbio.1001299

Plant signaling: Deconstructing auxin sensing
S. Vanneste, J. Friml, Plant Signaling: Deconstructing Auxin Sensing, Nature Publishing Group, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3107
DOI: 10.1038/nchembio.943

Controlling liquids using meshes
K. Raveendran, N. Thuerey, C. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
LibreCat: https://research-explorer.ista.ac.at/record/3119

Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3118
DOI: 10.1145/2185520.2185549

Disassortative mating and the maintenance of sexual polymorphism in painted maple
D. Field, S. Barrett, Molecular Ecology 21 (2012) 3640–3643.
LibreCat: https://research-explorer.ista.ac.at/record/3122
DOI: 10.1111/j.1365-294X.2012.05643.x

Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
LibreCat: https://research-explorer.ista.ac.at/record/3121
DOI: 10.1038/nn.3162
PMID: 22842148

Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
LibreCat: https://research-explorer.ista.ac.at/record/3120
DOI: 10.1112/S0010437X11007226

Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
LibreCat: https://research-explorer.ista.ac.at/record/3117
DOI: 10.1016/j.dam.2012.05.025

Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3131
DOI: 10.1371/journal.pgen.1002740

Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3130
DOI: 10.1371/journal.pgen.1002803

Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.
LibreCat: https://research-explorer.ista.ac.at/record/3136
DOI: 10.1007/978-3-642-31424-7_24

Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kudera, P. Novotný, in:, Springer, 2012, pp. 23–38.
LibreCat: https://research-explorer.ista.ac.at/record/3135
DOI: 10.1007/978-3-642-31424-7_8

Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
LibreCat: https://research-explorer.ista.ac.at/record/3133
DOI: 10.1145/2261250.2261287

Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions
H. Edelsbrunner, B. Fasy, G. Rote, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 91–100.
LibreCat: https://research-explorer.ista.ac.at/record/3134
DOI: 10.1145/2261250.2261265

Two pathways ensuring social harmony
M. Konrad, T. Pamminger, S. Foitzik, Naturwissenschaften 99 (2012) 627–636.
LibreCat: https://research-explorer.ista.ac.at/record/3132
DOI: 10.1007/s00114-012-0943-z

Suppression of ribosomal function triggers innate immune signaling through activation of the NLR inflammasome
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3161
DOI: 10.1371/journal.pone.0036044

Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
LibreCat: https://research-explorer.ista.ac.at/record/3162
DOI: 10.1007/978-3-642-29860-8_12

Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.
LibreCat: https://research-explorer.ista.ac.at/record/3160
DOI: 10.4161/cc.20118

Guest editorial: Special issue on structured prediction and inference
M. Blaschko, C. Lampert, International Journal of Computer Vision 99 (2012) 257–258.
LibreCat: https://research-explorer.ista.ac.at/record/3164
DOI: 10.1007/s11263-012-0530-y

Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3166
DOI: 10.1186/1745-6150-7-6

NextGen speaks 13 
M. Weber, Science 336 (2012) 32–34.
LibreCat: https://research-explorer.ista.ac.at/record/3167
DOI: 10.1126/science.336.6077.32
PMID: 22491839

Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, Journal of Cryptology 25 (2012) 116–135.
LibreCat: https://research-explorer.ista.ac.at/record/3241
DOI: 10.1007/s00145-010-9090-x

Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
LibreCat: https://research-explorer.ista.ac.at/record/3252
DOI: 10.1007/978-3-642-27940-9_11

Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
LibreCat: https://research-explorer.ista.ac.at/record/3255
DOI: 10.1007/978-3-642-25929-6_3

Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.
LibreCat: https://research-explorer.ista.ac.at/record/3250
DOI: 10.1007/978-3-642-27660-6_9

Dual complexes of cubical subdivisions of dn
H. Edelsbrunner, M. Kerber, Discrete &; Computational Geometry 47 (2012) 393–414.
LibreCat: https://research-explorer.ista.ac.at/record/3256
DOI: 10.1007/s00454-011-9382-4

The complexity of stochastic Müller games
K. Chatterjee, Information and Computation 211 (2012) 29–48.
LibreCat: https://research-explorer.ista.ac.at/record/3254
DOI: 10.1016/j.ic.2011.11.004

Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
LibreCat: https://research-explorer.ista.ac.at/record/3253
DOI: 10.1007/978-3-642-27940-9_1

Image segmentation by figure-ground composition into maximal cliques
A. Ion, J. Carreira, C. Sminchisescu, in:, IEEE, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/3265
DOI: 10.1109/ICCV.2011.6126486

Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
LibreCat: https://research-explorer.ista.ac.at/record/3282
DOI: 10.1007/978-3-642-29011-4_22

Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
LibreCat: https://research-explorer.ista.ac.at/record/3280
DOI: 10.1007/978-3-642-28914-9_31

Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
LibreCat: https://research-explorer.ista.ac.at/record/3281
DOI: 10.1007/978-3-642-28914-9_26

The complexity of conservative valued CSPs
V. Kolmogorov, S. divný, in:, SIAM, 2012, pp. 750–759.
LibreCat: https://research-explorer.ista.ac.at/record/3284

Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
LibreCat: https://research-explorer.ista.ac.at/record/330
DOI: 10.1021/ja209688a

Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
LibreCat: https://research-explorer.ista.ac.at/record/3317
DOI: 10.1038/nrn3125

Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
LibreCat: https://research-explorer.ista.ac.at/record/3314
DOI: 10.1142/S0129054112400308

Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete &; Computational Geometry 48 (2012) 964–989.
LibreCat: https://research-explorer.ista.ac.at/record/3115
DOI: 10.1007/s00454-012-9441-5
arXiv: 1109.2158

A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff,  Journal of Symbolic Computation 47 (2012) 239–258.
LibreCat: https://research-explorer.ista.ac.at/record/3331
DOI: 10.1016/j.jsc.2011.11.001

Solution-growth and optoelectronic performance of ZnO:Cl/TiO2 and ZnO:Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness
J. Fan, R. Zamani, C. Fábrega, A. Shavel, C. Flox, M. Ibáñez, T. Andreu, A. López, J. Arbiol, J. Morante, A. Cabot, Journal of Physics D: Applied Physics 45 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/346
DOI: 10.1088/0022-3727/45/41/415301

Lumpability abstractions of rule based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
LibreCat: https://research-explorer.ista.ac.at/record/3168
DOI: 10.1016/j.tcs.2011.12.059

Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials
M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel, A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.
LibreCat: https://research-explorer.ista.ac.at/record/377
DOI: 10.1021/cm303252q

A survey of stochastic <9 regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
LibreCat: https://research-explorer.ista.ac.at/record/3846
DOI: 10.1016/j.jcss.2011.05.002

STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/387
DOI: 10.1103/PhysRevLett.108.206402

A P type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis
M. Dai, C. Zhang, U. Kania, F. Chen, Q. Xue, T. Mccray, G. Li, G. Qin, M. Wakeley, W. Terzaghi, J. Wan, Y. Zhao, J. Xu, J. Friml, X. Deng, H. Wang, Plant Cell 24 (2012) 2497–2514.
LibreCat: https://research-explorer.ista.ac.at/record/3110
DOI: 10.1105/tpc.112.098905

Cell wall constrains lateral diffusion of plant plasma membrane proteins
A. Martinière, I. Lavagi, G. Nageswaran, D. Rolfe, L. Maneta Peyret, D. Luu, S. Botchway, S. Webb, S. Mongrand, C. Maurel, M. Martin Fernandez, J. Kleine Vehn, J. Friml, P. Moreau, J. Runions, PNAS 109 (2012) 12805–12810.
LibreCat: https://research-explorer.ista.ac.at/record/3113
DOI: 10.1073/pnas.1202040109

ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis
Z. Ding, B. Wang, I. Moreno, N. Dupláková, S. Simon, N. Carraro, J. Reemmer, A. Pbndík, X. Chen, R. Tejos, P. Skfpa, S. Pollmann, J. Mravec, J. Petrásek, E. Zaeímalová, D. Honys, J. Roldík, A. Murphy, A. Orellana, M. Geisler, J. Friml, Nature Communications 3 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3114
DOI: 10.1038/ncomms1941

A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots
D. Lin, S. Nagawa, J. Chen, L. Cao, X. Chen, T. Xu, H. Li, P. Dhonukshe, C. Yamamuro, J. Friml, B. Scheres, Y. Fu, Z. Yang, Current Biology 22 (2012) 1319–1325.
LibreCat: https://research-explorer.ista.ac.at/record/3111
DOI: 10.1016/j.cub.2012.05.019

AB and RO GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots
X. Chen, S. Naramoto, S. Robert, R. Tejos, C. Löfke, D. Lin, Z. Yang, J. Friml, Current Biology 22 (2012) 1326–1332.
LibreCat: https://research-explorer.ista.ac.at/record/3112
DOI: 10.1016/j.cub.2012.05.020

A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
LibreCat: https://research-explorer.ista.ac.at/record/3128
DOI: 10.1007/s10703-012-0164-2

Augmented attribute representations
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
LibreCat: https://research-explorer.ista.ac.at/record/3125
DOI: 10.1007/978-3-642-33715-4_18

Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
LibreCat: https://research-explorer.ista.ac.at/record/3129
DOI: 10.1007/978-3-642-31155-0_17
arXiv: 1107.3793

Information theoretic clustering using minimal spanning trees
A. Müller, S. Nowozin, C. Lampert, in:, Springer, 2012, pp. 205–215.
LibreCat: https://research-explorer.ista.ac.at/record/3126
DOI: 10.1007/978-3-642-32717-9_21

Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
LibreCat: https://research-explorer.ista.ac.at/record/3155
DOI: 10.1007/978-3-642-30793-5_13

Hierarchical ordering of reticular networks
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3159
DOI: 10.1371/journal.pone.0036715

Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion
L.V. Ugelvig, A. Andersen, J. Boomsma, D. Nash, Molecular Ecology 21 (2012) 3224–3236.
LibreCat: https://research-explorer.ista.ac.at/record/3156
DOI: 10.1111/j.1365-294X.2012.05592.x

Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
H. Schachtner, A. Li, D. Stevenson, S. Calaminus, S. Thomas, S. Watson, M.K. Sixt, R. Wedlich Söldner, D. Strathdee, L. Machesky, European Journal of Cell Biology 91 (2012) 923–929.
LibreCat: https://research-explorer.ista.ac.at/record/3158
DOI: 10.1016/j.ejcb.2012.04.002
PMID: 22658956

Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
C. Lampert, J. Peters, Journal of Real-Time Image Processing 7 (2012) 31–41.
LibreCat: https://research-explorer.ista.ac.at/record/3248
DOI: 10.1007/s11554-010-0168-3

Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
S. Vilaça, R.A. Fernandes Redondo, L. Lins, F. Santos, Conservation Genetics 13 (2012) 293–298.
LibreCat: https://research-explorer.ista.ac.at/record/3247
DOI: 10.1007/s10592-011-0262-5

Spurred by resistance mechanosensation in collective migration
M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 22 (2012) 3–4.
LibreCat: https://research-explorer.ista.ac.at/record/3245
DOI: 10.1016/j.devcel.2011.12.018

Optimizing information flow in small genetic networks. III. A self-interacting gene
G. Tkadik, A. Walczak, W. Bialek,  Physical Review E Statistical Nonlinear and Soft Matter Physics  85 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/3262
DOI: 10.1103/PhysRevE.85.041903

Generalized roof duality and bisubmodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
LibreCat: https://research-explorer.ista.ac.at/record/3257
DOI: 10.1016/j.dam.2011.10.026
arXiv: 1005.2305

Can the evolution of multicellularity be anticipated in the exploration of the solar system?
H. de Vladar, J. Chela Flores, in:, Life on Earth and Other Planetary Bodies, Springer, 2012, pp. 387–405.
LibreCat: https://research-explorer.ista.ac.at/record/3277
DOI: 10.1007/978-94-007-4966-5_22

Hardness preserving constructions of pseudorandom functions
A. Jain, K.Z. Pietrzak, A. Tentes, in:, Springer, 2012, pp. 369–382.
LibreCat: https://research-explorer.ista.ac.at/record/3279
DOI: 10.1007/978-3-642-28914-9_21

A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
G. Rieckh, W. Kreuzer, H. Waubke, P. Balazs,  Engineering Analysis with Boundary Elements 36 (2012) 960–967.
LibreCat: https://research-explorer.ista.ac.at/record/3274
DOI: 10.1016/j.enganabound.2011.12.014

A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta, T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of Virology 86 (2012) 172–184.
LibreCat: https://research-explorer.ista.ac.at/record/3289
DOI: 10.1128/JVI.05638-11
PMID: 22031940

A point calculus for interlevel set homology
P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.
LibreCat: https://research-explorer.ista.ac.at/record/3310
DOI: 10.1016/j.patrec.2011.10.007

Extending the nanocrystal synthesis control to quaternary compositions
M. Ibáñez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot, Crystal Growth and Design  12 (2012) 1085–1090.
LibreCat: https://research-explorer.ista.ac.at/record/338
DOI: 10.1021/cg201709c

Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4
M. Ibáñez, D. Cadavid, R. Zamani, N. García Castelló, V. Izquierdo Roca, W. Li, A. Fairbrother, J. Prades, A. Shavel, J. Arbiol, A. Pérez Rodríguez, J. Morante, A. Cabot, Chemistry of Materials 24 (2012) 562–570.
LibreCat: https://research-explorer.ista.ac.at/record/339
DOI: 10.1021/cm2031812

Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
LibreCat: https://research-explorer.ista.ac.at/record/340
DOI: 10.1021/ja209688a

Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of ATe–PbTe
D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/345
DOI: 10.1007/s11051-012-1328-0

Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
LibreCat: https://research-explorer.ista.ac.at/record/347
DOI: 10.1021/ja211952z

Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
LibreCat: https://research-explorer.ista.ac.at/record/3836
DOI: 10.1016/j.scico.2010.06.004

Energy parity games
K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
LibreCat: https://research-explorer.ista.ac.at/record/2972
DOI: 10.1016/j.tcs.2012.07.038
arXiv: 1001.5183

Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, ACM Transactions on Computational Logic (TOCL) 13 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/2967
DOI: 10.1145/2287718.2287727

GiA Roots: Software for the high throughput analysis of plant root system architecture
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/492
DOI: 10.1186/1471-2229-12-116

Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/493
DOI: 10.3389/fnins.2012.00055

A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
LibreCat: https://research-explorer.ista.ac.at/record/495
DOI: 10.4204/EPTCS.96.18

Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
LibreCat: https://research-explorer.ista.ac.at/record/498
DOI: 10.1111/j.1752-4571.2012.00284.x

Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/496
DOI: 10.1109/LICS.2012.65

Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/494
DOI: 10.1145/2362355.2362357

Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
LibreCat: https://research-explorer.ista.ac.at/record/506
DOI: 10.1083/jcb.201204039

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
LibreCat: https://research-explorer.ista.ac.at/record/497
DOI: 10.4230/LIPIcs.CSL.2012.167

An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
LibreCat: https://research-explorer.ista.ac.at/record/3165
DOI: 10.1137/1.9781611973099.109
arXiv: 1109.5018

Mean payoff pushdown games
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2956
DOI: 10.1109/LICS.2012.30

Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/5377
DOI: 10.15479/AT:IST-2012-0002

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/5378
DOI: 10.15479/AT:IST-2012-0001

Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2955
DOI: 10.1109/LICS.2012.28
arXiv: 1107.2141

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
LibreCat: https://research-explorer.ista.ac.at/record/3341
DOI: 10.1007/978-3-642-28729-9_18
arXiv: 1107.2009

Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2957
DOI: 10.1109/LICS.2012.29
arXiv: 1107.2091

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
LibreCat: https://research-explorer.ista.ac.at/record/3249
DOI: 10.1016/j.tcs.2011.08.002