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.
4938 Publications
2016 | Conference Paper | IST-REx-ID: 1068 | 
Chatterjee, Krishnendu, et al. Conditionally Optimal Algorithms for Generalized Büchi Games. Vol. 58, 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.25.
[Published Version]
View
| Files available
| DOI
2016 | 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 fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1081 |
Łangowski, Łukasz, et al. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery, vol. 2, 16018, Nature Publishing Group, 2016, doi:10.1038/celldisc.2016.18.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems, 2016, pp. 1965–73.
[Preprint]
View
| Files available
| Download Preprint (ext.)