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.

3436 Publications


2014 | Technical Report | IST-REx-ID: 5426 | OA
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 10815 | OA
Molecular and cellular mechanisms of development underlying congenital diseases
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Variance predicts salience in central sensory processing
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkačik, ELife (2014).
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications