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

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

Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.
LibreCat: https://research-explorer.ista.ac.at/record/495
DOI: 10.4204/EPTCS.96.18

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

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

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

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

Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
LibreCat: https://research-explorer.ista.ac.at/record/497
DOI: 10.4230/LIPIcs.CSL.2012.167

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

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

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

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

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

Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.
LibreCat: https://research-explorer.ista.ac.at/record/3341
DOI: 10.1007/978-3-642-28729-9_18
arXiv: 1107.2009

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

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

Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012, .
LibreCat: https://research-explorer.ista.ac.at/record/3124

Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
LibreCat: https://research-explorer.ista.ac.at/record/5396
DOI: 10.15479/AT:IST-2012-0003

Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/5398

Biswas R, Sil J. 2012. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 4, 820–824.
LibreCat: https://research-explorer.ista.ac.at/record/5839
DOI: 10.1016/j.protcy.2012.05.134

Bernecky C, Taatjes D. 2012. Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. 417(5), 387–394.
LibreCat: https://research-explorer.ista.ac.at/record/596
DOI: 10.1016/j.jmb.2012.02.014

Busch KE, Laurent P, Soltesz Z, Murphy RJ, Faivre O, Hedwig B, Thomas M, Smith HL, de Bono M. 2012. Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. 15(4), 581–591.
LibreCat: https://research-explorer.ista.ac.at/record/6136
DOI: 10.1038/nn.3061
PMID: 22388961

Mondelli M, Zhou Q, Ma X, Lottici V. 2012. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP: International Conference on Acoustics, Speech and Signal Processing, 2905–2908.
LibreCat: https://research-explorer.ista.ac.at/record/6746
DOI: 10.1109/icassp.2012.6288524

Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
LibreCat: https://research-explorer.ista.ac.at/record/7074
DOI: 10.1007/s10853-012-6463-6

Ottakam Thotiyl MM, Freunberger SA, Peng Z, Bruce PG. 2012. The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. 135(1), 494–500.
LibreCat: https://research-explorer.ista.ac.at/record/7308
DOI: 10.1021/ja310258x

Choi N-S, Chen Z, Freunberger SA, Ji X, Sun Y-K, Amine K, Yushin G, Nazar LF, Cho J, Bruce PG. 2012. Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. 51(40), 9994–10024.
LibreCat: https://research-explorer.ista.ac.at/record/7309
DOI: 10.1002/anie.201201429

Peng Z, Freunberger SA, Chen Y, Bruce PG. 2012. A reversible and higher-rate Li-O2 battery. Science. 337(6094), 563–566.
LibreCat: https://research-explorer.ista.ac.at/record/7310
DOI: 10.1126/science.1223985

Chen Y, Freunberger SA, Peng Z, Bardé F, Bruce PG. 2012. Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. 134(18), 7952–7957.
LibreCat: https://research-explorer.ista.ac.at/record/7311
DOI: 10.1021/ja302178w

Alistarh D-A, Guerraoui R, Kuznetsov P, Losa G. 2012. On the cost of composing shared-memory algorithms. SPAA: Symposium on Parallelism in Algorithms and Architectures, 298–307.
LibreCat: https://research-explorer.ista.ac.at/record/762
DOI: 10.1145/2312005.2312057

Alistarh D-A, Attiya H, Guerraoui R, Travers C. 2012. Early deciding synchronous renaming in O(log f) rounds or less. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 7355 LNCS, 195–206.
LibreCat: https://research-explorer.ista.ac.at/record/763
DOI: 10.1007/978-3-642-31104-8_17

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2012. Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). 62(1–2), 595–629.
LibreCat: https://research-explorer.ista.ac.at/record/764
DOI: 10.1007/s00453-011-9581-7

Alistarh D-A, Bender M, Gilbert S, Guerraoui R. 2012. How to allocate tasks asynchronously. FOCS: Foundations of Computer Science, 331–340.
LibreCat: https://research-explorer.ista.ac.at/record/766
DOI: 10.1109/FOCS.2012.41

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2012. Generating Fast Indulgent Algorithms. Theory of Computing Systems. 51(4), 404–424.
LibreCat: https://research-explorer.ista.ac.at/record/767
DOI: 10.1007/s00224-012-9407-2

Robinson MR, Mar KU, Lummaa V. 2012. Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. 15(3), 260–266.
LibreCat: https://research-explorer.ista.ac.at/record/7749
DOI: 10.1111/j.1461-0248.2011.01735.x

Robinson MR, Sander van Doorn G, Gustafsson L, Qvarnström A. 2012. Environment-dependent selection on mate choice in a natural population of birds. Ecology Letters. 15(6), 611–618.
LibreCat: https://research-explorer.ista.ac.at/record/7748
DOI: 10.1111/j.1461-0248.2012.01780.x

Goodrich CP, Liu AJ, Nagel SR. 2012. Finite-size scaling at the jamming transition. Physical Review Letters. 109(9), 095704.
LibreCat: https://research-explorer.ista.ac.at/record/7776
DOI: 10.1103/physrevlett.109.095704

Engel J, Schmalhorst PS, Routier F. 2012. Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. 287(53), 44418–44424.
LibreCat: https://research-explorer.ista.ac.at/record/801
DOI: 10.1074/jbc.M112.398321
PMID: 23139423

Hennequin G, Vogels TP, Gerstner W. 2012. Non-normal amplification in random balanced neuronal networks. Physical Review E. 86(1), 011909.
LibreCat: https://research-explorer.ista.ac.at/record/8024
DOI: 10.1103/physreve.86.011909
PMID: 23005454

Vinzenz M, Nemethova M, Schur FK, Mueller J, Narita A, Urban E, Winkler C, Schmeiser C, Koestler S, Rottner K, Resch G, Maéda Y, Small J. 2012. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 125(11), 2775–2785.
LibreCat: https://research-explorer.ista.ac.at/record/808
DOI: 10.1242/jcs.107623

Dengler V, Meier PS, Heusser R, Kupferschmied P, Singer J, Friebe S, Staufer SB, Majcherczyk PA, Moreillon P, Berger-Bächi B, McCallum N. 2012. Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. 333(2), 109–120.
LibreCat: https://research-explorer.ista.ac.at/record/8246
DOI: 10.1111/j.1574-6968.2012.02603.x
PMID: 22640011

Vanstraelen M, Benková E. 2012. Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. 28, 463–487.
LibreCat: https://research-explorer.ista.ac.at/record/826
DOI: 10.1146/annurev-cellbio-101011-155741

Bielach A, Podlesakova K, Marhavý P, Duclercq J, Cuesta C, Muller B, Grunewald W, Tarkowski P, Benková E. 2012. Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. 24(10), 3967–3981.
LibreCat: https://research-explorer.ista.ac.at/record/829
DOI: 10.1105/tpc.112.103044

Soylemez O, Kondrashov F. 2012. Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. 4(12), 1213–1222.
LibreCat: https://research-explorer.ista.ac.at/record/846
DOI: 10.1093/gbe/evs096

Asami S, Szekely K, Schanda P, Meier BH, Reif B. 2012. Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency. Journal of Biomolecular NMR. 54(2), 155–168.
LibreCat: https://research-explorer.ista.ac.at/record/8463
DOI: 10.1007/s10858-012-9659-9

Tollinger M, Sivertsen AC, Meier BH, Ernst M, Schanda P. 2012. Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy. Journal of the American Chemical Society. 134(36), 14800–14807.
LibreCat: https://research-explorer.ista.ac.at/record/8465
DOI: 10.1021/ja303591y

Rennella E, Cutuil T, Schanda P, Ayala I, Forge V, Brutscher B. 2012. Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate. Journal of the American Chemical Society. 134(19), 8066–8069.
LibreCat: https://research-explorer.ista.ac.at/record/8466
DOI: 10.1021/ja302598j

Huber M, With O, Schanda P, Verel R, Ernst M, Meier BH. 2012. A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. 214, 76–80.
LibreCat: https://research-explorer.ista.ac.at/record/8467
DOI: 10.1016/j.jmr.2011.10.010

Kaloshin V, Saprykina M. 2012. An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension. Communications in Mathematical Physics. 315(3), 643–697.
LibreCat: https://research-explorer.ista.ac.at/record/8502
DOI: 10.1007/s00220-012-1532-x

Povolotskaya I, Kondrashov F, Ledda A, Vlasov P. 2012. Stop codons in bacteria are not selectively equivalent. Biology Direct. 7.
LibreCat: https://research-explorer.ista.ac.at/record/858
DOI: 10.1186/1745-6150-7-30

Breen M, Kemena C, Vlasov P, Notredame C, Kondrashov F. 2012. Epistasis as the primary factor in molecular evolution. Nature. 490(7421), 535–538.
LibreCat: https://research-explorer.ista.ac.at/record/900
DOI: 10.1038/nature11510

Theurkauff I, Cottin-Bizonne C, Palacci JA, Ybert C, Bocquet L. 2012. Dynamic clustering in active colloidal suspensions with chemical signaling. Physical Review Letters. 108(26), 268303.
LibreCat: https://research-explorer.ista.ac.at/record/9014
DOI: 10.1103/physrevlett.108.268303
PMID: 23005020
arXiv: 1202.6264

Higginbotham AP, Cole J, Blood Forsythe M, Hickstein D. 2012. Identifying and evaluating organic nonlinear optical materials via molecular moments. Journal of Applied Physics. 111(3), 033512.
LibreCat: https://research-explorer.ista.ac.at/record/91
DOI: 10.1063/1.3678593

Muller CJ, Held IM. 2012. Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. Journal of the Atmospheric Sciences. 69(8), 2551–2565.
LibreCat: https://research-explorer.ista.ac.at/record/9142
DOI: 10.1175/jas-d-11-0257.1

Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, Zilberman D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.
LibreCat: https://research-explorer.ista.ac.at/record/9451
DOI: 10.1126/science.1224839
PMID: 22984074

Coleman-Derr D, Zilberman D. 2012. DNA methylation, A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.
LibreCat: https://research-explorer.ista.ac.at/record/9535
DOI: 10.1101/sqb.2012.77.014944
PMID: 23250988

Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
LibreCat: https://research-explorer.ista.ac.at/record/3242
DOI: 10.1371/journal.pbio.1001300

Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad,10.5061/dryad.sv37s .
LibreCat: https://research-explorer.ista.ac.at/record/9755
DOI: 10.5061/dryad.sv37s

Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad,10.5061/dryad.274b1 .
LibreCat: https://research-explorer.ista.ac.at/record/9758
DOI: 10.5061/dryad.274b1

Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad,10.5061/dryad.61649 .
LibreCat: https://research-explorer.ista.ac.at/record/9757
DOI: 10.5061/dryad.61649

Kaloshin V, KOZLOVSKI OS. 2012. A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. 32(1), 159–165.
LibreCat: https://research-explorer.ista.ac.at/record/8504
DOI: 10.1017/s0143385710000817

Albouy A, Kaloshin V. 2012. Finiteness of central configurations of five bodies in the plane. Annals of Mathematics. 176(1), 535–588.
LibreCat: https://research-explorer.ista.ac.at/record/8503
DOI: 10.4007/annals.2012.176.1.10

Kondrashov F. 2012. Gene duplication as a mechanism of genomic adaptation to a changing environment. Proceedings of the Royal Society of London Series B Biological Sciences. 279(1749), 5048–5057.
LibreCat: https://research-explorer.ista.ac.at/record/887
DOI: 10.1098/rspb.2012.1108

Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2012. Osmotic traps for colloids and macromolecules based on logarithmic sensing in salt taxis. Soft Matter. 8(4), 980–994.
LibreCat: https://research-explorer.ista.ac.at/record/9049
DOI: 10.1039/c1sm06395b

Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).
LibreCat: https://research-explorer.ista.ac.at/record/922
DOI: 10.1103/PhysRevLett.109.018101
arXiv: 1207.1516

Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EM and PR cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.
LibreCat: https://research-explorer.ista.ac.at/record/9499
DOI: 10.1371/journal.pgen.1002512
PMID: 22457632

Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
LibreCat: https://research-explorer.ista.ac.at/record/9497
DOI: 10.1371/journal.pgen.1002988
PMID: 23071449

Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.
LibreCat: https://research-explorer.ista.ac.at/record/9528
DOI: 10.1016/j.gde.2012.01.007
PMID: 22336527

Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22).
LibreCat: https://research-explorer.ista.ac.at/record/966
DOI: 10.1103/PhysRevB.86.224409

Lohse K, Barton NH, Melika G, Stone G. 2012. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 21(18), 4605–4617.
LibreCat: https://research-explorer.ista.ac.at/record/2968
DOI: 10.1111/j.1365-294X.2012.05700.x

Lohse K, Barton NH, Stone G, Melika G. 2012. Data from: A likelihood-based comparison of population histories in a parasitoid guild, Dryad,10.5061/DRYAD.0G0FS .
LibreCat: https://research-explorer.ista.ac.at/record/13075
DOI: 10.5061/DRYAD.0G0FS

Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 134(48), 19564–19567.
LibreCat: https://research-explorer.ista.ac.at/record/13407
DOI: 10.1021/ja309633v
PMID: 23181449

Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 8(5), 654–660.
LibreCat: https://research-explorer.ista.ac.at/record/13408
DOI: 10.1002/smll.201101882
PMID: 22392681

Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
LibreCat: https://research-explorer.ista.ac.at/record/10903
DOI: 10.1007/978-3-642-33386-6_14

Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
LibreCat: https://research-explorer.ista.ac.at/record/10905
DOI: 10.1007/978-3-642-33090-2_27
arXiv: 1604.08234

Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
LibreCat: https://research-explorer.ista.ac.at/record/10906
DOI: 10.1007/978-3-642-28756-5_46

Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.
LibreCat: https://research-explorer.ista.ac.at/record/5745
DOI: 10.1007/978-3-642-33386-6_10

Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 445–460.
LibreCat: https://research-explorer.ista.ac.at/record/3251
DOI: 10.1007/978-3-642-27940-9_29

Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Boei I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
LibreCat: https://research-explorer.ista.ac.at/record/3157
DOI: 10.1038/nature11219
PMID: 22722843

Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81(1), 69–80.
LibreCat: https://research-explorer.ista.ac.at/record/3260
DOI: 10.1016/j.tpb.2011.11.003
PMID: 22120126

Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient initiation of dendritic spikes in hippocampal C pyramidal neurons. Nature Neuroscience. 15(4), 600–606.
LibreCat: https://research-explorer.ista.ac.at/record/3258
DOI: 10.1038/nn.3060
PMID: 22388958

Kim S. 2012. Active properties of hippocampal C pyramidal neuron dendrites. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Barone V, Heisenberg C-PJ. 2012. Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. 24(1), 148–153.
LibreCat: https://research-explorer.ista.ac.at/record/3246
DOI: 10.1016/j.ceb.2011.11.006

Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, Zilberman D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.
LibreCat: https://research-explorer.ista.ac.at/record/12198
DOI: 10.1126/science.1224839
PMID: 22984074

Pausinger F. 2012. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 8(1), 63–78.
LibreCat: https://research-explorer.ista.ac.at/record/6588
WoS: 000301173600004

Yu J, Wojtan C, Turk G, Yap C. 2012. Explicit mesh surfaces for particle based fluids. Computer Graphics Forum. EUROGRAPHICS: Conference on European Association for Computer Graphics, Eurographics, vol. 31, 815–824.
LibreCat: https://research-explorer.ista.ac.at/record/3123
DOI: 10.1111/j.1467-8659.2012.03062.x

Danowski P. 2012. Die Zeit des Abwartens ist vorbei! BuB - Forum Bibliothek und Information. 64(4), 284.
LibreCat: https://research-explorer.ista.ac.at/record/3244

Danowski P. 2012. Zwischen Technologie und Information. Büchereiperspektiven. 2012(1), 11.
LibreCat: https://research-explorer.ista.ac.at/record/3243

Kroemer O, Lampert C, Peters J. 2012. Multi-modal learning for dynamic tactile sensing
LibreCat: https://research-explorer.ista.ac.at/record/2915

Edelsbrunner H, Strelkova N. 2012. On the configuration space for the shortest networks. Russian Mathematical Surveys. 67(6), 1167–1168.
LibreCat: https://research-explorer.ista.ac.at/record/2912
DOI: 10.4213/rm9503

Quadrianto N, Lampert C, Chen C. 2012. The most persistent soft-clique in a set of sampled graphs. Proceedings of the 29th International Conference on Machine Learning. ICML: International Conference on Machine Learning, 211–218.
LibreCat: https://research-explorer.ista.ac.at/record/3127

Pausinger F. 2012. Weak multipliers for generalized van der Corput sequences. Journal de Theorie des Nombres des Bordeaux. 24(3), 729–749.
LibreCat: https://research-explorer.ista.ac.at/record/2904
DOI: 10.5802/jtnb.819

Edelsbrunner H, Musin O, Ukhalov A, Yakimova O, Alexeev V, Bogaevskaya V, Gorohov A, Preobrazhenskaya M. 2012. Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. 19(6), 152–160.
LibreCat: https://research-explorer.ista.ac.at/record/2902