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.

2601 Publications


2013 | Journal Article | IST-REx-ID: 2883   OA
B. Wang et al., “Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane,” Plant Cell, vol. 25, no. 1, pp. 202–214, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2908   OA
N. H. Barton, “Does hybridisation influence speciation?  ,” Journal of Evolutionary Biology, vol. 26, no. 2, pp. 267–269, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910   OA
J. Kelleher, N. H. Barton, and A. Etheridge, “Coalescent simulation in continuous space,” Bioinformatics, vol. 29, no. 7, pp. 955–956, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821   OA
E. Remy et al., “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” Plant Cell, vol. 25, no. 3, pp. 901–926, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2826   OA
K. Tran Viet et al., “Mutations in SCO2 are associated with autosomal-dominant high-grade myopia,” American Journal of Human Genetics, vol. 92, no. 5, pp. 820–826, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2833
C.-P. J. Heisenberg and Y. Bellaïche, “Forces in tissue morphogenesis and patterning,” Cell, vol. 153, no. 5, pp. 948–962, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2838   OA
G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” PLoS One, vol. 8, no. 1, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2840
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, and É. Save, “Distinct roles of medial and lateral entorhinal cortex in spatial cognition,” Cerebral Cortex, vol. 23, no. 2, pp. 451–459, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2857   OA
S. Szobota, C. Mckenzie, and H. L. Janovjak, “Optical control of ligand-gated ion channels,” Methods in Molecular Biology, vol. 998, pp. 417–435, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
T. Rose, P. Schönenberger, K. Jezek, and T. Oertner, “Developmental refinement of vesicle cycling at Schaffer collateral synapses,” Neuron, vol. 77, no. 6, pp. 1109–1121, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 3261   OA
J. Dubuis, G. Tkacik, E. Wieschaus, T. Gregor, and W. Bialek, “Positional information, in bits,” PNAS, vol. 110, no. 41, pp. 16301–16308, 2013.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507   OA
S. Kim et al., “Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis,” Plant Cell, vol. 25, no. 8, pp. 2970–2985, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 499
Y. Wakamoto et al., “Dynamic persistence of antibiotic-stressed mycobacteria,” Science, vol. 339, no. 6115, pp. 91–95, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 502
O. Blazy, G. Fuchsbauer, D. Pointcheval, and D. Vergnaud, “Short blind signatures,” Journal of Computer Security, vol. 21, no. 5, pp. 627–661, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5402   OA
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
View | Files available | DOI
 

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

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

2013 | Technical Report | IST-REx-ID: 5399
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2181   OA
T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2237
R. Blanc, A. Gupta, L. Kovács, and B. Kragl, “Tree interpolation in Vampire,” vol. 8312. Springer, pp. 173–181, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2299   OA
Y. Godhal, K. Chatterjee, and T. A. Henzinger, “Synthesis of AMBA AHB from formal specification: A case study,” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, pp. 585–601, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2814   OA
K. Chatterjee, L. Alfaro, and R. Majumdar, “The complexity of coverage,” International Journal of Foundations of Computer Science, vol. 24, no. 2, pp. 165–185, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819   OA
K. Chatterjee and V. Prabhu, “Quantitative timed simulation functions and refinement metrics for real-time systems,” in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA USA, 2013, vol. 1, pp. 273–282.
View | DOI | Download (ext.)
 

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

2013 | Conference Paper | IST-REx-ID: 2446   OA
K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Thesis | IST-REx-ID: 1405
D. Zufferey, Analysis of dynamic message passing programs. IST Austria, 2013.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2939
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” Computational Geometry: Theory and Applications, vol. 46, no. 4, pp. 435–447, 2013.
View | Files available | DOI
 

2013 | Thesis | IST-REx-ID: 1406
P. Campinho, Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. IST Austria, 2013.
View
 

2013 | Conference Paper | IST-REx-ID: 2238
K. Chatterjee, V. Forejt, and D. Wojtczak, “Multi-objective discounted reward verification in graphs and MDPs,” vol. 8312. Springer, pp. 228–242, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2283
C. Pull, W. Hughes, and M. Brown, “Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger ,” Naturwissenschaften, vol. 100, no. 12, pp. 1125–1136, 2013.
View | DOI
 

2013 | Conference (Editor) | IST-REx-ID: 2288
A. Gupta and T. A. Henzinger, Eds., Computational Methods in Systems Biology, vol. 8130. Springer, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2290   OA
Y. Boutté et al., “ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation,” PNAS, vol. 110, no. 40, pp. 16259–16264, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2264   OA
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, and T. Ghashghaei, “Neural development is dependent on the function of specificity protein 2 in cell cycle progression,” Development, vol. 140, no. 3, pp. 552–561, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2303
S. Hippenmeyer, “Dissection of gene function at clonal level using mosaic analysis with double markers,” Frontiers in Biology, vol. 8, no. 6, pp. 557–568, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2276   OA
I. Gridchyn and V. Kolmogorov, “Potts model, parametric maxflow and k-submodular functions,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 2320–2327.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2447
R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2466   OA
R. Ando, N. Thuerey, and C. J. Wojtan, “Highly adaptive liquid simulations on tetrahedral meshes,” ACM Transactions on Graphics, vol. 32, no. 4, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473   OA
N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Genetic hitch-hiking in spatially extended populations,” Theoretical Population Biology, vol. 87, no. 8, pp. 75–89, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
T. Paixao and N. H. Barton, “A variance decomposition approach to the analysis of genetic algorithms,” in Proceedings of the 15th annual conference on Genetic and evolutionary computation, Amsterdam, Netherlands, 2013, pp. 845–852.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2808   OA
K. Landberg et al., “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, vol. 162, no. 3, pp. 1406–1419, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822   OA
C. Topp et al., “3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture,” PNAS, vol. 110, no. 18, pp. E1695–E1704, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827   OA
Y. Du et al., “Salicylic acid interferes with clathrin-mediated endocytic protein trafficking,” PNAS, vol. 110, no. 19, pp. 7946–7951, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2834   OA
M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions at the onset of turbulence in pipe flow,” Physical Review Letters, vol. 110, no. 22, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2839
M. Weber et al., “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” Science, vol. 339, no. 6117, pp. 328–332, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
H. Morita and C.-P. J. Heisenberg, “Holding on and letting go: Cadherin turnover in cell intercalation,” Developmental Cell, vol. 24, no. 6, pp. 567–569, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2810   OA
M. De Vos, F. Poelwijk, N. Battich, J. Ndika, and S. Tans, “Environmental dependence of genetic constraint,” PLoS Genetics, vol. 9, no. 6, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2846   OA
L. El Masri et al., “Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution,” Ecology Letters, vol. 16, no. 4, pp. 461–468, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860   OA
D. Dupret, J. O’Neill, and J. L. Csicsvari, “Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning,” Neuron, vol. 78, no. 1, pp. 166–180, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909   OA
N. H. Barton, A. Etheridge, and A. Véber, “Modelling evolution in a spatial continuum,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2853   OA
D. Refardt, T. Bergmiller, and R. Kümmerli, “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, vol. 280, no. 1759, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 3116
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, and V. Raman, “Code aware resource management,” Formal Methods in System Design, vol. 42, no. 2, pp. 142–174, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815
H. Edelsbrunner, B. T. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” Discrete & Computational Geometry, vol. 49, no. 4, pp. 797–822, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 476   OA
D. Dickerson and D. Bilkey, “Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions,” Frontiers in Behavioral Neuroscience, vol. 7, no. DEC, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 508   OA
E. Tarazona Santos et al., “Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications,” Molecular Biology and Evolution, vol. 30, no. 9, pp. 2157–2167, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 527
K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24, pp. 2513–2518, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 522
E. Fuertbauer et al., “Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells,” Immunology Letters, vol. 154, no. 1–2, pp. 31–41, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5403   OA
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374   OA
K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000   OA
J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2858   OA
J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1, pp. 34–45, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2884
J.-L. Maître et al., “Cell adhesion mechanics of zebrafish gastrulation,” Medecine Sciences, vol. 29, no. 2, pp. 147–150, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295   OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Quantitative abstraction refinement,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 115–128.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517
S. Almagor, U. Boker, and O. Kupferman, “Formalizing and reasoning about quality,” vol. 7966, no. Part 2. Springer, pp. 15–27, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5408
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2049   OA
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2912
H. Edelsbrunner and N. Strelkova, “Configuration space for shortest networks ,” Uspekhi Mat. Nauk, vol. 67, no. 6, pp. 203–204, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2943   OA
N. Hadizadeh Yazdi, C. C. Guet, R. Johnson, and J. Marko, “Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions,” Molecular Microbiology, vol. 86, no. 6, pp. 1318–1333, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2931
L. Torresani, V. Kolmogorov, and C. Rother, “A dual decomposition approach to feature correspondence,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 35, no. 2, pp. 259–271, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2917
H. Vladar, “The game of active search for extra terrestrial intelligence Breaking the Great Silence ,” International Journal of Astrobiology, vol. 12, no. 1, pp. 53–62, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2974   OA
A. Jain, S. Krenn, K. Z. Pietrzak, and A. Tentes, “Commitments and efficient zero knowledge proofs from learning parity with noise,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China, 2012, vol. 7658, pp. 663–680.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962   OA
S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing summary statistics in approximate Bayesian computation,” Genetics, vol. 192, no. 3, pp. 1027–1047, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3136
C. C. Guet, A. Gupta, T. A. Henzinger, M. Mateescu, and A. Sezgin, “Delayed continuous time Markov chains for genetic regulatory circuits,” presented at the CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 294–309.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155   OA
B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129   OA
O. Busaryev, S. Cabello, C. Chen, T. Dey, and Y. Wang, “Annotating simplices with a homology basis and its applications,” presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland, 2012, vol. 7357, pp. 189–200.
View | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3131   OA
D. Weissman and N. H. Barton, “Limits to the rate of adaptive substitution in sexual populations,” PLoS Genetics, vol. 8, no. 6, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, USA, 2012, vol. 7186, pp. 147–160.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3117   OA
V. Kolmogorov, “Minimizing a sum of submodular functions,” Discrete Applied Mathematics, vol. 160, no. 15, pp. 2246–2258, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3167
M. Weber, “NextGen speaks 13 ,” Science, vol. 336, no. 6077, pp. 32–34, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3256   OA
H. Edelsbrunner and M. Kerber, “Dual complexes of cubical subdivisions of ℝn,” Discrete & Computational Geometry, vol. 47, no. 2, pp. 393–414, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244
P. Danowski, “Die Zeit des Abwartens ist vorbei!,” BuB – Forum Bibliothek und Information, vol. 64, no. 4, p. 284, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3282   OA
Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication, revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124
F. Korc, V. Kolmogorov, and C. Lampert, “Approximating marginals using discrete energy minimization,” presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland, 2012.
View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396   OA
F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
View | Files available | DOI
 

2012 | Book Chapter | IST-REx-ID: 5745   OA
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3249
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” Theoretical Computer Science, vol. 413, no. 1, pp. 21–35, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2950
M. Behrndt et al., “Forces driving epithelial spreading in zebrafish gastrulation,” Science, vol. 338, no. 6104, pp. 257–260, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955   OA
K. Chatterjee and L. Doyen, “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, 2012.
View | Files available | DOI | Download (ext.) | arXiv
 

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

2012 | Conference Paper | IST-REx-ID: 3251   OA
D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured transition systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3314
K. Chatterjee and R. Majumdar, “Discounting and averaging in games across time scales,” International Journal of Foundations of Computer Science, vol. 23, no. 3, pp. 609–625, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 496   OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715
K. Chatterjee, M. Joglekar, and N. Shah, “Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 2012, vol. 18, pp. 461–473.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2949
D. Dupret and J. L. Csicsvari, “The medial entorhinal cortex keeps Up,” Nature Neuroscience, vol. 15, no. 11, pp. 1471–1472, 2012.
View | DOI | Download (ext.)
 

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

2012 | Journal Article | IST-REx-ID: 2951
J.-L. Maître et al., “Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells,” Science, vol. 338, no. 6104, pp. 253–256, 2012.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed