Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5388 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1499 | OA
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
 
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
 
2015 | Published | Conference Paper | IST-REx-ID: 1603 | OA
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.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1601 | OA
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
 
2015 | Published | Conference Paper | IST-REx-ID: 1605 | OA
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
 
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
 
2015 | Research Data | IST-REx-ID: 5549 | OA
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
 
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
 
2015 | Published | Conference Paper | IST-REx-ID: 1610 | OA
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
 
2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
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
 
2015 | Published | Conference Paper | IST-REx-ID: 1835 | OA
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.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1474 | OA
Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2015 | Published | Journal Article | IST-REx-ID: 1823 | OA
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1824 | OA
Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1827 | OA
Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1828 | OA
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Published | Journal Article | IST-REx-ID: 1830 | OA
Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Published | Journal Article | IST-REx-ID: 1831 | OA
Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Published | Journal Article | IST-REx-ID: 1832 | OA
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1834 | OA
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed