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.




2888 Publications

2013 | Conference Paper | IST-REx-ID: 2295 | OA View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2297 | OA
Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2298 | OA
Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2299 | OA
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2300 | OA
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Display / Sort

Citation Style: Default

Export / Embed