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

4206 Publications


2012 | Conference Paper | IST-REx-ID: 2049 | OA
Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
H. Liang, S. Hippenmeyer, H. Ghashghaei, Biology Open 1 (2012) 1200–1203.
[Published Version] View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 2411 | OA
A consistent phylogenetic backbone for the fungi
I. Ebersberger, R. De Matos Simoes, A. Kupczok, M. Gube, E. Kothe, K. Voigt, A. Von Haeseler, Molecular Biology and Evolution 29 (2012) 1319–1334.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

2012 | Journal Article | IST-REx-ID: 2941 | OA
On the optimality of functionals over triangulations of Delaunay sets
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2946 | OA
MicroRNAs associated with the different human Argonaute proteins
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947 | OA
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

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

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

2012 | Journal Article | IST-REx-ID: 2966 | OA
The dynamics of male-male competition in Cardiocondyla obscurior ants
S. Cremer, M. Suefuji, A. Schrempf, J. Heinze, BMC Ecology 12 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
A novel approach for choosing summary statistics in approximate Bayesian computation
S. Aeschbacher, M. Beaumont, A. Futschik, Genetics 192 (2012) 1027–1047.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Kontext Open Access: Creative Commons
P. Danowski, Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65 (2012) 200–212.
[Published Version] View | Files available | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
Commitments and efficient zero knowledge proofs from learning parity with noise
A. Jain, S. Krenn, K.Z. Pietrzak, A. Tentes, in:, X. Wang, K. Sako (Eds.), Springer, 2012, pp. 663–680.
[Submitted Version] View | Files available | DOI
 

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

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Controlling liquids using meshes
K. Raveendran, N. Thuerey, C. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
[Submitted Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C. Wojtan, ACM Transactions on Graphics 31 (2012).
[Submitted Version] View | Files available | DOI
 

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

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

2012 | Journal Article | IST-REx-ID: 3117 | OA
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome
M. Vyleta, J. Wong, B. Magun, PLoS One 7 (2012).
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
Amino acid fermentation at the origin of the genetic code
H. de Vladar, Biology Direct 7 (2012).
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3252 | OA
Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255 | OA
Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3256 | OA
Dual complexes of cubical subdivisions of ℝn
H. Edelsbrunner, M. Kerber, Discrete & Computational Geometry 47 (2012) 393–414.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3282 | OA
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3280 | OA
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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

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

2012 | Journal Article | IST-REx-ID: 3331 | OA
A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3846 | OA
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
Augmented attribute representations
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Hierarchical ordering of reticular networks
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
H. Schachtner, A. Li, D. Stevenson, S. Calaminus, S. Thomas, S. Watson, M.K. Sixt, R. Wedlich Söldner, D. Strathdee, L. Machesky, European Journal of Cell Biology 91 (2012) 923–929.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3248 | OA
Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
C. Lampert, J. Peters, Journal of Real-Time Image Processing 7 (2012) 31–41.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3262 | OA
Optimizing information flow in small genetic networks. III. A self-interacting gene
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 85 (2012).
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3257 | OA
Generalized roof duality and bisubmodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3289 | OA
A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta, T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of Virology 86 (2012) 172–184.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3310 | OA
A point calculus for interlevel set homology
P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
Energy parity games
K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
[Published Version] View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version] View | Files available | DOI
 

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

2012 | Technical Report | IST-REx-ID: 5377 | OA
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3341 | OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
[Submitted Version] View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
[Published Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).
[Published Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
[Submitted Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 13075 | OA
Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 10905 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2012 | Conference Paper | IST-REx-ID: 3251 | OA
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3260 | OA
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2012 | Journal Article | IST-REx-ID: 12198 | OA
Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Explicit mesh surfaces for particle based fluids
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244 | OA
Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.
[Published Version] View | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3243 | OA
Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 2012 (2012) 11.
[Published Version] View | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
[Preprint] View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902 | OA
Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
[Published Version] View | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3269 | OA
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302 | OA
Static scheduling in clouds
T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, USENIX, 2011, pp. 1–6.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
Tail approximation for the chemical master equation
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Propagation models for computing biochemical reaction networks
T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications