Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)

Source URL: ecee.colorado.edu

Work Address Institute of Science and Technology (IST), Austria Am Campus 1, Objekt 1, Floor 2, A-3400, Klosterneuburg, Austria e-mail:

Source URL: pub.ist.ac.at

Carrie Bernecky, Ph.D. Institute of Science and Technology Austria Am Campus 1 3400 Klosterneuburg, Austria E-mail:

Source URL: ist.ac.at

A Efficient and Dynamic Algorithms for Alternating Buchi ¨ Games and Maximal End-component Decomposition Krishnendu Chatterjee, IST Austria (Institute of Science and Technology Austria)

Source URL: eprints.cs.univie.ac.at

Approximating the minimum cycle mean Krishnendu Chatterjee∗ IST Austria Institute of Science and Technology Klosterneuburg, Austria

Source URL: eprints.cs.univie.ac.at

2015 Evaluation of the Institute of Science and Technology Austria (IST Austria) Report by the International Review Panel

Source URL: ist.ac.at

Strategy of Excellence for the Austrian Innovation System Executive Summary The Austrian Council for Research and Technology Development for the first time explicitly called for the formulation of a strategy of

Source URL: www.rat-fte.at

• Science and technology
• Research councils
• Economy of Europe
• Austrian Research Promotion Agency
• Government of Austria
• Science
• European Research Council
• Funding of science
• Institute of Science and Technology Austria

Parallel vs. Sequential Computations Do they Leak the Same? Advisor(s): Thomas Korak and Hannes Groß Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria

Source URL: www.iaik.tugraz.at

• NIST hash function competition
• SHA-3
• Power analysis
• Institute for Applied Information Processing and Communications
• Cryptography
• Side-channel attack
• Algorithm
• Mathematics
• Science and technology
• Science

Information transmission in genetic regulatory networks: a review Gaˇsper Tkaˇcik1∗ and Aleksandra M. Walczak2† 1 2 Institute of Science and Technology Austria, Am Campus 1, A-3400 Klosterneuburg, Austria

Source URL: www.phys.ens.fr

Weighted Skeletons and Fixed-Share Decomposition∗ FRANZ AURENHAMMER Institute for Theoretical Computer Science University of Technology, Graz, Austria

Source URL: www.igi.tugraz.at