Please note that IST 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.

1861 Publications


2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A., … Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience, 16, 507–516. https://doi.org/10.1038/nn.3346
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2818   OA
Rajan, K., Marre, O., & Tkacik, G. (2013). Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation, 25(7), 1661–1692. https://doi.org/10.1162/NECO_a_00463
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn, S., Pietrzak, K. Z., & Wadia, A. (2013). A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In A. Sahai (Ed.) (Vol. 7785, pp. 23–39). Presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-642-36594-2_2
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster, P., Robert, S., Kleine Vehn, J., Vanneste, S., Kania, U., Grunewald, W., … Friml, J. (2013). SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal, 32(2), 260–274. https://doi.org/10.1038/emboj.2012.310
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1750). https://doi.org/10.1098/rspb.2012.2058
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy, 94(6), 1331–1345. https://doi.org/10.1644/12-MAMM-A-169.1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 828   OA
Cuesta, C., Wabnik, K. T., & Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science, 4. https://doi.org/10.3389/fpls.2013.00537
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2445   OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298   OA
Dragoi, C., Enea, C., & Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer. https://doi.org/10.1007/978-3-642-38856-9_10
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2887   OA
Fang, S., Clark, R., Zheng, Y., Iyer Pascuzzi, A., Weitz, J., Kochian, L., … Benfey, P. (2013). Genotypic recognition and spatial responses by rice roots. PNAS, 110(7), 2670–2675. https://doi.org/10.1073/pnas.1222821110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2009   OA
Uhler, C., Slavkovic, A., & Fienberg, S. (2013). Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality , 5(1), 137–166. https://doi.org/10.29012/jpc.v5i1.629
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2270   OA
Bachrach, Y., Kohli, P., Kolmogorov, V., & Zadimoghaddam, M. (2013). Optimal Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.
View | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski, P., Goldfarb, D., Schaffner, V., & Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen, 66(3/4), 559–587.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2244   OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2472   OA
Cazzonelli, C., Vanstraelen, M., Simon, S., Yin, K., Carron Arthur, A., Nisar, N., … Pogson, B. (2013). Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070069
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410   OA
Fernandes Redondo, R. A., Kupczok, A., Stift, G., & Bollback, J. P. (2013). Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements, 1(3). https://doi.org/10.1128/genomeA.00216-13
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2287   OA
Pickup, M., & Barrett, S. (2013). The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution, 3(3), 629–639. https://doi.org/10.1002/ece3.465
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2294   OA
Kazmar, T., Kvon, E., Stark, A., & Lampert, C. (2013). Drosophila Embryo Stage Annotation using Label Propagation. Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.139
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718   OA
Barton, N. H., & Paixao, T. (2013). Can quantitative and population genetics help us understand evolutionary computation? In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 1573–1580). Amsterdam, Netherlands: ACM. https://doi.org/10.1145/2463372.2463568
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720   OA
Long, H., Paixao, T., Azevedo, R., & Zufall, R. (2013). Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila. Genetics, 195(2), 527–540. https://doi.org/10.1534/genetics.113.153536
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782   OA
Erdös, L., & Farrell, B. (2013). Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics, 152(6), 1003–1032. https://doi.org/10.1007/s10955-013-0807-8
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2807   OA
Čadek, M., Krcál, M., Matoušek, J., Vokřínek, L., & Wagner, U. (2013). Extending continuous maps: Polynomiality and undecidability. In 45th Annual ACM Symposium on theory of computing (pp. 595–604). Palo Alto, CA, United States: ACM. https://doi.org/10.1145/2488608.2488683
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698   OA
Erdös, L., Fournais, S., & Solovej, J. (2013). Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society, 15(6), 2093–2113. https://doi.org/10.4171/JEMS/416
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2883   OA
Wang, B., Bailly, A., Zwiewk, M., Henrichs, S., Azzarello, E., Mancuso, S., … Geisler, M. (2013). Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell, 25(1), 202–214. https://doi.org/10.1105/tpc.112.105999
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology, 26(2), 267–269. https://doi.org/10.1111/jeb.12015
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
Kelleher, J., Barton, N. H., & Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics, 29(7), 955–956. https://doi.org/10.1093/bioinformatics/btt067
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J., … Duque, P. (2013). A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell, 25(3), 901–926. https://doi.org/10.1105/tpc.113.110353
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
Tran Viet, K., Powell, C., Barathi, V., Klemm, T., Maurer Stroh, S., Limviphuvadh, V., … Young, T. (2013). Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics, 92(5), 820–826. https://doi.org/10.1016/j.ajhg.2013.04.005
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2838   OA
Arquè Fuste, G., Casanovas, A., & Dierssen, M. (2013). Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One, 8(1). https://doi.org/10.1371/journal.pone.0054285
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota, S., Mckenzie, C., & Janovjak, H. L. (2013). Optical control of ligand-gated ion channels. Methods in Molecular Biology, 998, 417–435. https://doi.org/10.1007/978-1-62703-351-0_32
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis, J., Tkacik, G., Wieschaus, E., Gregor, T., & Bialek, W. (2013). Positional information, in bits. PNAS, 110(41), 16301–16308. https://doi.org/10.1073/pnas.1315642110
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507   OA
Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I., … Hwang, I. (2013). Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell, 25(8), 2970–2985. https://doi.org/10.1105/tpc.113.114264
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger, T. A., & Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria. https://doi.org/10.15479/AT:IST-2013-123-v1-1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407   OA
Porsche, J. (2013). Technical requirements and features. IST Austria.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429109
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Y., Chatterjee, K., & Henzinger, T. A. (2013). Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer, 15(5–6), 585–601. https://doi.org/10.1007/s10009-011-0207-9
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee, K., Alfaro, L., & Majumdar, R. (2013). The complexity of coverage. International Journal of Foundations of Computer Science, 24(2), 165–185. https://doi.org/10.1142/S0129054113400066
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee, K., & Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer. https://doi.org/10.1145/2461328.2461370
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2282   OA
Campinho, P., Behrndt, M., Ranft, J., Risler, T., Minc, N., & Heisenberg, C.-P. J. (2013). Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology, 15, 1405–1414. https://doi.org/10.1038/ncb2869
View | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, K., Gaiser, A., & Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_37
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2237   OA
Blanc, R., Gupta, A., Kovács, L., & Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_13
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290   OA
Boutté, Y., Jonsson, K., Mcfarlane, H., Johnson, E., Gendre, D., Swarup, R., … Bhalerao, R. (2013). ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS, 110(40), 16259–16264. https://doi.org/10.1073/pnas.1309057110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2264   OA
Liang, H., Xiao, G., Yin, H., Hippenmeyer, S., Horowitz, J., & Ghashghaei, T. (2013). Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development, 140(3), 552–561. https://doi.org/10.1242/dev.085621
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2276   OA
Gridchyn, I., & Kolmogorov, V. (2013). Potts model, parametric maxflow and k-submodular functions (pp. 2320–2327). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.288
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2466   OA
Ando, R., Thuerey, N., & Wojtan, C. J. (2013). Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461982
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473   OA
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology, 87(8), 75–89. https://doi.org/10.1016/j.tpb.2012.12.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808   OA
Landberg, K., Pederson, E., Viaene, T., Bozorg, B., Friml, J., Jönsson, H., … Sundberg, E. (2013). The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain. Plant Physiology, 162(3), 1406–1419. https://doi.org/10.1104/pp.113.214023
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822   OA
Topp, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O., … Benfey, P. (2013). 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS, 110(18), E1695–E1704. https://doi.org/10.1073/pnas.1304354110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827   OA
Du, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S., … Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS, 110(19), 7946–7951. https://doi.org/10.1073/pnas.1220205110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2834   OA
Avila, M., Mellibovsky, F., Roland, N., & Hof, B. (2013). Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters, 110(22). https://doi.org/10.1103/PhysRevLett.110.224502
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2810   OA
De Vos, M., Poelwijk, F., Battich, N., Ndika, J., & Tans, S. (2013). Environmental dependence of genetic constraint. PLoS Genetics, 9(6). https://doi.org/10.1371/journal.pgen.1003580
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2846   OA
El Masri, L., Schulte, R., Timmermeyer, N., Thanisch, S., Crummenerl, L., Jansen, G., … Schulenburg, H. (2013). Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters, 16(4), 461–468. https://doi.org/10.1111/ele.12068
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860   OA
Dupret, D., O’Neill, J., & Csicsvari, J. L. (2013). Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron, 78(1), 166–180. https://doi.org/10.1016/j.neuron.2013.01.033
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909   OA
Barton, N. H., Etheridge, A., & Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment, 2013(1). https://doi.org/10.1088/1742-5468/2013/01/P01002
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1759). https://doi.org/10.1098/rspb.2012.3035
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience, 7(DEC). https://doi.org/10.3389/fnbeh.2013.00217
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L., … Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution, 30(9), 2157–2167. https://doi.org/10.1093/molbev/mst119
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, J., Božić, I., Allen, B., Chatterjee, K., & Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications, 6(1), 34–45. https://doi.org/10.1111/eva.12020
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with omega-regular objectives. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.165
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517   OA
Almagor, S., Boker, U., & Kupferman, O. (2013). Formalizing and reasoning about quality. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_3
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447   OA
Piskac, R., Wies, T., & Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_54
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839   OA
Weber, M., Hauschild, R., Schwarz, J., Moussion, C., De Vries, I., Legler, D., … Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science, 339(6117), 328–332. https://doi.org/10.1126/science.1228456
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049   OA
Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., & Pietrzak, K. Z. (2012). Lapin: An efficient authentication protocol based on ring-LPN. In Conference proceedings FSE 2012 (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer. https://doi.org/10.1007/978-3-642-34047-5_20
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2943   OA
Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., & Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology, 86(6), 1318–1333. https://doi.org/10.1111/mmi.12071
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2974   OA
Jain, A., Krenn, S., Pietrzak, K. Z., & Tentes, A. (2012). Commitments and efficient zero knowledge proofs from learning parity with noise. In X. Wang & K. Sako (Eds.) (Vol. 7658, pp. 663–680). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China: Springer. https://doi.org/10.1007/978-3-642-34961-4_40
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962   OA
Aeschbacher, S., Beaumont, M., & Futschik, A. (2012). A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics, 192(3), 1027–1047. https://doi.org/10.1534/genetics.112.143164
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129   OA
Busaryev, O., Cabello, S., Chen, C., Dey, T., & Wang, Y. (2012). Annotating simplices with a homology basis and its applications (Vol. 7357, pp. 189–200). Presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland: Springer. https://doi.org/10.1007/978-3-642-31155-0_17
View | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3131   OA
Weissman, D., & Barton, N. H. (2012). Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics, 8(6). https://doi.org/10.1371/journal.pgen.1002740
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3117   OA
Kolmogorov, V. (2012). Minimizing a sum of submodular functions. Discrete Applied Mathematics, 160(15), 2246–2258. https://doi.org/10.1016/j.dam.2012.05.025
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3256   OA
Edelsbrunner, H., & Kerber, M. (2012). Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry, 47(2), 393–414. https://doi.org/10.1007/s00454-011-9382-4
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3282   OA
Dodis, Y., Pietrzak, K. Z., Kiltz, E., & Wichs, D. (2012). Message authentication, revisited (Vol. 7237, pp. 355–374). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK: Springer. https://doi.org/10.1007/978-3-642-29011-4_22
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396   OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
View | Files available | DOI
 

2012 | Book Chapter | IST-REx-ID: 5745   OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955   OA
Chatterjee, K., & Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.28
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2012). Finite automata with time delay blocks. In roceedings of the tenth ACM international conference on Embedded software (pp. 43–52). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380370
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey, D., Wies, T., & Henzinger, T. A. (2012). Ideal abstractions for well structured transition systems (Vol. 7148, pp. 445–460). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_29
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496   OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3162   OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2937   OA
Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., & Béguelin, S. (2012). Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In Proceedings of the 2012 ACM conference on Computer and communications security (pp. 488–500). Raleigh, NC, USA: ACM. https://doi.org/10.1145/2382196.2382249
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2968   OA
Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology, 21(18), 4605–4617. https://doi.org/10.1111/j.1365-294X.2012.05700.x
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3118   OA
Bojsen-Hansen, M., Li, H., & Wojtan, C. J. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics, 31(4). https://doi.org/10.1145/2185520.2185549
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3120   OA
Brown, G., Kerber, M., & Reid, M. (2012). Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica, 148(4), 1171–1194. https://doi.org/10.1112/S0010437X11007226
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3257   OA
Kolmogorov, V. (2012). Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics, 160(4–5), 416–426. https://doi.org/10.1016/j.dam.2011.10.026
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3310   OA
Bendich, P., Cabello, S., & Edelsbrunner, H. (2012). A point calculus for interlevel set homology. Pattern Recognition Letters, 33(11), 1436–1444. https://doi.org/10.1016/j.patrec.2011.10.007
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences, 78(2), 394–413. https://doi.org/10.1016/j.jcss.2011.05.002
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492   OA
Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology, 12. https://doi.org/10.1186/1471-2229-12-116
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology, 301, 161–173. https://doi.org/10.1016/j.jtbi.2012.02.021
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3341   OA
Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia: Springer. https://doi.org/10.1007/978-3-642-28729-9_18
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3252   OA
Chatterjee, K., & Raman, V. (2012). Synthesizing protocols for digital contract signing (Vol. 7148, pp. 152–168). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_11
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497   OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3125   OA
Sharmanska, V., Quadrianto, N., & Lampert, C. (2012). Augmented attribute representations (Vol. 7576, pp. 242–255). Presented at the ECCV: European Conference on Computer Vision, Florence, Italy: Springer. https://doi.org/10.1007/978-3-642-33715-4_18
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2318   OA
Seiringer, R. (2012). Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory, 2(3), 321–328. https://doi.org/10.4171/JST/31
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed