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.

5484 Publications


2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., Hofferek, G., Jobstmann, B., … Könighofer, R. (2014). Synthesizing robust systems. Acta Informatica, 51(3–4), 193–220. https://doi.org/10.1007/s00236-013-0191-5
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5415
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, S. A., Chen, Y., Bardé, F., Takechi, K., Mizuno, F., & Bruce, P. G. (2014). Nonaqueous Electrolytes. In N. Imanishi, A. C. Luntz, & P. Bruce (Eds.), The Lithium Air Battery: Fundamentals (pp. 23–58). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-4899-8062-5_2
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. https://doi.org/10.1016/j.celrep.2014.10.047
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 117
Jaeger, H., Miskin, M., & Waitukaitis, S. R. (2013). From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions. In AIP Conference Proceedings (Vol. 1542, pp. 3–6). Sydney, Australia: AIP. https://doi.org/10.1063/1.4811858
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics, 234, 85–128. https://doi.org/10.1016/j.aim.2012.10.009
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1786   OA
Nissen, F., Fink, J. M., Mlynek, J., Wallraff, A., & Keeling, J. (2013). Collective suppression of linewidths in circuit QED. Physical Review Letters, 110(20). https://doi.org/10.1103/PhysRevLett.110.203602
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1988
Bonny, M., Fischer Friedrich, E., Loose, M., Schwille, P., & Kruse, K. (2013). Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology, 9(12). https://doi.org/10.1371/journal.pcbi.1003347
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras, M., Thomaszewski, B., Coros, S., Bickel, B., & Groß, M. (2013). Computational design of actuated deformable characters. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461979
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed