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.

5612 Publications


2014 | Published | Journal Article | IST-REx-ID: 2056 | OA
Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology. Springer, 2014. https://doi.org/10.1007/s00285-013-0738-7.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2057 | OA
Morvant, Emilie, Amaury Habrard, and Stéphane Ayache. “Majority Vote of Diverse Classifiers for Late Fusion.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8621:153–62. Springer, 2014. https://doi.org/10.1007/978-3-662-44415-3_16.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2058 | OA
Raveendran, Karthik, Chris Wojtan, Nils Thuerey, and Greg Türk. “Blending Liquids.” In ACM Transactions on Graphics, Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601126.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2059 | OA
Dubas, Ewa, Jana Moravčíková, Jana Libantová, Ildikó Matušíková, Eva Benková, Iwona Zur, and Monika Krzewska. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma. Springer, 2014. https://doi.org/10.1007/s00709-014-0616-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2062 | OA
Hu, Hua, Jian Gan, and Peter M Jonas. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1255263.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2064 | OA
Rubio, Maía, Yugo Fukazawa, Naomi Kamasawa, Cheryl Clarkson, Elek Molnár, and Ryuichi Shigemoto. “Target- and Input-Dependent Organization of AMPA and NMDA Receptors in Synaptic Connections of the Cochlear Nucleus.” Journal of Comparative Neurology. Wiley-Blackwell, 2014. https://doi.org/10.1002/cne.23654.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 13402 | OA
Kundu, Pintu K., Gregory L. Olsen, Vladimir Kiss, and Rafal Klajn. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” Nature Communications. Springer Nature, 2014. https://doi.org/10.1038/ncomms4588.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 13404 | OA
Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews. Royal Society of Chemistry, 2014. https://doi.org/10.1039/c3cs60181a.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.06.031.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 14020 | OA
Kraus, P. M., Denitsa Rangelova Baykusheva, and H. J. Wörner. “Two-Pulse Field-Free Orientation Reveals Anisotropy of Molecular Shape Resonance.” Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/physrevlett.113.023001.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14021 | OA
Kraus, P M, Denitsa Rangelova Baykusheva, and H J Wörner. “Two-Pulse Orientation Dynamics and High-Harmonic Spectroscopy of Strongly-Oriented Molecules.” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing, 2014. https://doi.org/10.1088/0953-4075/47/12/124030.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 14301 | OA
Stahl, Evi, Thomas Martin, Florian M Praetorius, and Hendrik Dietz. “Facile and Scalable Preparation of Pure and Dense DNA Origami Solutions.” Angewandte Chemie International Edition. Wiley, 2014. https://doi.org/10.1002/ange.201405991.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed