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.




2852 Publications

2012 | Conference Paper | IST-REx-ID: 3162 | OA
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3164
M. Blaschko and C. Lampert, “Guest editorial: Special issue on structured prediction and inference,” International Journal of Computer Vision, vol. 99, no. 3, pp. 257–258, 2012.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 3165
K. Chatterjee and M. Henzinger, “An O(n2) time algorithm for alternating Büchi games,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, 2012, pp. 1386–1399.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3166 | OA
H. de Vladar, “Amino acid fermentation at the origin of the genetic code,” Biology Direct, vol. 7, 2012.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3167
M. Weber, “NextGen speaks 13 ,” Science, vol. 336, no. 6077, pp. 32–34, 2012.
View | DOI | PubMed | Europe PMC
 

Search

Display / Sort

Citation Style: IEEE

Export / Embed