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.




4841 Publications

2014 | Research Data Reference | IST-REx-ID: 9740 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9741 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Data from: Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, (2014).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9752 | OA
Data from: Transformation of stimulus correlations by the retina
K. Simmons, J. Prentice, G. Tkačik, J. Homann, H. Yee, S. Palmer, P. Nelson, V. Balasubramanian, (2014).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
S. Tragust, L.V. Ugelvig, M. Chapuisat, J. Heinze, S. Cremer, (2014).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9888
Supporting information
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, (2014).
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 9931 View | Files available | DOI | PubMed | Europe PMC
 
2014 | Research Data Reference | IST-REx-ID: 9932 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 10793
Clustered planarity testing revisited
R. Fulek, J. Kynčl, I. Malinović, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.
[Preprint] View | Files available | DOI | arXiv
 
2014 | Published | Book (Editor) | IST-REx-ID: 10811
Auxin and Its Role in Plant Development
E. Zažímalová, J. Petrášek, E. Benková, eds., Auxin and Its Role in Plant Development, 1st ed., Springer Nature, Vienna, 2014.
View | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 10814
The excitation spectrum for Bose fluids with weak interactions
R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.
View | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 10815 | OA
Molecular and cellular mechanisms of development underlying congenital diseases
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2014 | Published | Book Chapter | IST-REx-ID: 10817
Notes on the simplification of the Morse-Smale complex
D. Günther, J. Reininghaus, H.-P. Seidel, T. Weinkauf, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III., Springer Nature, Cham, 2014, pp. 135–150.
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 10884 | OA
Parameterized model checking of token-passing systems
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 10885
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint] View | Files available | DOI | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 10886
Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 10892
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
View | Files available | DOI
 
2014 | Published | Book Chapter | IST-REx-ID: 10893
Toward the extraction of saddle periodic orbits
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 10894
PHAT – Persistent Homology Algorithms Toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2467 | OA
Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed