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.

3067 Publications


2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. https://doi.org/10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen, Joel F, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. https://doi.org/10.1007/978-3-662-49896-5_13.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. https://doi.org/10.1007/978-3-662-49096-9_12.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux, Pierre, Thomas R Sokolowski, Aristea Grammoustianou, Pieter Tenwolde, and Marileen Dogterom. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1419248113.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1246 | OA
Kabakova, Irina, Anouk De Hoogh, Ruben Van Der Wel, Matthias Wulf, Boris Le Feber, and Laurens Kuipers. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep22665.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias, Michael, Pia Neyt, Steven De Groeve, Stijn Aesaert, Griet Coussens, Jakub Rolčík, Leonardo Bruno, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1501343112.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1248 | OA
Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics. Annual Reviews, 2016. https://doi.org/10.1146/annurev-conmatphys-031214-014803.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha, Arnab, Masatoshi Nishikawa, Martin Behrndt, Carl-Philipp J Heisenberg, Frank Julicher, and Stephan Grill. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal. Biophysical Society, 2016. https://doi.org/10.1016/j.bpj.2016.02.013.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics. Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1005974.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1251 | OA
Zhu, Jinsheng, Aurélien Bailly, Marta Zwiewka, Valpuri Sovero, Martin Di Donato, Pei Ge, Jacqueline Oehri, et al. “TWISTED DWARF1 Mediates the Action of Auxin Transport Inhibitors on Actin Cytoskeleton Dynamics.” Plant Cell. American Society of Plant Biologists, 2016. https://doi.org/10.1105/tpc.15.00726.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker, Shaun, Hiroshi Kokubu, Konstantin Mischaikow, and Pawel Pilarczyk. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society. American Mathematical Society, 2016. https://doi.org/10.1090/proc/12812.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry. American Medical Association, 2016. https://doi.org/10.1001/jamapsychiatry.2015.3144.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani, Ali, Stefano Luzzatto, and Pawel Pilarczyk. “Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family.” Experimental Mathematics. Taylor and Francis, 2016. https://doi.org/10.1080/10586458.2015.1048011.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1255 | OA
Peuß, Robert, Kristina Wensing, Luisa Woestmann, Hendrik Eggert, Barbara Milutinovic, Marlene Sroka, Jörn Scharsack, Joachim Kurtz, and Sophie Armitage. “Down Syndrome Cell Adhesion Molecule 1: Testing for a Role in Insect Immunity, Behaviour and Reproduction.” Royal Society Open Science. Royal Society, The, 2016. https://doi.org/10.1098/rsos.160138.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Yu, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design.” IEEE, 2016. https://doi.org/10.1109/RTAS.2016.7461337.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s00220-016-2600-4.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry. Springer, 2016. https://doi.org/10.1007/s11040-016-9209-x.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, Daniele. “The Dual of the Space of Interactions in Neural Network Models.” International Journal of Modern Physics C. World Scientific Publishing, 2016. https://doi.org/10.1142/S0129183116500674.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1261 | OA
Maas, Jan, and Daniel Matthes. “Long-Time Behavior of a Finite Volume Discretization for a Fourth Order Diffusion Equation.” Nonlinearity. IOP Publishing Ltd., 2016. https://doi.org/10.1088/0951-7715/29/7/1992.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications