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.




6609 Publications

2014 | Published | Journal Article | IST-REx-ID: 1933
Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates
J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, K. Shimamura, Development 141 (2014) 1671–1682.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1934
Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1935 | OA
Formation of stripes and slabs near the ferromagnetic transition
A. Giuliani, É. Lieb, R. Seiringer, Communications in Mathematical Physics 331 (2014) 333–350.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1936 | OA
An arms race between producers and scroungers can drive the evolution of social cognition
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1937 | OA
Edge universality of beta ensembles
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 468 | OA
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Conference Paper | IST-REx-ID: 475 | OA
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
[Published Version] View | Files available | DOI | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, Algorithmica 70 (2014) 457–492.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 537 | OA
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5412 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5421 | OA
The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed