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.

7668 Publications


2013 | Published | Technical Report | IST-REx-ID: 5402 | OA
Henzinger, T. A., & Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria. https://doi.org/10.15479/AT:IST-2013-123-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria. https://doi.org/10.15479/AT:IST-2013-128-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Report | IST-REx-ID: 5407 | OA
Porsche, J. (2013). Technical requirements and features. IST Austria.
[Published Version] View | Files available
 

2013 | Published | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2013). The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria. https://doi.org/10.15479/AT:IST-2013-141-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria. https://doi.org/10.15479/AT:IST-2013-146-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 5920 | OA
Hillar, C. J., & Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/j.jsc.2012.06.006
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 595 | OA
Bernecky, C., & Cramer, P. (2013). Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2013.36
View | DOI | Download None (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., & de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004011
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 6130 | OA
Chen, C., Fenk, L. A., & de Bono, M. (2013). Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt805
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., Oda, S., Nikolaev, V. O., Soltesz, Z., & de Bono, M. (2013). In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1217428110
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 6768 | OA
Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line. https://doi.org/10.5201/ipol.2013.53
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 344 | OA
Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W., … Cabot, A. (2013). Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C2TA00419D
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 450 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.2058
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Dütting, P., Henzinger, M., & Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-35311-6_4
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed