Chatterjee, Krishnendu, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad. “Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.”https://doi.org/10.1145/3174800__ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018.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, Yaping, and Gufang Zhao. “The Cohomological Hall Algebra of a Preprojective Algebra.”https://doi.org/10.1112/plms.12111__Proceedings of the London Mathematical Society. Oxford University Press, 2018.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, Julien, Marion A L Picard, Céline Cosseau, Jérôme Boissier, Dany Severac, Christoph Grunau, and Eve Toulza. “Parent-of-Origin-Dependent Gene Expression in Male and Female Schistosome Parasites.”https://doi.org/10.1093/gbe/evy037__Genome Biology and Evolution. Oxford University Press, 2018.https://doi.org/10.1093/gbe/evy037 .
LibreCat: https://research-explorer.ista.ac.at/record/5989
DOI: 10.1093/gbe/evy037
WoS: 000429483700013

Horák, Karel, Branislav Bosanský, and Krishnendu Chatterjee. “Goal-HSVI: Heuristic Search Value Iteration for Goal-POMDPs.”https://doi.org/10.24963/ijcai.2018/662__In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018–July:4764–70. IJCAI, 2018.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, Krishnendu, Adrian Elgyütt, Petr Novotný, and Owen Rouillé. “Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives,”https://doi.org/10.24963/ijcai.2018/652__2018:4692–99. IJCAI, 2018.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, Krishnendu, Martin Chemlík, and Ufuk Topcu. “Sensor Synthesis for POMDPs with Reachability Objectives,” 2018:47–55. AAAI Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/34
WoS: 000492986200006
arXiv: 1710.00675

Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.” Ars Combinatoria. Charles Babbage Research Centre, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/18
WoS: 000446809500022
arXiv: 1405.7828

Akopyan, Arseniy, and Sergey Avvakumov. “Any Cyclic Quadrilateral Can Be Inscribed in Any Closed Convex Smooth Curve.”https://doi.org/10.1017/fms.2018.7__Forum of Mathematics, Sigma. Cambridge University Press, 2018.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

Park, Sunoo, Albert Kwon, Georg Fuchsbauer, Peter Gazi, Joel F Alwen, and Krzysztof Z Pietrzak. “SpaceMint: A Cryptocurrency Based on Proofs of Space.”https://doi.org/10.1007/978-3-662-58387-6_26__In 22nd International Conference on Financial Cryptography and Data Security, 10957:480–99. Springer Nature, 2018.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, Federica, Xenia Ficht, Philipp Germann, Mykhailo Vladymyrov, Bettina Stolp, Ingrid de Vries, Ruth Lyck, et al. “The Rho Regulator Myosin IXb Enables Nonlymphoid Tissue Seeding of Protective C+T Cells.”https://doi.org/10.1084/jem.20170896__The Journal of Experimental Medicine. Rockefeller University Press, 2018.https://doi.org/10.1084/jem.20170896 .
LibreCat: https://research-explorer.ista.ac.at/record/6497
DOI: 10.1084/jem.20170896
WoS: 000440822900011

Truckenbrodt, Sven M, Manuel Maidorn, Dagmar Crzan, Hanna Wildhagen, Selda Kabatas, and Silvio O Rizzoli. “Expansion Microscopy Enables 25nm Resolution on Conventional Microscopes.”https://doi.org/10.15252/embr.201845836__EMBO Reports. EMBO, 2018.https://doi.org/10.15252/embr.201845836 .
LibreCat: https://research-explorer.ista.ac.at/record/6499
DOI: 10.15252/embr.201845836
WoS: 000443682200009

Alistarh, Dan-Adrian, James Aspnes, and Rati Gelashvili. “Space-Optimal Majority in Population Protocols.”https://doi.org/10.1137/1.9781611975031.144__In Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, 2221–39. ACM, 2018.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, Anja M, Marina Rafajlovi, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.”https://doi.org/10.1002/evl3.74__Evolution Letters. Wiley, 2018.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, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Are Assortative Mating and Genital Divergence Driven by Reinforcement?”https://doi.org/10.1002/evl3.85__Evolution Letters. Wiley, 2018.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, Carola, Sven C. Sidenstein, Martin Andresen, Steffen J. Sahl, Johann G Danzl, and Stefan W. Hell. “Novel Reversibly Switchable Fluorescent Proteins for RESOLFT and STED Nanoscopy Engineered from the Bacterial Photoreceptor YtvA.”https://doi.org/10.1038/s41598-018-19947-1__Scientific Reports. Springer Nature, 2018.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

Yuuta, Moriyama, and Kazuko Koshiba-Takeuchi. “Significance of Whole-Genome Duplications on the Emergence of Evolutionary Novelties.”https://doi.org/10.1093/bfgp/ely007__Briefings in Functional Genomics. Oxford University Press, 2018.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, Anja M, Marina Rafajlovi, Pragya Chaube, Rui Faria, Tomas Larsson, Marina Panova, Mark Ravinet, et al. “Data from: Clines on the Seashore: The Genomic Architecture Underlying Rapid Divergence in the Face of Gene Flow.”https://doi.org/10.5061/dryad.bp25b65__Dryad, 2018.https://doi.org/10.5061/dryad.bp25b65 .
LibreCat: https://research-explorer.ista.ac.at/record/9930
DOI: 10.5061/dryad.bp25b65

Hollander, Johan, Mauricio Montaño-Rendón, Giuseppe Bianco, Xi Yang, Anja M Westram, Ludovic Duvaux, David G. Reid, and Roger K. Butlin. “Data from: Are Assortative Mating and Genital Divergence Driven by Reinforcement?”https://doi.org/10.5061/dryad.51sd2p5__Dryad, 2018.https://doi.org/10.5061/dryad.51sd2p5 .
LibreCat: https://research-explorer.ista.ac.at/record/9929
DOI: 10.5061/dryad.51sd2p5

Uijlings, Jasper, Ksenia Konyushkova, Christoph Lampert, and Vittorio Ferrari. “Learning Intelligent Dialogs for Bounding Box Annotation.”https://doi.org/10.1109/cvpr.2018.00956__In 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 9175–84. IEEE, 2018.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, Dan-Adrian, Zeyuan Allen-Zhu, and Jerry Li. “Byzantine Stochastic Gradient Descent.” In Advances in Neural Information Processing Systems, 2018:4613–23. Neural Information Processing Systems Foundation, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6558
WoS: 000461823304061
arXiv: 1803.08917

Kazda, Alexandr, Vladimir Kolmogorov, and Michal Rolinek. “Even Delta-Matroids and the Complexity of Planar Boolean CSPs.”https://doi.org/10.1145/3230649__ACM Transactions on Algorithms. ACM, 2018.https://doi.org/10.1145/3230649 .
LibreCat: https://research-explorer.ista.ac.at/record/6032
DOI: 10.1145/3230649
WoS: 000468036500007
arXiv: 1602.03124

Ringbauer, Harald. “Inferring Recent Demography from Spatial Genetic Structure.”https://doi.org/10.15479/AT:ISTA:th_963__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_963 .
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

Akopyan, Arseniy, Alexey Balitskiy, and Mikhail Grigorev. “On the Circle Covering Theorem by A.W. Goodman and R.E. Goodman.”https://doi.org/10.1007/s00454-017-9883-x__Discrete &; Computational Geometry. Springer, 2018.https://doi.org/10.1007/s00454-017-9883-x .
LibreCat: https://research-explorer.ista.ac.at/record/1064
DOI: 10.1007/s00454-017-9883-x
WoS: 000432205500011

Gschaider-Reichhart, Eva. “Optical and Optogenetic Control of Proliferation and Survival .”https://doi.org/10.15479/AT:ISTA:th_913__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_913 .
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913

Erdös, László, and Dominik J Schröder. “Fluctuations of Rectangular Young Diagrams of Interlacing Wigner Eigenvalues.”https://doi.org/10.1093/imrn/rnw330__International Mathematics Research Notices. Oxford University Press, 2018.https://doi.org/10.1093/imrn/rnw330 .
LibreCat: https://research-explorer.ista.ac.at/record/1012
DOI: 10.1093/imrn/rnw330
WoS: 000441668300009
arXiv: 1608.05163

Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games.”https://doi.org/10.3390/g9030039__Games. MDPI AG, 2018.https://doi.org/10.3390/g9030039 .
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039

Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” In 28th International Conference on Automated Planning and Scheduling . AAAI Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/35
WoS: 000492986200007
arXiv: 1804.07031

Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “Automated Competitive Analysis of Real Time Scheduling with Graph Games.”https://doi.org/10.1007/s11241-017-9293-4__Real-Time Systems. Springer, 2018.https://doi.org/10.1007/s11241-017-9293-4 .
LibreCat: https://research-explorer.ista.ac.at/record/738
DOI: 10.1007/s11241-017-9293-4
WoS: 000419955500006

Moser, Thomas. “Point Interactions in Systems of Fermions.”https://doi.org/10.15479/AT:ISTA:th_1043__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1043 .
LibreCat: https://research-explorer.ista.ac.at/record/52
DOI: 10.15479/AT:ISTA:th_1043

Tejos, Ricardo, Cecilia Rodríguez Furlán, Maciek Adamowski, Michael Sauer, Lorena Norambuena, and Jií Friml. “PATELLINS Are Regulators of Auxin Mediated PIN1 Relocation and Plant Development in Arabidopsis Thaliana.”https://doi.org/10.1242/jcs.204198__Journal of Cell Science. Company of Biologists, 2018.https://doi.org/10.1242/jcs.204198 .
LibreCat: https://research-explorer.ista.ac.at/record/913
DOI: 10.1242/jcs.204198
WoS: 000424842400019

Vukusi, Lada. “Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires.”https://doi.org/10.15479/AT:ISTA:TH_1047__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH_1047 .
LibreCat: https://research-explorer.ista.ac.at/record/69
DOI: 10.15479/AT:ISTA:TH_1047

Chen, Chong. “Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release.”https://doi.org/10.15479/AT:ISTA:th_997__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_997 .
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

Dotterrer, Dominic, Tali Kaufman, and Uli Wagner. “On Expansion and Topological Overlap.”https://doi.org/10.1007/s10711-017-0291-4__Geometriae Dedicata. Springer, 2018.https://doi.org/10.1007/s10711-017-0291-4 .
LibreCat: https://research-explorer.ista.ac.at/record/742
DOI: 10.1007/s10711-017-0291-4
WoS: 000437122700017

Nejjar, Peter. “Transition to Shocks in TASEP and Decoupling of Last Passage Times.”https://doi.org/10.30757/ALEA.v15-49__Latin American Journal of Probability and Mathematical Statistics. Instituto Nacional de Matematica Pura e Aplicada, 2018.https://doi.org/10.30757/ALEA.v15-49 .
LibreCat: https://research-explorer.ista.ac.at/record/70
DOI: 10.30757/ALEA.v15-49
WoS: 000460475800022
arXiv: 1705.08836

Turner, C J, Alexios Michailidis, D A Abanin, Maksym Serbyn, and Z Papi. “Quantum Scarred Eigenstates in a Rydberg Atom Chain: Entanglement, Breakdown of Thermalization, and Stability to Perturbations.”https://doi.org/10.1103/PhysRevB.98.155134__Physical Review B. American Physical Society, 2018.https://doi.org/10.1103/PhysRevB.98.155134 .
LibreCat: https://research-explorer.ista.ac.at/record/44
DOI: 10.1103/PhysRevB.98.155134
WoS: 000447919100001
arXiv: 1806.10933

Choueiri, George H, Jose M Lopez Alonso, and Björn Hof. “Exceeding the Asymptotic Limit of Polymer Drag Reduction.”https://doi.org/10.1103/PhysRevLett.120.124501__Physical Review Letters. American Physical Society, 2018.https://doi.org/10.1103/PhysRevLett.120.124501 .
LibreCat: https://research-explorer.ista.ac.at/record/328
DOI: 10.1103/PhysRevLett.120.124501
WoS: 000427804000005

Suri, Balachandra, Jeffrey Tithof, Roman Grigoriev, and Michael Schatz. “Unstable Equilibria and Invariant Manifolds in Quasi-Two-Dimensional Kolmogorov-like Flow.”https://doi.org/10.1103/PhysRevE.98.023105__Physical Review E. American Physical Society, 2018.https://doi.org/10.1103/PhysRevE.98.023105 .
LibreCat: https://research-explorer.ista.ac.at/record/136
DOI: 10.1103/PhysRevE.98.023105
WoS: 000441466800010
arXiv: 1808.02088

Marin Valencia, Isaac, Gaia Novarino, Anide Johansen, Bafak Rosti, Mahmoud Issa, Damir Musaev, Gifty Bhat, et al. “A Homozygous Founder Mutation in TRAPPB Associates with a Neurodevelopmental Disorder Characterised by Microcephaly Epilepsy and Autistic Features.”https://doi.org/10.1136/jmedgenet-2017-104627__Journal of Medical Genetics. BMJ Publishing Group, 2018.https://doi.org/10.1136/jmedgenet-2017-104627 .
LibreCat: https://research-explorer.ista.ac.at/record/691
DOI: 10.1136/jmedgenet-2017-104627
WoS: 000418199800007
PMID: 28626029

Virosztek, Daniel. “Maps on Probability Measures Preserving Certain Distances - a Survey and Some New Results.”https://doi.org/10.14232/actasm-018-753-y__Acta Scientiarum Mathematicarum. Springer Nature, 2018.https://doi.org/10.14232/actasm-018-753-y .
LibreCat: https://research-explorer.ista.ac.at/record/284
DOI: 10.14232/actasm-018-753-y
arXiv: 1802.03305

Lewi, Mathieu, Élliott Lieb, and Robert Seiringer. “Statistical Mechanics of the Uniform Electron Gas.”https://doi.org/10.5802/jep.64__Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2018.https://doi.org/10.5802/jep.64 .
LibreCat: https://research-explorer.ista.ac.at/record/180
DOI: 10.5802/jep.64
arXiv: 1705.10676

Reipert, Siegfried, Helmuth Goldammer, Christine Richardson, Martin Goldberg, Timothy Hawkins, Elena Saeckl, Walter Kaufmann, Sebastian Antreich, and York Stierhof. “Agitation Modules: Flexible Means to Accelerate Automated Freeze Substitution.”https://doi.org/10.1369/0022155418786698__Journal of Histochemistry and Cytochemistry. SAGE Publications, 2018.https://doi.org/10.1369/0022155418786698 .
LibreCat: https://research-explorer.ista.ac.at/record/163
DOI: 10.1369/0022155418786698
WoS: 000452277700005
PMID: 29969056

Sahoo, Subham, Christoph Lampert, and Georg S Martius. “Learning Equations for Extrapolation and Control.” In Proceedings of the 35th International Conference on Machine Learning, 80:4442–50. ML Research Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6012
WoS: 000683379204058
arXiv: 1806.07259

Kuzborskij, Ilja, and Christoph Lampert. “Data-Dependent Stability of Stochastic Gradient Descent.” In Proceedings of the 35 Th International Conference on Machine Learning, 80:2815–24. ML Research Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6011
WoS: 000683379202095
arXiv: 1703.01678

Danowski, Patrick. An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.https://doi.org/10.5281/zenodo.1244154 .
LibreCat: https://research-explorer.ista.ac.at/record/5686
DOI: 10.5281/zenodo.1244154

Alistarh, Dan-Adrian, Torsten Hoefler, Mikael Johansson, Nikola H Konstantinov, Sarit Khirirat, and Cedric Renggli. “The Convergence of Sparsified Gradient Methods.” In Advances in Neural Information Processing Systems 31, Volume 2018:5973–83. Neural Information Processing Systems Foundation, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6589
WoS: 000461852000047
arXiv: 1809.10505

Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch, Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.”https://doi.org/10.1126/science.aat4793__Science. AAAS, 2018.https://doi.org/10.1126/science.aat4793 .
LibreCat: https://research-explorer.ista.ac.at/record/7
DOI: 10.1126/science.aat4793
WoS: 000451124500041

Palmer, Adam, Remy P Chait, and Roy Kishony. “Nonoptimal Gene Expression Creates Latent Potential for Antibiotic Resistance.”https://doi.org/10.1093/molbev/msy163__Molecular Biology and Evolution. Oxford University Press, 2018.https://doi.org/10.1093/molbev/msy163 .
LibreCat: https://research-explorer.ista.ac.at/record/19
DOI: 10.1093/molbev/msy163
WoS: 000452567200006
PMID: 30169679

Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch, Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect.”https://doi.org/10.5281/ZENODO.1322669__Zenodo, 2018.https://doi.org/10.5281/ZENODO.1322669 .
LibreCat: https://research-explorer.ista.ac.at/record/13055
DOI: 10.5281/ZENODO.1322669

Botello, Gabriel, Florian Sedlmeir, Alfredo R Rueda Sanchez, Kerlos Abdalmalak, Elliott Brown, Gerd Leuchs, Sascha Preu, et al. “Sensitivity Limits of Millimeter-Wave Photonic Radiometers Based on Efficient Electro-Optic Upconverters.”https://doi.org/10.1364/OPTICA.5.001210__Optica, 2018.https://doi.org/10.1364/OPTICA.5.001210 .
LibreCat: https://research-explorer.ista.ac.at/record/22
DOI: 10.1364/OPTICA.5.001210
WoS: 000447853100007

Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.”https://doi.org/10.1561/1000000053__Foundations and Trends in Electronic Design Automation. Now Publishers, 2018.https://doi.org/10.1561/1000000053 .
LibreCat: https://research-explorer.ista.ac.at/record/5677
DOI: 10.1561/1000000053