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.
451 Publications
2015 | Published | Journal Article | IST-REx-ID: 1539 |
Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
J. Ruess, Journal of Chemical Physics 143 (2015).
[Published Version]
View
| Files available
| DOI
J. Ruess, Journal of Chemical Physics 143 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1502 |
Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
2015 | Published | Conference Paper | IST-REx-ID: 1499 |
Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
2015 | Published | Conference Paper | IST-REx-ID: 1541
XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
View
| DOI
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
2015 | Published | Conference Paper | IST-REx-ID: 1603 |
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
2015 | Published | Conference Paper | IST-REx-ID: 1601 |
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
[Submitted Version]
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
2015 | Published | Conference Paper | IST-REx-ID: 1605 |
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
2015 | Published | Conference Paper | IST-REx-ID: 1606
Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.
View
| DOI
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.
2015 | Research Data | IST-REx-ID: 5549 |
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
[Published Version]
View
| Files available
| DOI
A. Fellner, (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1729
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
2015 | Published | Conference Paper | IST-REx-ID: 1610 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
2015 | Published | Technical Report | IST-REx-ID: 5438 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1835 |
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
2015 | Published | Journal Article | IST-REx-ID: 12628 |
Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999
F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.
2015 | Published | Journal Article | IST-REx-ID: 13392
Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks
H. Zhao, S. Sen, T. Udayabhaskararao, M. Sawczyk, K. Kučanda, D. Manna, P.K. Kundu, J.-W. Lee, P. Král, R. Klajn, Nature Nanotechnology 11 (2015) 82–88.
View
| DOI
| PubMed | Europe PMC
H. Zhao, S. Sen, T. Udayabhaskararao, M. Sawczyk, K. Kučanda, D. Manna, P.K. Kundu, J.-W. Lee, P. Král, R. Klajn, Nature Nanotechnology 11 (2015) 82–88.
2015 | Published | Journal Article | IST-REx-ID: 13396
Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature
T. Moldt, D. Brete, D. Przyrembel, S. Das, J.R. Goldman, P.K. Kundu, C. Gahl, R. Klajn, M. Weinelt, Langmuir 31 (2015) 1048–1057.
View
| DOI
| PubMed | Europe PMC
T. Moldt, D. Brete, D. Przyrembel, S. Das, J.R. Goldman, P.K. Kundu, C. Gahl, R. Klajn, M. Weinelt, Langmuir 31 (2015) 1048–1057.
2015 | Published | Journal Article | IST-REx-ID: 13397 |
Magnetic field-induced self-assembly of iron oxide nanocubes
G. Singh, H. Chan, T. Udayabhaskararao, E. Gelman, D. Peddis, A. Baskin, G. Leitus, P. Král, R. Klajn, Faraday Discussions 181 (2015) 403–421.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Singh, H. Chan, T. Udayabhaskararao, E. Gelman, D. Peddis, A. Baskin, G. Leitus, P. Král, R. Klajn, Faraday Discussions 181 (2015) 403–421.
2015 | Published | Journal Article | IST-REx-ID: 13394
Light-controlled self-assembly of non-photoresponsive nanoparticles
P.K. Kundu, D. Samanta, R. Leizrowice, B. Margulis, H. Zhao, M. Börner, T. Udayabhaskararao, D. Manna, R. Klajn, Nature Chemistry 7 (2015) 646–652.
View
| DOI
| PubMed | Europe PMC
P.K. Kundu, D. Samanta, R. Leizrowice, B. Margulis, H. Zhao, M. Börner, T. Udayabhaskararao, D. Manna, R. Klajn, Nature Chemistry 7 (2015) 646–652.
2015 | Published | Journal Article | IST-REx-ID: 13393
Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes
D. Manna, T. Udayabhaskararao, H. Zhao, R. Klajn, Angewandte Chemie International Edition 54 (2015) 12394–12397.
View
| DOI
| PubMed | Europe PMC
D. Manna, T. Udayabhaskararao, H. Zhao, R. Klajn, Angewandte Chemie International Edition 54 (2015) 12394–12397.
2015 | Published | Journal Article | IST-REx-ID: 13395 |
Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.