en
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.
2712 Publications
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, P., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., … Xiang, W. (2016). Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In 2016 IEEE Conference on Control Applications. Buenos Aires, Argentina : IEEE. https://doi.org/10.1109/CCA.2016.7587948
View
| DOI
2016 | Journal Article | IST-REx-ID: 1141
Łazarz, R., Idzik, M., Gądek, K., & Gajda-Zagorska, E. P. (2016). Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science, 17(1), 249–260. https://doi.org/10.1016/j.jocs.2016.03.004
View
| DOI
2016 | Journal Article | IST-REx-ID: 1153 
Žádníková, P., Wabnik, K. T., Abuzeineh, A., Gallemí, M., Van Der Straeten, D., Smith, R., … Benková, E. (2016). A model of differential growth guided apical hook formation in plants. Plant Cell, 28(10), 2464–2477. https://doi.org/10.1105/tpc.15.00569
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 1115
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA: IEEE. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3
View
| Files available
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1158
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology, 14(12). https://doi.org/10.1371/journal.pbio.2000234
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1172
Sachdeva, H., Barma, M., & Rao, M. (2016). Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports, 6. https://doi.org/10.1038/srep38840
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1177
Kamath Hosdurg, C., & Chatterjee, S. (2016). A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica, 74(4), 1321–1362. https://doi.org/10.1007/s00453-015-9997-6
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1184
Metzler, S., Heinze, J., & Schrempf, A. (2016). Mating and longevity in ant males. Ecology and Evolution, 6(24), 8903–8906. https://doi.org/10.1002/ece3.2474
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1247
Karampelias, M., Neyt, P., De Groeve, S., Aesaert, S., Coussens, G., Rolčík, J., … Van Lijsebettens, M. (2016). ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS, 113(10), 2768–2773. https://doi.org/10.1073/pnas.1501343112
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1254
Golmakani, A., Luzzatto, S., & Pilarczyk, P. (2016). Uniform expansivity outside a critical neighborhood in the quadratic family. Experimental Mathematics, 25(2), 116–124. https://doi.org/10.1080/10586458.2015.1048011
View
| DOI
| Download (ext.)