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.

12005 Publications


2014 | Published | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” 12th International Symposium on Automated Technology for Verification and Analysis, vol. 8837, Springer, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2028 | OA
Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54, doi:10.1016/j.jtbi.2014.09.041.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2038 | OA
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic, vol. 15, no. 4, 27, ACM, 2014, doi:10.1145/2629686.
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
Chatterjee, Krishnendu. Partial-Observation Stochastic Reachability and Parity Games. Vol. 8634, no. PART 1, Springer, 2014, pp. 1–4, doi:10.1007/978-3-662-44522-8_1.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic, vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” 12th International Symposium on Automated Technology for Verification and Analysis, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
[Submitted Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust, Simon, et al. Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies. Dryad, 2014, doi:10.5061/dryad.nc0gc.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2250 | OA
Kuchibhatla, Durga, et al. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.” Journal of Virology, vol. 88, no. 1, ASM, 2014, pp. 10–20, doi:10.1128/JVI.02595-13.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari, Jozsef L., and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, 20120528, The Royal Society, 2014, doi:10.1098/rstb.2012.0528.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:10.1007/s00236-013-0182-6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2014 | Published | Journal Article | IST-REx-ID: 254
Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” International Mathematics Research Notices, vol. 2015, no. 7, Oxford University Press, 2014, pp. 1987–2019, doi:10.1093/imrn/rnt350.
View | Files available | DOI
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1395
Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. Institute of Science and Technology Austria, 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1404
Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. Institute of Science and Technology Austria, 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1402
Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1403
Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. Institute of Science and Technology Austria, 2014.
View | Files available
 

2014 | Published | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” Journal of Mathematical Imaging and Vision, vol. 50, no. 1, Springer, 2014, pp. 164–77, doi:10.1007/s10851-013-0468-x.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed