Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

590 Publications


2019 | Published | Journal Article | IST-REx-ID: 5911 | OA
Evolving inversions
R. Faria, K. Johannesson, R.K. Butlin, A.M. Westram, Trends in Ecology and Evolution 34 (2019) 239–248.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 5943 | OA
Experiments on a jet in a crossflow in the low-velocity-ratio regime
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6566 | OA
Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks
M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6586 | OA
Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion
M. Ibáñez, R. Hasler, A. Genç, Y. Liu, B. Kuster, M. Schuster, O. Dobrozhan, D. Cadavid, J. Arbiol, A. Cabot, M.V. Kovalenko, Journal of the American Chemical Society 141 (2019) 8025–8029.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6972 | OA
Self-stabilising Byzantine clock synchronisation is almost as easy as consensus
C. Lenzen, J. Rybicki, Journal of the ACM 66 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6936 | OA
What can observational data reveal about metacommunity processes?
O. Ovaskainen, J. Rybicki, N. Abrego, Ecography 42 (2019) 1877–1886.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7103 | OA
Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture
J.W.J.L. Wang, F. Lombardi, X. Zhang, C. Anaclet, P.C. Ivanov, PLoS Computational Biology 15 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 7190 | OA
In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas
D. Huber, H.-W. Hammer, A. Volosniev, Physical Review Research 1 (2019).
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6628 | OA
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
[Submitted Version] View | Files available
 

2019 | Published | Journal Article | IST-REx-ID: 6515 | OA
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 7230 | OA
Extending simple drawings
A.M. Arroyo Guevara, M. Derka, I. Parada, in:, 27th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2019, pp. 230–243.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6935 | OA
Does preprocessing help under congestion?
K.-T. Foerster, J. Korhonen, J. Rybicki, S. Schmid, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, 2019, pp. 259–261.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6052 | OA
A practical guide to optimization in X10 expansion microscopy
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 7479 | OA
Distillation-based training for multi-exit architectures
Bui Thi Mai, Phuong, Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision 2019-October. 2019
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7640 | OA
Detecting visual relationships using box attention
A. Kolesnikov, A. Kuznetsova, C. Lampert, V. Ferrari, in:, Proceedings of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6590 | OA
Robust learning from untrusted sources
N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, ML Research Press, 2019, pp. 3488–3498.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6650 | OA
Volume-aware design of composite molds
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6660 | OA
Geometry-aware scattering compensation for 3D printing
D. Sumin, T. Weyrich, T. Rittig, V. Babaei, T. Nindel, A. Wilkie, P. Didyk, B. Bickel, J. Křivánek, K. Myszkowski, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6442 | OA
Fundamental solutions for water wave animation
C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6824
Patrolling the vascular borders: Platelets in immunity to infection and cancer
F.R. Gärtner, S. Massberg, Nature Reviews Immunology 19 (2019) 747–760.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6988
Platelets in host defense: Experimental and clinical insights
L. Nicolai, F.R. Gärtner, S. Massberg, Trends in Immunology 40 (2019) 922–938.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 5828 | OA
Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze
Xu, Haibing, Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze. Neuron 101 (1). 2019
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6338 | OA
Hippocampal reactivation of random trajectories resembling Brownian diffusion
F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 450–461.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 6062 | OA [Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 7180 | OA
Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter
K. Retzer, M. Akhmanova, N. Konstantinova, K. Malínská, J. Leitner, J. Petrášek, C. Luschnig, Nature Communications 10 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6521 | OA
Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 5789 | OA
Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
Petridou, Nicoletta, Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology 21. 2019
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 7406
Isolation of synaptic vesicles from genetically engineered cultured neurons
C. Mckenzie, M. Spanova, A.J. Johnson, S. Kainrath, V. Zheden, H.H. Sitte, H.L. Janovjak, Journal of Neuroscience Methods 312 (2019) 114–121.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6784 | OA
Molecular noise of innate immunity shapes bacteria-phage ecologies
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).
[Published Version] View | Files available | DOI | WoS
 

2019 | Research Data Reference | IST-REx-ID: 9786
Supporting text and results
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, (2019).
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6608 | OA
Holes and dependences in an ordered complex
H. Edelsbrunner, K. Ölsböck, Computer Aided Geometric Design 73 (2019) 1–15.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6648 | OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5678 | OA
Poisson–Delaunay Mosaics of Order k
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 62 (2019) 865–878.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Thesis | IST-REx-ID: 7172 | OA
Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana
M.K. Vasileva, Molecular Mechanisms of Endomembrane Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6262 | OA
Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal 98 (2019) 1048–1059.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6418 | OA
Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome
A.K. Huylmans, M.A. Toups, A. Macon, W.J. Gammerdinger, B. Vicoso, Genome Biology and Evolution 11 (2019) 1033–1044.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7400 | OA
Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua
P. Veltsos, K.E. Ridout, M.A. Toups, S.C. González-Martínez, A. Muyle, O. Emery, P. Rastas, V. Hudzieczek, R. Hobza, B. Vyskot, G.A.B. Marais, D.A. Filatov, J.R. Pannell, Genetics 212 (2019) 815–835.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 7146
Molecular and evolutionary dynamics of animal sex-chromosome turnover
B. Vicoso, Nature Ecology & Evolution 3 (2019) 1632–1641.
View | DOI | WoS
 
 

2019 | Published | Journal Article | IST-REx-ID: 6454 | OA
Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members
G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6844 | OA
A mathematical insight into cell labelling experiments for clonal analysis
N. Picco, S. Hippenmeyer, J. Rodarte, C. Streicher, Z. Molnár, P.K. Maini, T.E. Woolley, Journal of Anatomy 235 (2019) 686–696.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7202 | OA
A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou-Pouliou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, ELife 8 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
 

2019 | Published | Conference Paper | IST-REx-ID: 6887 | OA
Near-linear time algorithms for Streett objectives in graphs and MDPs
Chatterjee, Krishnendu, Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics 140. 2019
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex
N. Amberg, S. Laukoter, S. Hippenmeyer, Journal of Neurochemistry 149 (2019) 12–26.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6786 | OA
Attractive dipolar coupling between stacked exciton fluids
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 7396 | OA
Quantum control of molecular rotation
C.P. Koch, M. Lemeshko, D. Sugny, Reviews of Modern Physics 91 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6092 | OA
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 5886 | OA
Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon
Li, Xiang, Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon. Molecular Physics. 2019
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6240 | OA
Location of the spectrum of Kronecker random matrices
J. Alt, L. Erdös, T.H. Krüger, Y. Nemish, Annales de l’institut Henri Poincare 55 (2019) 661–696.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6511 | OA
Local single ring theorem on optimal scale
Bao, Zhigang, Local single ring theorem on optimal scale. Annals of Probability 47 (3). 2019
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | 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 | Published | Journal Article | IST-REx-ID: 72 | OA
Limit law of a second class particle in TASEP with non-random initial condition
P. Ferrari, P. Ghosal, P. Nejjar, Annales de l’institut Henri Poincare (B) Probability and Statistics 55 (2019) 1203–1225.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 429 | OA
Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6182 | OA
Random matrices with slow correlation decay
L. Erdös, T.H. Krüger, D.J. Schröder, Forum of Mathematics, Sigma 7 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6186 | OA
Cusp universality for random matrices, II: The real symmetric case
G. Cipolloni, L. Erdös, T.H. Krüger, D.J. Schröder, Pure and Applied Analysis 1 (2019) 615–707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6795 | OA
Green beards in the light of indirect genetic effects
B. Trubenova, R. Hager, Ecology and Evolution 9 (2019) 9597–9608.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6638 | OA
Graphs with at most one crossing
A. Silva, A.M. Arroyo Guevara, B. Richter, O. Lee, Discrete Mathematics 342 (2019) 3201–3207.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 7026 | OA
Emergent gene expression responses to drug combinations predict higher-order drug interactions
M. Lukacisin, M.T. Bollenbach, Cell Systems 9 (2019) 423-433.e1-e3.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6046 | OA
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | 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 | Published | Conference Paper | IST-REx-ID: 7159
Shape expressions for specifying and extracting signal features
D. Ničković, X. Qin, T. Ferrere, C. Mateis, J. Deshmukh, in:, 19th International Conference on Runtime Verification, Springer Nature, 2019, pp. 292–309.
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Determinacy in discrete-bidding infinite-duration games
Aghajohari, Milad, Determinacy in discrete-bidding infinite-duration games. 140. 2019
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
[Submitted Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6942 | OA
Strategy representation by decision trees with linear classifiers
P. Ashok, T. Brázdil, K. Chatterjee, J. Křetínský, C. Lampert, V. Toman, in:, 16th International Conference on Quantitative Evaluation of Systems, Springer Nature, 2019, pp. 109–128.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Long-run average behavior of vector addition systems with states
Chatterjee, Krishnendu, Long-run average behavior of vector addition systems with states. 140. 2019
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Bidding mechanisms in graph games
Avni, Guy, Bidding mechanisms in graph games. 138. 2019
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Interface-aware signal temporal logic
Ferrere, Thomas, Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. 2019
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6042 | OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7231 | OA
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Infinite-duration bidding games
Avni, Guy, Infinite-duration bidding games. Journal of the ACM 66 (4). 2019
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
Kundu, Atreyee, Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. 2019
[Submitted Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6035 | OA
JuliaReach: A toolbox for set-based reachability
Bogomolov, Sergiy, JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control 22. 2019
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7183 | OA
Deciding fast termination for probabilistic VASS with nondeterminism
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, D. Velan, in:, International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2019, pp. 462–478.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Thesis | IST-REx-ID: 6894 | OA
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6836 | OA
Social dilemmas among unequals
Hauser, Oliver P., Social dilemmas among unequals. Nature 572 (7770). 2019
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7210 | OA
Population structure determines the tradeoff between fixation probability and fixation time
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Communications Biology 2 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Thesis | IST-REx-ID: 6681 | OA
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6455 | OA
Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex
L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 7197 | OA
Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA
P.R. Dos Santos Caldas, M.D. Lopez Pelegrin, D.J.G. Pearce, N.B. Budanur, J. Brugués, M. Loose, Nature Communications 10 (2019).
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6089 | OA
Pleiotropy modulates the efficacy of selection in drosophila melanogaster
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6856 | OA
Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist 224 (2019) 1035–1047.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6831 | OA
Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist 224 (2019) 1108–1120.
[Published Version] View | Files available | DOI | WoS
 

2019 | Research Data Reference | IST-REx-ID: 9803 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 6637 | OA
Surfing on the seascape: Adaptation in a changing environment
B. Trubenova, M. Krejca, P.K. Lehre, T. Kötzing, Evolution 73 (2019) 1356–1374.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 80 | OA
Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 5856 | OA
Energy contribution of a point-interacting impurity in a Fermi gas
Moser, Thomas, Energy contribution of a point-interacting impurity in a Fermi gas. Annales Henri Poincare 20 (4). 2019
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 10878 | OA
A mean-field model with discontinuous coefficients for neurons with spatial interaction
F. Flandoli, E. Priola, G.A. Zanco, Discrete and Continuous Dynamical Systems 39 (2019) 3037–3067.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 73 | OA
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Book Chapter | IST-REx-ID: 6726 | OA
Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Published | Conference Paper | IST-REx-ID: 6528 | OA
Simple verifiable delay functions
Pietrzak, Krzysztof Z, Simple verifiable delay functions. 10th Innovations in Theoretical Computer Science Conference 124. 2019
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Conference Paper | IST-REx-ID: 7411 | OA
Reversible proofs of sequential work
Abusalah, Hamza M, Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019 11477. 2019
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 7393 | OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

year=2019

Search

Filter Publications

Display / Sort

Export / Embed