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.




4929 Publications

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6885 | OA
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6889 | OA
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6931 | OA
Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6985 | OA
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7007 | OA
A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
[Published Version] View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7035 | OA
Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version] View | Download Submitted Version (ext.)
 
2019 | Book (Editor) | IST-REx-ID: 7171
Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7401 | OA
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Book Chapter | IST-REx-ID: 7453 | OA
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 7550 | OA
Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7552 | OA
Action at a distance in transcriptional regulation
W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7576 | OA
ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 8175 | OA
New edge asymptotics of skew Young diagrams via free boundaries
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 8570 | OA
ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 9460 | OA
DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm
M.Y. Kim, A. Ono, S. Scholten, T. Kinoshita, D. Zilberman, T. Okamoto, R.L. Fischer, Proceedings of the National Academy of Sciences 116 (2019) 9652–9657.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 9530 | OA
DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development
K.D. Harris, J.P.B. Lloyd, K. Domb, D. Zilberman, A. Zemach, Epigenetics and Chromatin 12 (2019).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 12192 | OA
Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation
S. He, M. Vickers, J. Zhang, X. Feng, ELife 8 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 12190
Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis
E.J. Lawrence, H. Gao, A.J. Tock, C. Lambing, A.R. Blackwell, X. Feng, I.R. Henderson, Current Biology 29 (2019) 2676–2686.e3.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications