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.




5730 Publications

2018 | Published | Journal Article | IST-REx-ID: 5676 | OA
Occluding junctions as novel regulators of tissue mechanics during wound repair
Carvalho, Lara, Occluding junctions as novel regulators of tissue mechanics during wound repair. Journal of Cell Biology 217 (12). 2018
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 64 | OA
Self-organized criticality and pattern emergence through the lens of tropical geometry
Kalinin, Nikita, Self-organized criticality and pattern emergence through the lens of tropical geometry. Proceedings of the National Academy of Sciences of the United States of America 115 (35). 2018
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Book Chapter | IST-REx-ID: 153
Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments
Renkawitz, Jörg, Micro-engineered “pillar forests” to study cell migration in complex but controlled 3D environments. Methods in Cell Biology 147. 2018
View | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 554 | OA
The Bogoliubov free energy functional II: The dilute Limit
Napiórkowski, Marcin M, The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics 360 (1). 2018
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Published | Thesis | IST-REx-ID: 200 | OA
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | IST-REx-ID: 52 | OA
Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 5959 | OA
Keynote: The first-order logic of signals
Bakhirkin, Alexey, Keynote: The first-order logic of signals. 2018 International Conference on Embedded Software. 2018
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 298 | OA
Sustained space complexity
Alwen, Joel F, Sustained space complexity. 10821. 2018
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 156 | OA
The compound interest in relaxing punctuality
Ferrere, Thomas, The compound interest in relaxing punctuality. 10951. 2018
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Efficient parametric identification for STL
Bakhirkin, Alexey, Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. 2018
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 183
Localizing faults in simulink/stateflow models with STL
Bartocci, Ezio, Localizing faults in simulink/stateflow models with STL. 2018
View | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 5791 | OA
Crossing minimization in perturbed drawings
Fulek, Radoslav, Crossing minimization in perturbed drawings. 11282 . 2018
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 433 | OA
Thrackles: An improved upper bound
Fulek, Radoslav, Thrackles: An improved upper bound. 10692. 2018
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 7407 | OA
Proofs of catalytic space
Pietrzak, Krzysztof Z, Proofs of catalytic space. 10th Innovations in Theoretical Computer Science Conference (ITCS 2019) 124. 2018
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
Quasipolynomial set-based symbolic algorithms for parity games
Chatterjee, Krishnendu, Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 57. 2018
[Published Version] View | Files available | DOI | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 6005 | OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | IST-REx-ID: 51 | OA
From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | IST-REx-ID: 48 | OA
Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 412 | OA
A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis
M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, J. Friml, The Plant Cell 30 (2018) 700–716.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed