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.

9000 Publications


2014 | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2014. Edit distance for timed automata. HSCC: Hybrid Systems - Computation and Control, 303–312.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573, 110–121.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2217
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
[Published Version] View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
[Published Version] View | Files available
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
Biswas R, Bhowmick P. 2014. On Finding Spherical Geodesic Paths and Circles in ℤ3. 8668, 396–409.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing, 789–796.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli M, Hassani H, Urbanke R. 2014. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 62(9), 3084–3091.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6744
Mondelli M, Zhou Q, Lottici V, Ma X. 2014. Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications. IEEE Transactions on Wireless Communications. 13(3), 1397–1409.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 10885
Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.
[Preprint] View | Files available | DOI | arXiv
 

2014 | Book | IST-REx-ID: 6853
Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
[Published Version] View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic KA, Smidt TE, Kimchi I, Breznay NP, Biffin A, Choi S, Johnson RD, Coldea R, Watkins-Curry P, McCandless GT, Chan JY, Gandara F, Islam Z, Vishwanath A, Shekhter A, McDonald RD, Analytis JG. 2014. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 5, 4203.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger SA, Chen Y, Bardé F, Takechi K, Mizuno F, Bruce PG. 2014.Nonaqueous Electrolytes. In: The Lithium Air Battery: Fundamentals. , 23–58.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst A, Epp V, Hanzu I, Freunberger SA, Wilkening M. 2014. Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries. Energy & Environmental Science. 7(8), 2739–2752.
[Published Version] View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
Johnson L, Li C, Liu Z, Chen Y, Freunberger SA, Ashok PC, Praveen BB, Dholakia K, Tarascon J-M, Bruce PG. 2014. The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry. 6(12), 1091–1099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7304
Kwabi DG, Ortiz-Vitoriano N, Freunberger SA, Chen Y, Imanishi N, Bruce PG, Shao-Horn Y. 2014. Materials challenges in rechargeable lithium-air batteries. MRS Bulletin. 39(5), 443–452.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7301
Li C, Fontaine O, Freunberger SA, Johnson L, Grugeon S, Laruelle S, Bruce PG, Armand M. 2014. Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C. 118(7), 3393–3401.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7300
Aigner D, Freunberger SA, Wilkening M, Saf R, Borisov SM, Klimant I. 2014. Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols. Analytical Chemistry. 86(18), 9293–9300.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
Lebar T, Bezeljak U, Golob A, Jerala M, Kadunc L, Pirš B, Stražar M, Vučko D, Zupančič U, Benčina M, Forstnerič V, Gaber R, Lonzarić J, Majerle A, Oblak A, Smole A, Jerala R. 2014. A bistable genetic switch based on designable DNA-binding domains. Nature Communications. 5(1), 5007.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo T, Benzi F, Ghigna P, Pin S, Spinolo G, d’Acapito F. 2014. Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal of Synchrotron Radiation. 21(2), 395–400.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan S, Xue H-W. 2014. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. 9(5), 1692–1702.
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 768
Alistarh D-A, Aspnes J, Bender M, Gelashvili R, Gilbert S. 2014. Dynamic task allocation in asynchronous shared memory. SODA: Symposium on Discrete Algorithms, 416–435.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 769
Alistarh D-A, Aspnes J, Censor Hillel K, Gilbert S, Guerraoui R. 2014. Tight bounds for asynchronous renaming. Journal of the ACM. 61(3).
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
Alistarh D-A, Eugster P, Herlihy M, Matveev A, Shavit N. 2014. StackTrack: An automated transactional approach to concurrent memory reclamation. EuroSys: European Conference on Computer Systems.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 771
Alistarh D-A, Denysyuk O, Rodrígues L, Shavit N. 2014. Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems. PODC: Principles of Distributed Computing, 232–241.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Alistarh D-A, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing, 714–723.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Alistarh D-A, Aspnes J, King V, Saia J. 2014. Communication-efficient randomized consensus. DISC: Distributed Computing, LNCS, vol. 8784, 61–75.
View | DOI
 

Search

Filter Publications