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.
5871 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1193 | 
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” Proceedings - Annual IEEE Symposium on Foundations of Computer Science, vol. 2016–December, 7782993, IEEE, 2016, doi:10.1109/FOCS.2016.88.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1324 |
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, vol. 2016, AAAI Press, 2016, pp. 88–96, doi:10.1609/icaps.v26i1.13737.
View
| DOI
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 948 |
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 4285–93.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1069 |
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1098 |
Pentina, Anastasia, and Ruth Urner. Lifelong Learning with Weighted Majority Votes. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3619–27.
[Published Version]
View
| Files available
2016 | Published | Journal Article | IST-REx-ID: 1274 |
Mazur, Ewa, et al. “Vascular Cambium Regeneration and Vessel Formation in Wounded Inflorescence Stems of Arabidopsis.” Scientific Reports, vol. 6, 33754, Nature Publishing Group, 2016, doi:10.1038/srep33754.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Published | Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 1965–73.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1381 |
Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1151 |
Simonini, Sara, et al. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development, vol. 30, no. 20, Cold Spring Harbor Laboratory Press, 2016, pp. 2286–96, doi:10.1101/gad.285361.116.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 1343 |
Kaczmarczyk, Jan, et al. “Dissipative Preparation of Antiferromagnetic Order in the Fermi-Hubbard Model.” New Journal of Physics, vol. 18, no. 9, 093042, IOP Publishing, 2016, doi:10.1088/1367-2630/18/9/093042.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1378 |
Dotterrer, Dominic, et al. On Expansion and Topological Overlap. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 35.1-35.10, doi:10.4230/LIPIcs.SoCG.2016.35.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1379 |
Burton, Benjamin, et al. Finding Non-Orientable Surfaces in 3-Manifolds. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 24.1-24.15, doi:10.4230/LIPIcs.SoCG.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1105 |
Savin, Cristina, and Gašper Tkačik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3610–18.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1335 |
Chatterjee, Krishnendu, et al. Quantitative Monitor Automata. Vol. 9837, Springer, 2016, pp. 23–38, doi:10.1007/978-3-662-53413-7_2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1340 |
Hansen, Kristoffer, et al. The Big Match in Small Space. Vol. 9928, Springer, 2016, pp. 64–76, doi:10.1007/978-3-662-53354-3_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1348 |
Fulek, Radoslav. Bounded Embeddings of Graphs in the Plane. Vol. 9843, Springer, 2016, pp. 31–42, doi:10.1007/978-3-319-44543-4_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1352 |
Kaczmarczyk, Jan, et al. “Coexistence of Nematic Order and Superconductivity in the Hubbard Model.” Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 8, 085152, American Physical Society, 2016, doi:10.1103/PhysRevB.94.085152.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1354 |
Dieterle, Paul, et al. “Superconducting Cavity Electromechanics on a Silicon-on-Insulator Platform.” Physical Review Applied, vol. 6, no. 1, 014013, American Physical Society, 2016, doi:10.1103/PhysRevApplied.6.014013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv