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.
6436 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 5859 |
Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 5860 |
Zipf's Law, unbounded complexity and open-ended evolution
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Corominas-Murtra, L.F. Seoane, R. Solé, Journal of the Royal Society Interface 15 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 5861 |
The cell sets the tone
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
J.H. Alanko, M.K. Sixt, ELife 7 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 5888 |
Genomics in neurodevelopmental disorders: an avenue to personalized medicine
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D.-C. Tarlungeanu, G. Novarino, Experimental & Molecular Medicine 50 (2018).
2018 |
Published |
Book Chapter |
IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5959 |
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
[Published Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
2018 |
Published |
Journal Article |
IST-REx-ID: 5960 |
Proving the existence of loops in robot trajectories
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Rohou, P. Franek, C. Aubry, L. Jaulin, The International Journal of Robotics Research 37 (2018) 1500–1516.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5961
A brief tutorial on distributed and concurrent machine learning
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 487–488.
View
| DOI
| WoS
D.-A. Alistarh, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 487–488.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5962 |
The convergence of stochastic gradient descent in asynchronous shared memory
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 169–178.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, C. De Sa, N.H. Konstantinov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 169–178.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5963 |
Relaxed schedulers can efficiently parallelize iterative algorithms
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 377–386.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, T.A. Brown, J. Kopinsky, G. Nadiradze, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 377–386.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5964 |
Brief Announcement: Performance prediction for coarse-grained locking
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 411–413.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
V. Aksenov, D.-A. Alistarh, P. Kuznetsov, in:, Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing - PODC ’18, ACM, 2018, pp. 411–413.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5965 |
Distributionally linearizable data structures
D.-A. Alistarh, T.A. Brown, J. Kopinsky, J.Z. Li, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM, 2018, pp. 133–142.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, T.A. Brown, J. Kopinsky, J.Z. Li, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM, 2018, pp. 133–142.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5966 |
The transactional conflict problem
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM, 2018, pp. 383–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, S.K. Haider, R. Kübler, G. Nadiradze, in:, Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM, 2018, pp. 383–392.
2018 |
Published |
Conference Paper |
IST-REx-ID: 5967 |
The Big Match with a clock and a bit of memory
K.A. Hansen, R. Ibsen-Jensen, A. Neyman, in:, Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18, ACM, 2018, pp. 149–150.
[Submitted Version]
View
| Files available
| DOI
| WoS
K.A. Hansen, R. Ibsen-Jensen, A. Neyman, in:, Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18, ACM, 2018, pp. 149–150.
2018 |
Published |
Journal Article |
IST-REx-ID: 5971 |
Bounds on the norm of Wigner-type random matrices
L. Erdös, P. Mühlbacher, Random Matrices: Theory and Applications (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, P. Mühlbacher, Random Matrices: Theory and Applications (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 5975 |
Commutativity in the algorithmic Lovász local lemma
V. Kolmogorov, SIAM Journal on Computing 47 (2018) 2029–2056.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Kolmogorov, SIAM Journal on Computing 47 (2018) 2029–2056.
2018 |
Published |
Journal Article |
IST-REx-ID: 5976 |
FlexMaps: Computational design of flat flexible shells for shaping 3D objects
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
2018 |
Published |
Conference Paper |
IST-REx-ID: 5978 |
Exact MAP-inference by confining combinatorial search with LP relaxation
S. Haller, P. Swoboda, B. Savchynskyy, in:, Proceedings of the 32st AAAI Conference on Artificial Intelligence, AAAI Press, 2018, pp. 6581–6588.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
S. Haller, P. Swoboda, B. Savchynskyy, in:, Proceedings of the 32st AAAI Conference on Artificial Intelligence, AAAI Press, 2018, pp. 6581–6588.
2018 |
Published |
Journal Article |
IST-REx-ID: 5980
Private set-intersection with common set-up
S. Chatterjee, C. Kamath Hosdurg, V. Kumar, American Institute of Mathematical Sciences 12 (2018) 17–47.
View
| DOI
| WoS
S. Chatterjee, C. Kamath Hosdurg, V. Kumar, American Institute of Mathematical Sciences 12 (2018) 17–47.
2018 |
Published |
Journal Article |
IST-REx-ID: 5982 |
Tin diselenide molecular precursor for solution-processable thermoelectric materials
Y. Zhang, Y. Liu, K.H. Lim, C. Xing, M. Li, T. Zhang, P. Tang, J. Arbiol, J. Llorca, K.M. Ng, M. Ibáñez, P. Guardia, M. Prato, D. Cadavid, A. Cabot, Angewandte Chemie International Edition 57 (2018) 17063–17068.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
Y. Zhang, Y. Liu, K.H. Lim, C. Xing, M. Li, T. Zhang, P. Tang, J. Arbiol, J. Llorca, K.M. Ng, M. Ibáñez, P. Guardia, M. Prato, D. Cadavid, A. Cabot, Angewandte Chemie International Edition 57 (2018) 17063–17068.