Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2615 Publications

2012 | Conference Paper | IST-REx-ID: 2974   OA
Jain, Abhishek, et al. Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise. Edited by Xiaoyun Wang and Kazue Sako, vol. 7658, Springer, 2012, pp. 663–80, doi:10.1007/978-3-642-34961-4_40.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2962   OA
Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” Genetics, vol. 192, no. 3, Genetics Society of America, 2012, pp. 1027–47, doi:10.1534/genetics.112.143164.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C., et al. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits. Vol. 7358, Springer, 2012, pp. 294–309, doi:10.1007/978-3-642-31424-7_24.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3129   OA
Busaryev, Oleksiy, et al. Annotating Simplices with a Homology Basis and Its Applications. Vol. 7357, Springer, 2012, pp. 189–200, doi:10.1007/978-3-642-31155-0_17.
View | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3131   OA
Weissman, Daniel, and Nicholas H. Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.” PLoS Genetics, vol. 8, no. 6, e1002740, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002740.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3162
Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3117   OA
Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.” Discrete Applied Mathematics, vol. 160, no. 15, Elsevier, 2012, pp. 2246–58, doi:10.1016/j.dam.2012.05.025.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3167
Weber, Michele. “NextGen Speaks 13 .” Science, vol. 336, no. 6077, American Association for the Advancement of Science, 2012, pp. 32–34, doi:10.1126/science.336.6077.32.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3256   OA
Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of ℝn.” Discrete & Computational Geometry, vol. 47, no. 2, Springer, 2012, pp. 393–414, doi:10.1007/s00454-011-9382-4.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3244
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB – Forum Bibliothek und Information, vol. 64, no. 4, Bock & Herchen Verlag, 2012, p. 284.
View | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3282   OA
Dodis, Yevgeniy, et al. Message Authentication, Revisited. Vol. 7237, Springer, 2012, pp. 355–74, doi:10.1007/978-3-642-29011-4_22.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3124
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
View | Files available
 
2012 | Technical Report | IST-REx-ID: 5396   OA
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
View | Files available | DOI
 
2012 | Book Chapter | IST-REx-ID: 5745   OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, et al. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 257–60, doi:10.1126/science.1224143.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2967
Alur, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2955   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280436, IEEE, 2012, doi:10.1109/LICS.2012.28.
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed