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.
4839 Publications
2013 |
Published |
Technical Report |
IST-REx-ID: 5402 |
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5403 |
Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5404 |
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5405 |
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5406 |
Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5408 |
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5409 |
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2013 |
Published |
Technical Report |
IST-REx-ID: 5410 |
Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
2013 |
Published |
Book Chapter |
IST-REx-ID: 5747 |
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
2013 |
Published |
Technical Report |
IST-REx-ID: 6440 |
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
2013 |
Published |
Journal Article |
IST-REx-ID: 827 |
Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
[Published Version]
View
| Files available
| DOI
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
2013 |
Published |
Journal Article |
IST-REx-ID: 828 |
Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
[Published Version]
View
| Files available
| DOI
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).
2013 |
Published |
Journal Article |
IST-REx-ID: 9459 |
The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
2013 |
Published |
Journal Article |
IST-REx-ID: 9481 |
Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
2013 |
Published |
Journal Article |
IST-REx-ID: 9520 |
A conversation across generations: Soma-germ cell crosstalk in plants
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
2013 |
Research Data Reference |
IST-REx-ID: 9749
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
[Published Version]
View
| Files available
| DOI
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
2013 |
Research Data Reference |
IST-REx-ID: 9751 |
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
2013 |
Research Data Reference |
IST-REx-ID: 9754 |
Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
2012 |
Published |
Book Chapter |
IST-REx-ID: 10896
The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
View
| DOI
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
2012 |
Published |
Conference Paper |
IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.