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.

2424 Publications


2012 | Conference Paper | IST-REx-ID: 3125
V. Sharmanska, N. Quadrianto, and C. Lampert, “Augmented attribute representations,” presented at the ECCV: European Conference on Computer Vision, Florence, Italy, 2012, vol. 7576, no. PART 5, pp. 242–255.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3132
M. Konrad, T. Pamminger, and S. Foitzik, “Two pathways ensuring social harmony,” Naturwissenschaften, vol. 99, no. 8, pp. 627–636, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3245
M. Behrndt and C.-P. J. Heisenberg, “Spurred by resistance mechanosensation in collective migration,” Developmental Cell, vol. 22, no. 1, pp. 3–4, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3310   OA
P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel set homology,” Pattern Recognition Letters, vol. 33, no. 11, pp. 1436–1444, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3252   OA
K. Chatterjee and V. Raman, “Synthesizing protocols for digital contract signing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 152–168.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3257   OA
V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” Discrete Applied Mathematics, vol. 160, no. 4–5, pp. 416–426, 2012.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3846   OA
K. Chatterjee and T. A. Henzinger, “A survey of stochastic ω regular games,” Journal of Computer and System Sciences, vol. 78, no. 2, pp. 394–413, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492   OA
T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 497
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378   OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3341
K. Chatterjee, “Robustness of structurally equivalent concurrent parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Tallinn, Estonia, 2012, vol. 7213, pp. 270–285.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3168
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule based systems,” Theoretical Computer Science, vol. 431, pp. 137–164, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2956
K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012, p. 6280438.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 1384   OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2318   OA
R. Seiringer, “Absence of bound states implies non-negativity of the scattering length,” Journal of Spectral Theory, vol. 2, no. 3, pp. 321–328, 2012.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2825
C. Lampert, “Dynamic pruning of factor graphs for maximum marginal prediction,” presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States, 2012, vol. 1, pp. 82–90.
View
 

2012 | Journal Article | IST-REx-ID: 2849   OA
H. Edelsbrunner and N. Strelkova, “On the configuration space of Steiner minimal trees,” Russian Mathematical Surveys, vol. 67, no. 6, pp. 1167–1168, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902
H. Edelsbrunner et al., “Fractal and computational geometry for generalizing cartographic objects,” Modeling and Analysis of Information Systems, vol. 19, no. 6, pp. 152–160, 2012.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2945
J. Girard, C. Moussion, and R. Förster, “HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes,” Nature Reviews Immunology, vol. 12, no. 11, pp. 762–773, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2938
L. V. Ugelvig and S. Cremer, “Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies,” Functional Ecology, vol. 26, no. 6, pp. 1300–1312, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2969   OA
S. Goswami, I. Bucurenciu, and P. M. Jonas, “Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling,” Journal of Neuroscience, vol. 32, no. 41, pp. 14294–14304, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2971
G. Zankl, Y. Haxhimusa, and A. Ion, “Interactive labeling of image segmentation hierarchies,” presented at the Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 11–20.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2952
M. Tada and C.-P. J. Heisenberg, “Convergent extension Using collective cell migration and cell intercalation to shape embryos,” Development, vol. 139, no. 21, pp. 3897–3904, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3157   OA
L. Diaz Jr et al., “The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no. 7404, pp. 537–540, 2012.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3121   OA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, and S. Smith, “Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA,” Nature Neuroscience, vol. 15, no. 9, pp. 1195–1197, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3133   OA
H. Edelsbrunner and M. Kerber, “Alexander duality for functions: The persistent behavior of land and water and shore,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 249–258.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3126
A. Müller, S. Nowozin, and C. Lampert, “Information theoretic clustering using minimal spanning trees,” presented at the DAGM: German Association For Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 205–215.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
M. Blaschko and C. Lampert, “Guest editorial: Special issue on structured prediction and inference,” International Journal of Computer Vision, vol. 99, no. 3, pp. 257–258, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3253
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Abstract domains for automated reasoning about list manipulating programs with infinite data,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 1–22.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3260   OA
K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological auctions,” Theoretical Population Biology, vol. 81, no. 1, pp. 69–80, 2012.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3265
A. Ion, J. Carreira, and C. Sminchisescu, “Image segmentation by figure-ground composition into maximal cliques,” presented at the ICCV: International Conference on Computer Vision, Barcelona, Spain, 2012.
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 3277
H. de Vladar and J. Chela Flores, “Can the evolution of multicellularity be anticipated in the exploration of the solar system?,” in Life on Earth and other planetary bodies, vol. 24, Springer, 2012, pp. 387–405.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3289   OA
A. Pereira et al., “A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization,” Journal of Virology, vol. 86, no. 1, pp. 172–184, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 493   OA
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498   OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8, pp. 913–924, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506   OA
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3, pp. 347–349, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2957
K. Chatterjee and M. Tracol, “Decidable problems for probabilistic automata on infinite words,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012, p. 6280437.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 5398   OA
J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3119   OA
K. Raveendran, N. Thuerey, C. J. Wojtan, and G. Turk, “Controlling liquids using meshes,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Aire-la-Ville, Switzerland, 2012, pp. 255–264.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3246
V. Barone and C.-P. J. Heisenberg, “Cell adhesion in embryo morphogenesis,” Current Opinion in Cell Biology, vol. 24, no. 1, pp. 148–153, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3258   OA
S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” Nature Neuroscience, vol. 15, no. 4, pp. 600–606, 2012.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Thesis | IST-REx-ID: 2964
S. Kim, Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 2263   OA
H. Liang, S. Hippenmeyer, and H. Ghashghaei, “A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors,” Biology open, vol. 1, no. 12, pp. 1200–1203, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
T. A. Henzinger, “Quantitative reactive models,” in Conference proceedings MODELS 2012, Innsbruck, Austria, 2012, vol. 7590, pp. 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
P. Cerny, S. Gopi, T. A. Henzinger, A. Radhakrishna, and N. Totla, “Synthesis from incompatible specifications,” in Proceedings of the tenth ACM international conference on Embedded software, Tampere, Finland, 2012, pp. 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903   OA
H. Edelsbrunner and O. Symonova, “The adaptive topology of a digital image,” presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA , 2012, pp. 41–48.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2915
O. Kroemer, C. Lampert, and J. Peters, “Multi-modal learning for dynamic tactile sensing,” 2012.
View
 

2012 | Journal Article | IST-REx-ID: 2958   OA
K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” Journal of Neuroscience, vol. 32, no. 42, pp. 14752–14766, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2941   OA
N. Dolbilin, H. Edelsbrunner, and O. Musin, “On the optimality of functionals over triangulations of Delaunay sets,” Russian Mathematical Surveys, vol. 67, no. 4, pp. 781–783, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2946   OA
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, and G. Meister, “MicroRNAs associated with the different human Argonaute proteins,” Nucleic Acids Research, vol. 40, no. 19, pp. 9850–9862, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2953
C.-P. J. Heisenberg and R. Fässler, “Cell-cell adhesion and extracellular matrix diversity counts,” Current Opinion in Cell Biology, vol. 24, no. 5, pp. 559–561, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3122
D. Field and S. Barrett, “Disassortative mating and the maintenance of sexual polymorphism in painted maple,” Molecular Ecology, vol. 21, no. 15, pp. 3640–3643, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127   OA
N. Quadrianto, C. Lampert, and C. Chen, “The most persistent soft-clique in a set of sampled graphs,” in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, United Kingdom, 2012, pp. 211–218.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3158   OA
H. Schachtner et al., “Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo,” European Journal of Cell Biology, vol. 91, no. 11–12, pp. 923–929, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3160
P. Pantazis and T. Bollenbach, “Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo,” Cell Cycle, vol. 11, no. 11, pp. 2055–2058, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3247
S. Vilaça, R. A. Fernandes Redondo, L. Lins, and F. Santos, “Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus),” Conservation Genetics, vol. 13, no. 1, pp. 293–298, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3280   OA
K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3254
K. Chatterjee, “The complexity of stochastic Müller games,” Information and Computation, vol. 211, pp. 29–48, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3331   OA
M. Kerber and M. Sagraloff, “A worst case bound for topology computation of algebraic curves,” Journal of Symbolic Computation, vol. 47, no. 3, pp. 239–258, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3836
A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code,” Science of Computer Programming, vol. 77, no. 2, pp. 96–112, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 494
U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and useful,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165
K. Chatterjee and M. Henzinger, “An O(n2) time algorithm for alternating Büchi games,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, 2012, pp. 1386–1399.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2965   OA
P. Danowski, “Kontext Open Access: Creative Commons,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 65, no. 2, pp. 200–212, 2012.
View | Files available | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3242   OA
M. Konrad et al., “Social transfer of pathogenic fungus promotes active immunisation in ant colonies,” PLoS Biology, vol. 10, no. 4, p. e1001300, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3317   OA
E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,” Nature Reviews Neuroscience, vol. 13, no. 1, pp. 7–21, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2972   OA
K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer Science, vol. 458, pp. 49–60, 2012.
View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 3115   OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete & Computational Geometry, vol. 48, no. 4, pp. 964–989, 2012.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3134
H. Edelsbrunner, B. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 91–100.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2302
T. A. Henzinger and M. Mateescu, “The propagation approach for computing biochemical reaction networks,” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2, pp. 310–322, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2411   OA
I. Ebersberger et al., “A consistent phylogenetic backbone for the fungi,” Molecular Biology and Evolution, vol. 29, no. 5, pp. 1319–1334, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891   OA
U. Boker and T. A. Henzinger, “Approximate determinization of quantitative automata,” in Leibniz International Proceedings in Informatics, Hyderabad, India, 2012, vol. 18, pp. 362–373.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904   OA
F. Pausinger, “Weak multipliers for generalized van der Corput sequences,” Journal de Theorie des Nombres des Bordeaux, vol. 24, no. 3, pp. 729–749, 2012.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2930   OA
A. Huber and V. Kolmogorov, “Towards minimizing k-submodular functions,” presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece, 2012, vol. 7422, pp. 451–462.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947   OA
K. Chatterjee, M. Chmelik, and R. Majumdar, “Equivalence of games with probabilistic uncertainty and partial observation games,” presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 385–399.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2959   OA
C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” Annals of Statistics, vol. 40, no. 1, pp. 238–261, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966   OA
S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12, p. 7, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135   OA
B. Brázdil, K. Chatterjee, A. Kučera, and P. Novotny, “Efficient controller synthesis for consumption games with multiple resource types,” presented at the CAV: Computer Aided Verification, Berkeley, CA, USA, 2012, vol. 7358, pp. 23–38.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3159   OA
Y. Mileyko, H. Edelsbrunner, C. Price, and J. Weitz, “Hierarchical ordering of reticular networks,” PLoS One, vol. 7, no. 6, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3161   OA
M. Vyleta, J. Wong, and B. Magun, “Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome,” PLoS One, vol. 7, no. 5, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3123   OA
J. Yu, C. J. Wojtan, G. Turk, and C. Yap, “Explicit mesh surfaces for particle based fluids,” in Computer Graphics Forum, Cagliari, Sardinia, Italy, 2012, vol. 31, no. 2, pp. 815–824.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3130   OA
T. Bergmiller, M. Ackermann, and O. Silander, “Patterns of evolutionary conservation of essential genes correlate with their compensability,” PLoS Genetics, vol. 8, no. 6, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166   OA
H. Vladar, “Amino acid fermentation at the origin of the genetic code,” Biology Direct, vol. 7, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3128   OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of partial-observation stochastic parity games,” Formal Methods in System Design, vol. 43, no. 2, pp. 268–284, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3262   OA
G. Tkacik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks. III. A self-interacting gene,” Physical Review E statistical nonlinear and soft matter physics , vol. 85, no. 4, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
G. Rieckh, W. Kreuzer, H. Waubke, and P. Balazs, “A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil,” Engineering Analysis with Boundary Elements, vol. 36, no. 6, pp. 960–967, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3279
A. Jain, K. Z. Pietrzak, and A. Tentes, “Hardness preserving constructions of pseudorandom functions,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 369–382.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
K. Z. Pietrzak, A. Rosen, and G. Segev, “Lossy functions do not amplify well,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 458–475.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
K. Z. Pietrzak, “Cryptography from learning parity with noise,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, 2012, vol. 7147, pp. 99–114.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3248   OA
C. Lampert and J. Peters, “Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components,” Journal of Real-Time Image Processing, vol. 7, no. 1, pp. 31–41, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3255
K. Chatterjee and L. Doyen, “Games and Markov decision processes with mean payoff parity and energy parity objectives,” presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic, 2012, vol. 7119, pp. 37–46.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
P. Danowski, “Zwischen Technologie und Information,” Büchereiperspektiven, vol. 1/2012, p. 11, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 495   OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588   OA
F. Pausinger, “Elementary solutions of the bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, pp. 63–78, 2012.
View | Download (ext.) | WoS
 

2012 | Journal Article | IST-REx-ID: 2954   OA
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” Biophysical Journal, vol. 103, no. 7, pp. 1429–1439, 2012.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2048   OA
S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2916   OA
P. Cerny, M. Chmelik, T. A. Henzinger, and A. Radhakrishna, “Interface Simulation Distances,” in Electronic Proceedings in Theoretical Computer Science, Napoli, Italy, 2012, vol. 96, pp. 29–42.
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Preprint | IST-REx-ID: 2928   OA
V. Kolmogorov and T. Schoenemann, “Generalized sequential tree-reweighted message passing,” arXiv. ArXiv, 2012.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3270
C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.
View
 

2011 | Journal Article | IST-REx-ID: 3287
V. Ruprecht, M. Axmann, S. Wieser, and G. Schuetz, “What can we learn from single molecule trajectories?,” Current Protein & Peptide Science, vol. 12, no. 8, pp. 714–724, 2011.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed