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.

6244 Publications


2018 |Published| Journal Article | IST-REx-ID: 5914 | OA
Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and Krisztián Kovács. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the Contribution of Hippocampal SWR Events to Learning.” ENeuro. Society of Neuroscience, 2018. https://doi.org/10.1523/ENEURO.0087-18.2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5585 | OA
Igler, Claudia, Mato Lagator, Gašper Tkačik, Jonathan P Bollback, and Calin C Guet. “Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.” Institute of Science and Technology Austria, 2018. https://doi.org/10.15479/AT:ISTA:108.
[Published Version] View | Files available | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11.
[Published Version] View | Files available | DOI | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 311 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,” 10801:739–67. Springer, 2018. https://doi.org/10.1007/978-3-319-89884-1_26.
[Published Version] View | Files available | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018. https://doi.org/10.24963/ijcai.2018/653.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 6340 | OA
Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.” In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018. https://doi.org/10.1109/Cybermatics_2018.2018.00231.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 6009 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018. https://doi.org/10.1145/3210257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 5816 | OA
Hollmann, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter Fischer, and Lars R. Schreiber. “30 GHz-Voltage Controlled Oscillator Operating at 4 K.” Review of Scientific Instruments. AIP Publishing, 2018. https://doi.org/10.1063/1.5038258.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 1013 | OA
Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.” Physics. American Physical Society, 2017. https://doi.org/10.1103/Physics.10.32.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 10126 | OA
Vahid Belarghou, Afshin, Anđela Šarić, and Timon Idema. “Curvature Mediated Interactions in Highly Curved Membranes.” Biophysical Journal. Elsevier , 2017. https://doi.org/10.1016/j.bpj.2016.11.2123.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 10175 | OA
Anza Hafsa, Omar, Nicolas Clozeau, and Jean-Philippe Mandallena. “Homogenization of Nonconvex Unbounded Singular Integrals.” Annales Mathématiques Blaise Pascal. Université Clermont Auvergne, 2017. https://doi.org/10.5802/ambp.367.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 103 | OA
Albrecht, S M, Esben Hansen, Andrew P Higginbotham, Ferdinand Kuemmeth, Thomas Jespersen, Jesper Nygård, Peter Krogstrup, Jeroen Danon, Karsten Flensberg, and Charles Marcus. “Transport Signatures of Quasiparticle Poisoning in a Majorana Island.” APS Physics, Physical Review Letters. American Physical Society, 2017. https://doi.org/10.1103/PhysRevLett.118.137701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10370 | OA
Helle, Sebastian Carsten Johannes, Qian Feng, Mathias J Aebersold, Luca Hirt, Raphael R Grüter, Afshin Vahid, Andrea Sirianni, et al. “Mechanical Force Induces Mitochondrial Fission.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/elife.30292.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10369 | OA
Simunovic, Mijo, Anđela Šarić, J. Michael Henderson, Ka Yee C. Lee, and Gregory A. Voth. “Long-Range Organization of Membrane-Curving Proteins.” ACS Central Science. American Chemical Society, 2017. https://doi.org/10.1021/acscentsci.7b00392.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10373 | OA
Wirnsberger, Peter, Domagoj Fijan, Roger A. Lightwood, Anđela Šarić, Christoph Dellago, and Daan Frenkel. “Numerical Evidence for Thermally Induced Monopoles.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2017. https://doi.org/10.1073/pnas.1621494114.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10374 | OA
Meisl, Georg, Luke Rajah, Samuel A. I. Cohen, Manuela Pfammatter, Anđela Šarić, Erik Hellstrand, Alexander K. Buell, et al. “Scaling Behaviour and Rate-Determining Steps in Filamentous Self-Assembly.” Chemical Science. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7sc01965c.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 10375 | OA
Vahid, Afshin, Anđela Šarić, and Timon Idema. “Curvature Variation Controls Particle Aggregation on Fluid Vesicles.” Soft Matter. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7sm00433h.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 10418 | OA
Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 |Published| Thesis | IST-REx-ID: 10663 | OA
Polshyn, Hryhoriy. “Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures.” University of Illinois at Urbana-Champaign, 2017.
[Published Version] View | Download Published Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 10745 | OA
Polshyn, Hryhoriy, Tyler Naibert, and Raffi Budakian. “ Probing and Controlling Fluxoid States in Multiply-Connected Mesoscopic Superconducting Structures.” In APS March Meeting 2017, Vol. 62. American Physical Society, 2017.
[Published Version] View | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications