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.

10574 Publications


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 | Conference Paper | IST-REx-ID: 10190 | OA
Value-centric dynamic partial order reduction
K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

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
Data from: 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, (2019).
[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: 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 | 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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed