Duerinckx, M., &; Fischer, J. L. (2018). Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. Elsevier.https://doi.org/10.1016/j.anihpc.2017.11.004 
LibreCat: https://research-explorer.ista.ac.at/record/606
DOI: 10.1016/j.anihpc.2017.11.004
WoS: 000437975500005
arXiv: 1607.00268

Bakhirkin, A., Ferrere, T., Henzinger, T. A., &; Nickovicl, D. (2018). Keynote: The first-order logic of signals. In 2018 International Conference on Embedded Software (pp. 1–10). Turin, Italy: IEEE.https://doi.org/10.1109/emsoft.2018.8537203 
LibreCat: https://research-explorer.ista.ac.at/record/5959
DOI: 10.1109/emsoft.2018.8537203
WoS: 000492828500005

Alistarh, D.-A., De Sa, C., &; Konstantinov, N. H. (2018). The convergence of stochastic gradient descent in asynchronous shared memory. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18 (pp. 169–178). Egham, United Kingdom: ACM Press.https://doi.org/10.1145/3212734.3212763 
LibreCat: https://research-explorer.ista.ac.at/record/5962
DOI: 10.1145/3212734.3212763
WoS: 000458186900022
arXiv: 1803.08841

Corominas-Murtra, B., Seoane, L. F., &; Solé, R. (2018). Zipf’s Law, unbounded complexity and open-ended evolution. Journal of the Royal Society Interface. Royal Society Publishing.https://doi.org/10.1098/rsif.2018.0395 
LibreCat: https://research-explorer.ista.ac.at/record/5860
DOI: 10.1098/rsif.2018.0395
WoS: 000456783800002
arXiv: 1612.01605

Alistarh, D.-A. (2018). A brief tutorial on distributed and concurrent machine learning. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18 (pp. 487–488). Egham, United Kingdom: ACM Press.https://doi.org/10.1145/3212734.3212798 
LibreCat: https://research-explorer.ista.ac.at/record/5961
DOI: 10.1145/3212734.3212798
WoS: 000458186900063

Rohou, S., Franek, P., Aubry, C., &; Jaulin, L. (2018). Proving the existence of loops in robot trajectories. The International Journal of Robotics Research. SAGE Publications.https://doi.org/10.1177/0278364918808367 
LibreCat: https://research-explorer.ista.ac.at/record/5960
DOI: 10.1177/0278364918808367
WoS: 000456881100004
arXiv: 1712.01341

Alistarh, D.-A., Brown, T. A., Kopinsky, J., &; Nadiradze, G. (2018). Relaxed schedulers can efficiently parallelize iterative algorithms. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18 (pp. 377–386). Egham, United Kingdom: ACM Press.https://doi.org/10.1145/3212734.3212756 
LibreCat: https://research-explorer.ista.ac.at/record/5963
DOI: 10.1145/3212734.3212756
WoS: 000458186900048
arXiv: 1808.04155

Alistarh, D.-A., Brown, T. A., Kopinsky, J., Li, J. Z., &; Nadiradze, G. (2018). Distributionally linearizable data structures. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18 (pp. 133–142). Vienna, Austria: ACM Press.https://doi.org/10.1145/3210377.3210411 
LibreCat: https://research-explorer.ista.ac.at/record/5965
DOI: 10.1145/3210377.3210411
WoS: 000545269600016
arXiv: 1804.01018

Hansen, K. A., Ibsen-Jensen, R., &; Neyman, A. (2018). The Big Match with a clock and a bit of memory. In Proceedings of the 2018 ACM Conference on Economics and Computation  - EC ’18 (pp. 149–150). Ithaca, NY, United States: ACM Press.https://doi.org/10.1145/3219166.3219198 
LibreCat: https://research-explorer.ista.ac.at/record/5967
DOI: 10.1145/3219166.3219198
WoS: 000492755100020

Alistarh, D.-A., Haider, S. K., Kübler, R., &; Nadiradze, G. (2018). The transactional conflict problem. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18 (pp. 383–392). Vienna, Austria: ACM Press.https://doi.org/10.1145/3210377.3210406 
LibreCat: https://research-explorer.ista.ac.at/record/5966
DOI: 10.1145/3210377.3210406
WoS: 000545269600046
arXiv: 1804.00947

Kolmogorov, V. (2018). Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics (SIAM).https://doi.org/10.1137/16m1093306 
LibreCat: https://research-explorer.ista.ac.at/record/5975
DOI: 10.1137/16m1093306
WoS: 000453785100001
arXiv: 1506.08547

Aksenov, V., Alistarh, D.-A., &; Kuznetsov, P. (2018). Brief Announcement: Performance prediction for coarse-grained locking. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing  - PODC ’18 (pp. 411–413). Egham, United Kingdom: ACM Press.https://doi.org/10.1145/3212734.3212785 
LibreCat: https://research-explorer.ista.ac.at/record/5964
DOI: 10.1145/3212734.3212785
WoS: 000458186900052

Erdös, L., &; Mühlbacher, P. (2018). Bounds on the norm of Wigner-type random matrices. Random Matrices: Theory and Applications. World Scientific Publishing.https://doi.org/10.1142/s2010326319500096 
LibreCat: https://research-explorer.ista.ac.at/record/5971
DOI: 10.1142/s2010326319500096
WoS: 000477677200002
arXiv: 1802.05175

Morri, M., Sanchez-Romero, I., Tichy, A.-M., Kainrath, S., Gerrard, E. J., Hirschfeld, P.,https://doi.org/10.1038/s41467-018-04342-1__Janovjak, H. L. (2018). Optical functionalization of human class A orphan G-protein-coupled receptors. Nature Communications. Springer Nature.https://doi.org/10.1038/s41467-018-04342-1 
LibreCat: https://research-explorer.ista.ac.at/record/5984
DOI: 10.1038/s41467-018-04342-1
WoS: 000432280000006

Malomo, L., Perez Rodriguez, J., Iarussi, E., Pietroni, N., Miguel, E., Cignoni, P., &; Bickel, B. (2018). FlexMaps: Computational design of flat flexible shells for shaping 3D objects. ACM Transactions on Graphics. Association for Computing Machinery (ACM).https://doi.org/10.1145/3272127.3275076 
LibreCat: https://research-explorer.ista.ac.at/record/5976
DOI: 10.1145/3272127.3275076
WoS: 000455953100064

Yakaboylu, E., Midya, B., Deuchert, A., Leopold, N. K., &; Lemeshko, M. (2018). Theory of the rotating polaron: Spectrum and self-localization. Physical Review B. American Physical Society.https://doi.org/10.1103/physrevb.98.224506 
LibreCat: https://research-explorer.ista.ac.at/record/5983
DOI: 10.1103/physrevb.98.224506
WoS: 000452992700008
arXiv: 1809.01204

Zhang, Y., Liu, Y., Lim, K. H., Xing, C., Li, M., Zhang, T.,https://doi.org/10.1002/anie.201809847__Cabot, A. (2018). Tin diselenide molecular precursor for solution-processable thermoelectric materials. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201809847 
LibreCat: https://research-explorer.ista.ac.at/record/5982
DOI: 10.1002/anie.201809847
WoS: 000454575500020

Haller, S., Swoboda, P., &; Savchynskyy, B. (2018). Exact MAP-inference by confining combinatorial search with LP relaxation. In Proceedings of the 32st AAAI Conference on Artificial Intelligence (pp. 6581–6588). New Orleans, LU, United States: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/5978
WoS: 000485488906082
arXiv: 2004.06370

Ridderbos, J., Brauns, M., Shen, J., de Vries, F. K., Li, A., Bakkers, E. P. A. M.,https://doi.org/10.1002/adma.201802257__Zwanenburg, F. A. (2018). Josephson effect in a few-hole quantum dot. Advanced Materials. Wiley.https://doi.org/10.1002/adma.201802257 
LibreCat: https://research-explorer.ista.ac.at/record/5990
DOI: 10.1002/adma.201802257
WoS: 000450232800015
arXiv: 1809.08487

Chatterjee, S., Kamath Hosdurg, C., &; Kumar, V. (2018). Private set-intersection with common set-up. American Institute of Mathematical Sciences. AIMS.https://doi.org/10.3934/amc.2018002 
LibreCat: https://research-explorer.ista.ac.at/record/5980
DOI: 10.3934/amc.2018002
WoS: 000430950400002

Velicky, P., Meinhardt, G., Plessl, K., Vondra, S., Weiss, T., Haslinger, P.,https://doi.org/10.1371/journal.pgen.1007698__Pollheimer, J. (2018). Genome amplification and cellular senescence are hallmarks of human placenta development. PLOS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1007698 
LibreCat: https://research-explorer.ista.ac.at/record/5998
DOI: 10.1371/journal.pgen.1007698
WoS: 000449328500025

Usmanova, D. R., Bogatyreva, N. S., Ariño Bernad, J., Eremina, A. A., Gorshkova, A. A., Kanevskiy, G. M.,https://doi.org/10.1093/bioinformatics/bty340__Ivankov, D. (2018). Self-consistency test reveals systematic bias in programs for prediction change of stability upon mutation. Bioinformatics. Oxford University Press .https://doi.org/10.1093/bioinformatics/bty340 
LibreCat: https://research-explorer.ista.ac.at/record/5995
DOI: 10.1093/bioinformatics/bty340
WoS: 000450038900008
PMID: 29722803

Dolati, S., Kage, F., Mueller, J., Müsken, M., Kirchner, M., Dittmar, G.,https://doi.org/10.1091/mbc.e18-02-0082__Falcke, M. (2018). On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility. Molecular Biology of the Cell. American Society for Cell Biology .https://doi.org/10.1091/mbc.e18-02-0082 
LibreCat: https://research-explorer.ista.ac.at/record/5992
DOI: 10.1091/mbc.e18-02-0082
WoS: 000455641000011
PMID: 30156465

Garrido-Charad, F., Vega Zuniga, T. A., Gutiérrez-Ibáñez, C., Fernandez, P., López-Jury, L., González-Cabrera, C.,https://doi.org/10.1073/pnas.1804517115__Marín, G. J. (2018). “Shepherd’s crook”https://doi.org/10.1073/pnas.1804517115__neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1804517115 
LibreCat: https://research-explorer.ista.ac.at/record/6010
DOI: 10.1073/pnas.1804517115
WoS: 000440982000020
PMID: 30026198

Bickel, B., Cignoni, P., Malomo, L., &; Pietroni, N. (2018). State of the art on stylized fabrication. Computer Graphics Forum. Wiley.https://doi.org/10.1111/cgf.13327 
LibreCat: https://research-explorer.ista.ac.at/record/6003
DOI: 10.1111/cgf.13327
WoS: 000437272800019

Napiórkowski, M. M., Reuvers, R., &; Solovej, J. P. (2018). The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. Springer Nature.https://doi.org/10.1007/s00205-018-1232-6 
LibreCat: https://research-explorer.ista.ac.at/record/6002
DOI: 10.1007/s00205-018-1232-6
WoS: 000435367300003
arXiv: 1511.05935

Vasudevan, M., &; Hof, B. (2018). The critical point of the transition to turbulence in pipe flow. Journal of Fluid Mechanics. Cambridge University Press.https://doi.org/10.1017/jfm.2017.923 
LibreCat: https://research-explorer.ista.ac.at/record/5996
DOI: 10.1017/jfm.2017.923
WoS: 000437858300003
arXiv: 1709.06372

Chatterjee, K., Fu, H., Novotný, P., &; Hasheminezhad, R. (2018). Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM).https://doi.org/10.1145/3174800 
LibreCat: https://research-explorer.ista.ac.at/record/5993
DOI: 10.1145/3174800
WoS: 000434634500003
arXiv: 1510.08517

Yang, Y., &; Zhao, G. (2018). The cohomological Hall algebra of a preprojective algebra. Proceedings of the London Mathematical Society. Oxford University Press.https://doi.org/10.1112/plms.12111 
LibreCat: https://research-explorer.ista.ac.at/record/5999
DOI: 10.1112/plms.12111
WoS: 000431506400001
arXiv: 1407.7994

Kincaid-Smith, J., Picard, M. A. L., Cosseau, C., Boissier, J., Severac, D., Grunau, C., &; Toulza, E. (2018). Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites. Genome Biology and Evolution. Oxford University Press.https://doi.org/10.1093/gbe/evy037 
LibreCat: https://research-explorer.ista.ac.at/record/5989
DOI: 10.1093/gbe/evy037
WoS: 000429483700013

Stojanov, A., Smith, T. M., Alistarh, D.-A., &; Puschel, M. (2018). Fast quantized arithmetic on : Trading compute for data movement. In 2018 IEEE International Workshop on Signal Processing Systems (Vol. 2018–October). Cape Town, South Africa: IEEE.https://doi.org/10.1109/SiPS.2018.8598402 
LibreCat: https://research-explorer.ista.ac.at/record/6031
DOI: 10.1109/SiPS.2018.8598402
WoS: 000465106800060

Horák, K., Bosanský, B., &; Chatterjee, K. (2018). Goal-HSVI: Heuristic search value iteration for goal-POMDPs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (Vol. 2018–July, pp. 4764–4770). Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/662 
LibreCat: https://research-explorer.ista.ac.at/record/25
DOI: 10.24963/ijcai.2018/662
WoS: 000764175404127

Chatterjee, K., Elgyütt, A., Novotný, P., &; Rouillé, O. (2018). Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives (Vol. 2018, pp. 4692–4699). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden: IJCAI.https://doi.org/10.24963/ijcai.2018/652 
LibreCat: https://research-explorer.ista.ac.at/record/24
DOI: 10.24963/ijcai.2018/652
WoS: 000764175404117
arXiv: 1804.10601

Chatterjee, K., Chemlík, M., &; Topcu, U. (2018). Sensor synthesis for POMDPs with reachability objectives (Vol. 2018, pp. 47–55). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Delft, Netherlands: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

Kolmogorov, V., &; Rolinek, M. (2018). Superconcentrators of density 25.3. Ars Combinatoria. Charles Babbage Research Centre.
LibreCat: https://research-explorer.ista.ac.at/record/18
WoS: 000446809500022
arXiv: 1405.7828

Akopyan, A., &; Avvakumov, S. (2018). Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. Cambridge University Press.https://doi.org/10.1017/fms.2018.7 
LibreCat: https://research-explorer.ista.ac.at/record/6355
DOI: 10.1017/fms.2018.7
WoS: 000433915500001
arXiv: 1712.10205

Pozzi, M., Miguel Villalba, E., Deimel, R., Malvezzi, M., Bickel, B., Brock, O., &; Prattichizzo, D. (2018). Efficient FEM-based simulation of soft robots modeled as kinematic chains. Presented at the ICRA: International Conference on Robotics and Automation, Brisbane, Australia: IEEE.https://doi.org/10.1109/icra.2018.8461106 
LibreCat: https://research-explorer.ista.ac.at/record/6195
DOI: 10.1109/icra.2018.8461106
WoS: 000446394503031

Park, S., Kwon, A., Fuchsbauer, G., Gazi, P., Alwen, J. F., &; Pietrzak, K. Z. (2018). SpaceMint: A cryptocurrency based on proofs of space. In 22nd International Conference on Financial Cryptography and Data Security (Vol. 10957, pp. 480–499). Nieuwpoort, Curacao: Springer Nature.https://doi.org/10.1007/978-3-662-58387-6_26 
LibreCat: https://research-explorer.ista.ac.at/record/6941
DOI: 10.1007/978-3-662-58387-6_26
WoS: 000540656400026

Moalli, F., Ficht, X., Germann, P., Vladymyrov, M., Stolp, B., de Vries, I.,https://doi.org/10.1084/jem.20170896__Stein, J. V. (2018). The Rho regulator Myosin IXb enables nonlymphoid tissue seeding of protective C+T cells. The Journal of Experimental Medicine. Rockefeller University Press.https://doi.org/10.1084/jem.20170896 
LibreCat: https://research-explorer.ista.ac.at/record/6497
DOI: 10.1084/jem.20170896
WoS: 000440822900011

Truckenbrodt, S. M., Maidorn, M., Crzan, D., Wildhagen, H., Kabatas, S., &; Rizzoli, S. O. (2018).https://doi.org/10.15252/embr.201845836__expansion microscopy enables 25nm resolution on conventional microscopes. EMBO Reports. EMBO.https://doi.org/10.15252/embr.201845836 
LibreCat: https://research-explorer.ista.ac.at/record/6499
DOI: 10.15252/embr.201845836
WoS: 000443682200009

Alistarh, D.-A., Aspnes, J., &; Gelashvili, R. (2018). Space-optimal majority in population protocols. In Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 2221–2239). New Orleans, LA, United States: ACM.https://doi.org/10.1137/1.9781611975031.144 
LibreCat: https://research-explorer.ista.ac.at/record/7123
DOI: 10.1137/1.9781611975031.144
WoS: 000483921200145
arXiv: 1704.04947

Westram, A. M., Rafajlovi, M., Chaube, P., Faria, R., Larsson, T., Panova, M.,https://doi.org/10.1002/evl3.74__Butlin, R. (2018). Clines on the seashore: The genomic architecture underlying rapid divergence in the face of gene flow. Evolution Letters. Wiley.https://doi.org/10.1002/evl3.74 
LibreCat: https://research-explorer.ista.ac.at/record/9917
DOI: 10.1002/evl3.74
WoS: 000446774400004
PMID: 30283683

Hollander, J., Montaño-Rendón, M., Bianco, G., Yang, X., Westram, A. M., Duvaux, L.,https://doi.org/10.1002/evl3.85__Butlin, R. K. (2018). Are assortative mating and genital divergence driven by reinforcement? Evolution Letters. Wiley.https://doi.org/10.1002/evl3.85 
LibreCat: https://research-explorer.ista.ac.at/record/9915
DOI: 10.1002/evl3.85
WoS: 000452990000002
PMID: 30564439

Gregor, C., Sidenstein, S. C., Andresen, M., Sahl, S. J., Danzl, J. G., &; Hell, S. W. (2018). Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. Scientific Reports. Springer Nature.https://doi.org/10.1038/s41598-018-19947-1 
LibreCat: https://research-explorer.ista.ac.at/record/8618
DOI: 10.1038/s41598-018-19947-1
WoS: 000424630400037
PMID: 29426833

Moturu, T. R., Thula, S., Singh, R. K., Nodzyski, T., Vaeková, R. S., Friml, J., &; Simon, S. (2018). Molecular evolution and diversification of the SMXL gene family. Journal of Experimental Botany. Oxford University Press.https://doi.org/10.1093/jxb/ery097 
LibreCat: https://research-explorer.ista.ac.at/record/10881
DOI: 10.1093/jxb/ery097
WoS: 000430727000016
PMID: 29538714

Yuuta, M., &; Koshiba-Takeuchi, K. (2018). Significance of whole-genome duplications on the emergence of evolutionary novelties. Briefings in Functional Genomics. Oxford University Press.https://doi.org/10.1093/bfgp/ely007 
LibreCat: https://research-explorer.ista.ac.at/record/10880
DOI: 10.1093/bfgp/ely007
WoS: 000456054400004
PMID: 29579140

Westram, A. M., Rafajlovi, M., Chaube, P., Faria, R., Larsson, T., Panova, M.,https://doi.org/10.5061/dryad.bp25b65__Butlin, R. (2018). Data from: Clines on the seashore: the genomic architecture underlying rapid divergence in the face of gene flow. Dryad.https://doi.org/10.5061/dryad.bp25b65 
LibreCat: https://research-explorer.ista.ac.at/record/9930
DOI: 10.5061/dryad.bp25b65

Hollander, J., Montaño-Rendón, M., Bianco, G., Yang, X., Westram, A. M., Duvaux, L.,https://doi.org/10.5061/dryad.51sd2p5__Butlin, R. K. (2018). Data from: Are assortative mating and genital divergence driven by reinforcement? Dryad.https://doi.org/10.5061/dryad.51sd2p5 
LibreCat: https://research-explorer.ista.ac.at/record/9929
DOI: 10.5061/dryad.51sd2p5

Uijlings, J., Konyushkova, K., Lampert, C., &; Ferrari, V. (2018). Learning intelligent dialogs for bounding box annotation. In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 9175–9184). Salt Lake City, UT, United States: IEEE.https://doi.org/10.1109/cvpr.2018.00956 
LibreCat: https://research-explorer.ista.ac.at/record/10882
DOI: 10.1109/cvpr.2018.00956
WoS: 000457843609036
arXiv: 1712.08087

Alistarh, D.-A., Allen-Zhu, Z., &; Li, J. (2018). Byzantine stochastic gradient descent. In Advances in Neural Information Processing Systems (Vol. 2018, pp. 4613–4623). Montreal, Canada: Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/6558
WoS: 000461823304061
arXiv: 1803.08917