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.




2615 Publications

2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee K, Henzinger TA, Prabhu V. Finite automata with time delay blocks. In: Roceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:43-52. doi:10.1145/2380356.2380370
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3314
Chatterjee K, Majumdar R. Discounting and averaging in games across time scales. International Journal of Foundations of Computer Science. 2012;23(3):609-625. doi:10.1142/S0129054112400308
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 496   OA
Rabinovich A, Rubin S. Interpretations in trees with countably many branches. In: IEEE; 2012. doi:10.1109/LICS.2012.65
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2715
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:461-473. doi:10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2949
Dupret D, Csicsvari JL. The medial entorhinal cortex keeps Up. Nature Neuroscience. 2012;15(11):1471-1472. doi:10.1038/nn.3245
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2937   OA
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security. ACM; 2012:488-500. doi:10.1145/2382196.2382249
View | DOI | Download (ext.)
 
2012 | Journal Article | IST-REx-ID: 2951
Maître J-L, Berthoumieux H, Krens G, et al. Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. 2012;338(6104):253-256. doi:10.1126/science.1225399
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2968   OA
Lohse K, Barton NH, Melika G, Stone G. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 2012;21(18):4605-4617. doi:10.1111/j.1365-294X.2012.05700.x
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2970
Kicheva A, Bollenbach MT, Wartlick O, Julicher F, Gonzalez Gaitan M. Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. 2012;22(6):527-532. doi:10.1016/j.gde.2012.08.004
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2963
Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 2012;91(3):262-266. doi:10.1016/j.beproc.2012.09.006
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3156
Ugelvig LV, Andersen A, Boomsma J, Nash D. Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion. Molecular Ecology. 2012;21(13):3224-3236. doi:10.1111/j.1365-294X.2012.05592.x
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3118   OA
Bojsen-Hansen M, Li H, Wojtan CJ. Tracking surfaces with evolving topology. ACM Transactions on Graphics. 2012;31(4). doi:10.1145/2185520.2185549
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3120   OA
Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226
View | DOI | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3125
Sharmanska V, Quadrianto N, Lampert C. Augmented attribute representations. In: Vol 7576. Springer; 2012:242-255. doi:10.1007/978-3-642-33715-4_18
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3132
Konrad M, Pamminger T, Foitzik S. Two pathways ensuring social harmony. Naturwissenschaften. 2012;99(8):627-636. doi:10.1007/s00114-012-0943-z
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3245
Behrndt M, Heisenberg C-PJ. Spurred by resistance mechanosensation in collective migration. Developmental Cell. 2012;22(1):3-4. doi:10.1016/j.devcel.2011.12.018
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3257   OA
Kolmogorov V. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 2012;160(4-5):416-426. doi:10.1016/j.dam.2011.10.026
View | Files available | DOI | Download (ext.) | arXiv
 
2012 | Journal Article | IST-REx-ID: 3310   OA
Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology. Pattern Recognition Letters. 2012;33(11):1436-1444. doi:10.1016/j.patrec.2011.10.007
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3168
Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule based systems. Theoretical Computer Science. 2012;431:137-164. doi:10.1016/j.tcs.2011.12.059
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed