Please note that IST 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.

3496 Publications


2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. 2016. Synthesizing time triggered schedules for switched networks with faulty links. Proceedings of the 13th International Conference on Embedded Software . EMSOFT: Embedded Software , 26.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. 2016. Space-time sculpting of liquid animation. Proceedings of the 9th International Conference on Motion in Games . MIG: Motion in Games, 2994261.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 76–85.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. 2016. Model and objective separation with conditional lower bounds disjunction is harder than conjunction. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, , 197–206.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. 2016. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 17(1), 249–260.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam P, Rougerie N, Seiringer R. 2016. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 9(2), 459–485.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. 2016. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 9(11), 1504–1519.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla J, Medved’Ová Z, Kalousek P, Matiješčuková N, Friml J, Reinöhl V, Procházka S. 2016. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 6, 35955.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 149, 15–25.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. 2016. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 107, 34–47.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. 2016. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 38(5), 448–450.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini S, Deb J, Moubayidin L, Stephenson P, Valluru M, Freire Rios A, Sorefan K, Weijers D, Friml J, Östergaard L. 2016. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 30(20), 2286–2296.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková P, Wabnik KT, Abuzeineh A, Gallemí M, Van Der Straeten D, Smith R, Inze D, Friml J, Prusinkiewicz P, Benková E. 2016. A model of differential growth guided apical hook formation in plants. Plant Cell. 28(10), 2464–2477.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz J, Bierbaum V, Merrin J, Frank T, Hauschild R, Bollenbach MT, Tay S, Sixt MK, Mehling M. 2016. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 6, 36440.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee J, Schnelli K. 2016. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 26(6), 3786–3839.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 468–481.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
View | Files available
 

Filters and Search Terms

extern<>1

Search

Filter Publications