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.




2616 Publications

2012 | Conference Paper | IST-REx-ID: 2890
Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and Nishant Totla. “Synthesis from Incompatible Specifications.” In Proceedings of the Tenth ACM International Conference on Embedded Software, 53–62. ACM, 2012. https://doi.org/10.1145/2380356.2380371.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science 458 (2012): 49–60. https://doi.org/10.1016/j.tcs.2012.07.038.
View | Files available | DOI | arXiv
 
2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 1386–99. SIAM, 2012. https://doi.org/10.1137/1.9781611973099.109.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3254
Chatterjee, Krishnendu. “The Complexity of Stochastic Müller Games.” Information and Computation 211 (2012): 29–48. https://doi.org/10.1016/j.ic.2011.11.004.
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2048   OA
Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012. https://doi.org/10.1007/978-3-642-33027-8_13.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2411   OA
Ebersberger, Ingo, Ricardo De Matos Simoes, Anne Kupczok, Matthias Gube, Erika Kothe, Kerstin Voigt, and Arndt Von Haeseler. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution 29, no. 5 (2012): 1319–34. https://doi.org/10.1093/molbev/msr285.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2904   OA
Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.” Journal de Theorie Des Nombres Des Bordeaux 24, no. 3 (2012): 729–49. https://doi.org/10.5802/jtnb.819.
View | DOI | Download (ext.)
 
2012 | Preprint | IST-REx-ID: 2928   OA
Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv. ArXiv, 2012.
View | Download (ext.) | arXiv
 
2012 | Conference Paper | IST-REx-ID: 2930   OA
Huber, Anna, and Vladimir Kolmogorov. “Towards Minimizing K-Submodular Functions,” 7422:451–62. Springer, 2012. https://doi.org/10.1007/978-3-642-32147-4_40.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2959   OA
Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” Annals of Statistics 40, no. 1 (2012): 238–61. https://doi.org/10.1214/11-AOS957.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2954   OA
Pernia-Andrade, Alejandro, Sarit Goswami, Yvonne Stickler, Ulrich Fröbe, Alois Schlögl, and Peter 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 103, no. 7 (2012): 1429–39. https://doi.org/10.1016/j.bpj.2012.08.039.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 2966   OA
Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” BMC Ecology 12 (2012). https://doi.org/10.1186/1472-6785-12-7.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3159   OA
Mileyko, Yuriy, Herbert Edelsbrunner, Charles Price, and Joshua Weitz. “Hierarchical Ordering of Reticular Networks.” PLoS One 7, no. 6 (2012). https://doi.org/10.1371/journal.pone.0036715.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3161   OA
Vyleta, Meghan, John Wong, and Bruce Magun. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLRP3 Inflammasome.” PLoS One 7, no. 5 (2012). https://doi.org/10.1371/journal.pone.0036044.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3123   OA
Yu, Jihun, Christopher J Wojtan, Greg Turk, and Chee Yap. “Explicit Mesh Surfaces for Particle Based Fluids.” In Computer Graphics Forum, 31:815–24. Blackwell Publishing, 2012. https://doi.org/10.1111/j.1467-8659.2012.03062.x.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3130   OA
Bergmiller, Tobias, Martin Ackermann, and Olin Silander. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.” PLoS Genetics 8, no. 6 (2012). https://doi.org/10.1371/journal.pgen.1002803.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3166   OA
Vladar, Harold. “Amino Acid Fermentation at the Origin of the Genetic Code.” Biology Direct 7 (2012). https://doi.org/10.1186/1745-6150-7-6.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3262   OA
Tkacik, Gasper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E Statistical Nonlinear and Soft Matter Physics 85, no. 4 (2012). https://doi.org/10.1103/PhysRevE.85.041903.
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 3274
Rieckh, Georg, Wolfgang Kreuzer, Holger Waubke, and Peter Balazs. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.” Engineering Analysis with Boundary Elements 36, no. 6 (2012): 960–67. https://doi.org/10.1016/j.enganabound.2011.12.014.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3279
Jain, Abhishek, Krzysztof Z Pietrzak, and Aris Tentes. “Hardness Preserving Constructions of Pseudorandom Functions,” 7194:369–82. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_21.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed