Please note that IST 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.

358 Publications


2015 | Journal Article | IST-REx-ID: 1680
J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659
U. Boker, T. A. Henzinger, and J. Otop, “The target discounted-sum problem,” in LICS, Kyoto, Japan, 2015, pp. 750–761.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12, pp. 3–16, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
K. Chatterjee, M. Henzinger, and V. Loitzenbauer, “Improved algorithms for one-pair and k-pair Streett objectives,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523   OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” Information and Computation, vol. 242, no. 6, pp. 25–52, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, pp. 539–551, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 333
M. Walter, K. Kravchyk, M. Ibáñez, and M. Kovalenko, “Efficient and inexpensive sodium magnesium hybrid battery,” Chemistry of Materials, vol. 27, no. 21, pp. 7452–7458, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
N. Hein, C. Hillar, A. Martin Del Campo Sanchez, F. Sottile, and Z. Teitler, “The monotone secant conjecture in the real Schubert calculus,” Experimental Mathematics, vol. 24, no. 3, pp. 261–269, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1832   OA
S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” Logical Methods in Computer Science, vol. 11, no. 1, p. 20, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1820
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.
View | Files available | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 120
V. Lee, S. R. Waitukaitis, M. Miskin, and H. Jaeger, “Direct observation of particle interactions and clustering in charged granular streams,” Nature Physics, vol. 11, no. 9, pp. 733–737, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
J. L. Fischer, “A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation,” SIAM Journal on Numerical Analysis, vol. 53, no. 5, pp. 2178–2205, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383
L. Yu et al., “V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis,” Nature Plants, vol. 1, no. 7, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
T. Paixao et al., “Toward a unifying framework for evolutionary processes,” Journal of Theoretical Biology, vol. 383, pp. 28–43, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
F. Mohammadi and S. Moradi, “Resolution of unmixed bipartite graphs,” Bulletin of the Korean Mathematical Society, vol. 52, no. 3, pp. 977–986, 2015.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed